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: 1986 masters tournament
Table Content:
| place | player | country | score | to par |
| --- | --- | --- | --- | --- |
| 1 | seve ballesteros | spain | 71 + 68 = 139 | - 5 |
| 2 | billy kratzert | united states | 68 + 72 = 140 | - 4 |
| 3 | tsuneyuki nakajima | japan | 70 + 71 = 139 | - 3 |
| t4 | ben crenshaw | united states | 71 + 71 = 142 | - 2 |
| t4 | david edwards | united states | 71 + 71 = 142 | - 2 |
| t4 | greg norman | australia | 70 + 72 = 142 | - 2 |
| t4 | bernhard langer | west germany | 74 + 68 = 142 | - 2 |
| t8 | gary koch | united states | 69 + 74 = 143 | - 1 |
| t8 | mark mccumber | united states | 76 + 67 = 143 | - 1 |
| t8 | corey pavin | united states | 71 + 72 = 143 | - 1 |
| t8 | bob tway | united states | 70 + 73 = 143 | - 1 |


Statement
both david edward and corey pavin be - 2 to par


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