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: weightlifting at the 2007 pan american games
Table Content:
| name | bodyweight | snatch | clean & jerk | total (kg) |
| --- | --- | --- | --- | --- |
| joël mackenzie ( cub ) | 101.4 | 175.0 | 205.0 | 380.0 |
| pedro stetsiuk ( arg ) | 102.45 | 160.0 | 180.0 | 340.0 |
| damian abbiate ( arg ) | 104.45 | 150.0 | 188.0 | 338.0 |
| bruno brandão ( bra ) | 99.1 | 157.0 | 180.0 | 337.0 |
| christian lópez ( gua ) | 104.7 | 153.0 | 182.0 | 335.0 |
| víctor osorio ( chi ) | 103.05 | 140.0 | 176.0 | 316.0 |
| ivorn mcknee ( bar ) | 103.25 | 140.0 | - | dnf |
| josé espinoza ( nca ) | 99.4 | - | - | dnf |
| boris burov ( ecu ) | 100.4 | - | - | dnf |
| akos sandor ( can ) | 104.95 | - | - | dnf |
| fabrício mafra ( bra ) | 100.75 | 151.0 | 187.0 | dsq |


Statement
the person with the snatch 153.0 and clean & jerk of 180.0 be ijose espinoza ( nca ) with total bodyweight greater than 100 kg


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