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: 2003 pga championship
Table Content:
| player | country | year won | total | to par |
| --- | --- | --- | --- | --- |
| paul azinger | united states | 1993 | 149 | + 9 |
| davis love iii | united states | 1997 | 149 | + 9 |
| mark brooks | united states | 1996 | 181 | + 11 |
| john daly | united states | 1991 | 151 | + 11 |
| bob tway | united states | 1986 | 151 | + 11 |
| jeff sluman | united states | 1988 | 154 | + 14 |
| rich beem | united states | 2002 | 157 | + 17 |


Statement
paul azinger and davis love iii both have different number in total


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