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 open championship
Table Content:
| place | player | country | score | to par |
| --- | --- | --- | --- | --- |
| t1 | david graham | australia | 68 + 71 = 139 | - 1 |
| t1 | sandy lyle | scotland | 68 + 71 = 139 | - 1 |
| t3 | tony johnstone | zimbabwe | 68 + 72 = 140 | e |
| t3 | christy o'connor jnr | ireland | 64 + 76 = 140 | e |
| t3 | d a weibring | united states | 69 + 71 = 140 | e |
| t6 | howard clark | england | 70 + 71 = 141 | + 1 |
| t6 | bernhard langer | west germany | 72 + 69 = 141 | + 1 |
| t6 | robert lee | england | 68 + 73 = 141 | + 1 |
| t6 | wayne riley | australia | 71 + 70 = 141 | + 1 |
| t6 | emilio rodríguez | spain | 71 + 70 = 141 | + 1 |
| t6 | peter senior | australia | 70 + 71 = 141 | + 1 |
| t6 | ian woosnam | wales | 70 + 71 = 141 | + 1 |


Statement
there be total of 3 player from australia on the leaderboard


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