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: miloslav mečíř
Table Content:
| date | tournament | surface | opponent in final | score in final |
| --- | --- | --- | --- | --- |
| 18 march 1985 | rotterdam | carpet | jakob hlasek | 6 - 1 , 6 - 2 |
| 29 april 1985 | hamburg | clay | henrik sundström | 6 - 4 , 6 - 1 , 6 - 4 |
| 4 april 1986 | kitzbühel | clay | andrés gómez | 6 - 4 , 4 - 6 , 6 - 1 , 2 - 6 , 6 - 3 |
| 5 january 1987 | auckland | hard | michiel schapers | 6 - 2 , 6 - 3 , 6 - 4 |
| 26 january 1987 | sydney | hard | peter doohan | 6 - 2 , 6 - 4 |
| 23 february 1987 | miami | hard | ivan lendl | 7 - 5 , 6 - 2 , 7 - 5 |
| 7 april 1987 | dallas , - wct finals | carpet | john mcenroe | 6 - 0 , 3 - 6 , 6 - 2 , 6 - 2 |
| 13 july 1987 | stuttgart | clay | jan gunnarsson | 6 - 0 , 6 - 2 |
| 27 july 1987 | hilversum | clay | guillermo pérez roldán | 6 - 4 , 1 - 6 , 6 - 3 , 6 - 2 |
| 20 september 1988 | seoul olympics | hard | tim mayotte | 3 - 6 , 6 - 2 , 6 - 4 , 6 - 2 |
| 13 march 1989 | indian wells | hard | yannick noah | 3 - 6 , 2 - 6 , 6 - 1 , 6 - 2 , 6 - 3 |


Statement
john mcenroe be the opponent in the final on 7 april 1987


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