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: 1987 open championship
Table Content:
| place | player | country | score | to par |
| --- | --- | --- | --- | --- |
| 1 | paul azinger | united states | 68 + 68 + 71 = 207 | - 6 |
| t2 | nick faldo | england | 68 + 69 + 71 = 208 | - 5 |
| t2 | david frost | south africa | 70 + 68 + 70 = 208 | - 5 |
| t4 | craig stadler | united states | 69 + 69 + 71 = 209 | - 4 |
| t4 | payne stewart | united states | 71 + 66 + 72 = 209 | - 4 |
| t4 | tom watson | united states | 69 + 69 + 71 = 209 | - 4 |
| 7 | raymond floyd | united states | 72 + 68 + 70 = 210 | - 3 |
| t8 | mark calcavecchia | united states | 69 + 70 + 72 = 211 | - 2 |
| t8 | rodger davis | australia | 64 + 73 + 74 = 211 | - 2 |
| t8 | graham marsh | australia | 69 + 70 + 72 = 211 | - 2 |
| t8 | nick price | zimbabwe | 68 + 71 + 72 = 211 | - 2 |


Statement
david frost be from united state


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