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: thierry boutsen
Table Content:
| year | team | chassis | engine | points |
| --- | --- | --- | --- | --- |
| 1983 | arrows racing team | arrows a6 | cosworth v8 | 0 |
| 1984 | barclay nordica arrows bmw | arrows a6 | cosworth v8 | 5 |
| 1984 | barclay nordica arrows bmw | arrows a7 | bmw str - 4 ( t / c ) | 5 |
| 1985 | barclay arrows bmw | arrows a8 | bmw straight - 4 ( t / c ) | 11 |
| 1986 | barclay arrows bmw | arrows a8 | bmw straight - 4 ( t / c ) | 0 |
| 1986 | barclay arrows bmw | arrows a9 | bmw straight - 4 ( t / c ) | 0 |
| 1987 | benetton formula ltd | benetton b187 | cosworth v6 ( t / c ) | 16 |
| 1988 | benetton formula ltd | benetton b188 | cosworth v8 | 27 |
| 1989 | canon williams team | williams fw12c | renault v10 | 37 |
| 1989 | canon williams team | williams fw13 | renault v10 | 37 |
| 1990 | canon williams renault | williams fw13b | renault v10 | 34 |
| 1991 | ligier gitanes | ligier js35 | lamborghini v12 | 0 |
| 1991 | ligier gitanes | ligier js35b | lamborghini v12 | 0 |
| 1992 | ligier gitanes blondes | ligier js37 | renault v10 | 2 |
| 1993 | sasol jordan | jordan 193 | hart v10 | 0 |


Statement
the most race that happen in any year be 4 , which happen on 3 soccasions


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