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: list of world number one male golfers
Table Content:
| rank | player | country | weeks | order | majors |
| --- | --- | --- | --- | --- | --- |
| 1 | tiger woods | united states | 656 | 9 | 14 |
| 2 | greg norman | australia | 331 | 3 | 2 |
| 3 | nick faldo | england | 97 | 4 | 6 |
| 4 | seve ballesteros | spain | 61 | 2 | 5 |
| 5 | luke donald | england | 56 | 15 | 0 |
| 6 | ian woosnam | wales | 50 | 5 | 1 |
| 7 | nick price | zimbabwe | 44 | 7 | 3 |
| 8 | rory mcilroy | northern ireland | 39 | 16 | 2 |
| 9 | vijay singh | fiji | 32 | 12 | 3 |
| 10 | lee westwood | england | 22 | 13 | 0 |
| 11 | fred couples | united states | 16 | 6 | 1 |
| 12 | david duval | united states | 15 | 11 | 1 |
| 13 | ernie els | south africa | 9 | 10 | 4 |
| 14 | martin kaymer | germany | 8 | 14 | 1 |
| 15 | bernhard langer | west germany | 3 | 1 | 2 |
| 16 | tom lehman | united states | 1 | 8 | 1 |


Statement
tom lehman spent fewer week at number 1 than any other us player


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