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: 1985 formula one season
Table Content:
| race | date | location | pole position | fastest lap | race winner | constructor | report |
| --- | --- | --- | --- | --- | --- | --- | --- |
| brazilian grand prix | 7 april | jacarepaguá | michele alboreto | alain prost | alain prost | mclaren - tag | report |
| portuguese grand prix | 21 april | estoril | ayrton senna | ayrton senna | ayrton senna | lotus - renault | report |
| san marino grand prix | 5 may | imola | ayrton senna | michele alboreto | elio de angelis | lotus - renault | report |
| monaco grand prix | 19 may | monaco | ayrton senna | michele alboreto | alain prost | mclaren - tag | report |
| canadian grand prix | 16 june | circuit gilles villeneuve | elio de angelis | ayrton senna | michele alboreto | ferrari | report |
| detroit grand prix | 23 june | detroit | ayrton senna | ayrton senna | keke rosberg | williams - honda | report |
| french grand prix | 7 july | paul ricard | keke rosberg | keke rosberg | nelson piquet | brabham - bmw | report |
| british grand prix | 21 july | silverstone | keke rosberg | alain prost | alain prost | mclaren - tag | report |
| german grand prix | 4 august | nürburgring | teo fabi | niki lauda | michele alboreto | ferrari | report |
| austrian grand prix | 18 august | österreichring | alain prost | alain prost | alain prost | mclaren - tag | report |
| dutch grand prix | 25 august | zandvoort | nelson piquet | alain prost | niki lauda | mclaren - tag | report |
| italian grand prix | 8 september | monza | ayrton senna | nigel mansell | alain prost | mclaren - tag | report |
| belgian grand prix | 15 september | spa - francorchamps | alain prost | alain prost | ayrton senna | lotus - renault | report |
| european grand prix | 6 october | brands hatch | ayrton senna | jacques laffite | nigel mansell | williams - honda | report |
| south african grand prix | 19 october | kyalami | nigel mansell | keke rosberg | nigel mansell | williams - honda | report |
| australian grand prix | 3 november | adelaide | ayrton senna | keke rosberg | keke rosberg | williams - honda | report |


Statement
nigel mansell a be the winner at spa - francorchamps


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