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: philip jensen
Table Content:
| year | place | event | performance | age (years) |
| --- | --- | --- | --- | --- |
| 2013 | 1st | hammer throw | 60.73 m | 45 |
| 2012 | 1st | hammer throw | 60.65 m | 44 |
| 2011 | 1st | hammer throw | 59.04 m | 43 |
| 2010 | 1st | hammer throw | 62.53 m | 42 |
| 2009 | 1st | hammer throw | 58.90 m | 41 |
| 2008 | 1st | hammer throw | 60.37 m | 40 |
| 2007 | 1st | hammer throw | 62.20 m | 39 |
| 2006 | 1st | hammer throw | 65.85 m | 38 |
| 2005 | 1st | hammer throw | 65.72 m | 37 |
| 2004 | 1st | hammer throw | 68.14 m | 36 |
| 2003 | 1st | hammer throw | 69.52 m | 35 |
| 2002 | 1st | hammer throw | 65.65 m | 34 |
| 2001 | 1st | hammer throw | 62.80 m | 33 |
| 2000 | 1st | hammer throw | 69.19 m | 32 |
| 1999 | 1st | hammer throw | 69.16 m | 31 |
| 1998 | 1st | hammer throw | 70.88 m | 30 |
| 1997 | 3rd | hammer throw | 65.22 m | 29 |
| 1996 | 1st | hammer throw | 64.68 m | 28 |
| 1995 | 1st | hammer throw | 62.08 m | 27 |
| 1990 | 2nd | hammer throw | 66.12 m | 22 |
| 1989 | 2nd | hammer throw | 63.80 m | 21 |
| 1988 | 1st | hammer throw | 64.02 m | 20 |


Statement
there be no year where performance be 60.73 and age be more than 45


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