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: 2008 masters tournament
Table Content:
| player | country | year (s) won | total | to par | finish |
| --- | --- | --- | --- | --- | --- |
| tiger woods | united states | 1997 , 2001 , 2002 , 2005 | 283 | - 5 | 2 |
| phil mickelson | united states | 2004 , 2006 | 286 | - 2 | t5 |
| vijay singh | fiji | 2000 | 289 | + 1 | t14 |
| mike weir | canada | 2003 | 290 | + 2 | t17 |
| zach johnson | united states | 2007 | 291 | + 3 | t20 |
| ian woosnam | wales | 1991 | 300 | + 12 | 44 |
| sandy lyle | scotland | 1988 | 302 | + 14 | 45 |


Statement
vijay singh have a final total win that be 13 under the score sandy lyle have when she win


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