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 australian odi batsmen who have scored over 2500 odi runs
Table Content:
| name | career | matches | innings | not out | runs scored | high score | 50s | 100s | average |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| ricky ponting | 1995 - 2012 | 374 | 364 | 39 | 13589 | 164 | 82 | 29 | 41.81 |
| adam gilchrist | 1996 - 2008 | 286 | 278 | 11 | 9595 | 172 | 55 | 16 | 35.93 |
| mark waugh | 1988 - 2002 | 244 | 236 | 20 | 8500 | 173 | 50 | 18 | 39.35 |
| steve waugh | 1986 - 2002 | 325 | 288 | 58 | 7569 | 120 | 45 | 3 | 32.9 |
| michael clarke | 2003 - | 227 | 207 | 42 | 7375 | 130 | 54 | 7 | 44.69 |
| michael bevan | 1994 - 2004 | 232 | 196 | 67 | 6912 | 108 | 46 | 6 | 53.58 |
| allan border | 1979 - 1994 | 273 | 252 | 39 | 6524 | 127 | 39 | 3 | 30.62 |
| matthew hayden | 1993 - 2008 | 160 | 154 | 15 | 6131 | 181 | 36 | 10 | 44.1 |
| dean jones | 1984 - 1994 | 164 | 161 | 25 | 6068 | 145 | 46 | 7 | 44.61 |
| david boon | 1984 - 1995 | 181 | 177 | 16 | 5964 | 122 | 37 | 5 | 37.04 |
| michael hussey | 2004 - 2012 | 185 | 157 | 44 | 5442 | 109 | 39 | 3 | 48.15 |
| damien martyn | 1992 - 2006 | 208 | 182 | 51 | 5346 | 144 | 37 | 5 | 40.8 |
| andrew symonds | 1998 - 2009 | 198 | 161 | 33 | 5088 | 156 | 30 | 6 | 39.75 |
| shane watson | 2002 - | 160 | 140 | 24 | 4796 | 185 | 29 | 7 | 41.34 |
| geoff marsh | 1986 - 1992 | 117 | 115 | 6 | 4357 | 126 | 22 | 9 | 39.97 |
| mark taylor | 1989 - 1997 | 113 | 110 | 1 | 3514 | 105 | 28 | 1 | 32.23 |
| darren lehmann | 1996 - 2005 | 117 | 101 | 22 | 3078 | 119 | 17 | 4 | 38.96 |


Statement
andrew symonds have the highest scored run total 5088 with less than 161 inning participation


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