user
Instruction
This is a table fact verification task. The goal of this task is to distinguish whether the given statement is entailed or refuted by the given table.


Table
Table Title: 1956 formula one season
Table Content:
| race name | circuit | date | winning driver | constructor | report |
| --- | --- | --- | --- | --- | --- |
| x gran premio ciudad de buenos aires | mendoza | 5 february | juan manuel fangio | lancia - ferrari | report |
| iv glover trophy | goodwood | 2 april | stirling moss | maserati | report |
| vi gran premio di siracusa | syracuse | 15 april | juan manuel fangio | lancia - ferrari | report |
| xi barc aintree 200 | aintree | 21 april | stirling moss | maserati | report |
| vii brdc international trophy | silverstone | 5 may | stirling moss | vanwall | report |
| ix gran premio di napoli | posillipo | 6 may | robert manzon | gordini | report |
| i aintree 100 | aintree | 24 june | horace gould | maserati | report |
| i vanwall trophy | snetterton | 22 july | roy salvadori | maserati | report |
| iv grand prix de caen | caen | 26 august | harry schell | maserati | report |
| ii sussex trophy | goodwood | 8 september | roy salvadori | cooper - climax | report |
| i brscc formula 1 race | brands hatch | 14 october | archie scott brown | connaught - alta | report |


Statement
the lancia - ferrari constructor occur less often than the gordini constructor


Answer Format
The final answer should be either "entailed" or "refuted" and use the following format:
```json
{
    "answer": "entailed" or "refuted"
}
```
rule
["refuted"]