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: 1988 u.s. open (golf)
Table Content:
| place | player | country | score | to par |
| --- | --- | --- | --- | --- |
| 1 | curtis strange | united states | 70 + 67 + 69 = 206 | - 7 |
| t2 | nick faldo | england | 72 + 67 + 68 = 207 | - 6 |
| t2 | bob gilder | united states | 68 + 69 + 70 = 207 | - 6 |
| t2 | scott simpson | united states | 69 + 66 + 72 = 207 | - 6 |
| t5 | larry mize | united states | 69 + 67 + 72 = 208 | - 5 |
| t5 | d a weibring | united states | 71 + 69 + 68 = 208 | - 5 |
| 7 | mark o'meara | united states | 71 + 72 + 66 = 209 | - 4 |
| 8 | fred couples | united states | 72 + 67 + 71 = 210 | - 3 |
| 9 | lanny wadkins | united states | 70 + 71 + 70 = 211 | - 2 |
| 10 | ken green | united states | 72 + 70 + 70 = 212 | - 1 |


Statement
player larry mize and d a be tie for 5th place


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