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: 2007 donington park superbike world championship round
Table Content:
| rider | bike | laps | time | grid |
| --- | --- | --- | --- | --- |
| noriyuki haga | yamaha yzf - r1 | 23 | 35:26.734 | 2 |
| max biaggi | suzuki gsx - r1000 k7 | 23 | + 0.111 | 7 |
| troy corser | yamaha yzf - r1 | 23 | + 1.100 | 8 |
| ruben xaus | ducati 999 f06 | 23 | + 5.927 | 6 |
| lorenzo lanzi | ducati 999 f07 | 23 | + 9.834 | 5 |
| régis laconi | kawasaki zx - 10r | 23 | + 12.203 | 3 |
| roberto rolfo | honda cbr1000rr | 23 | + 22.287 | 16 |
| jakub smrž | ducati 999 f05 | 23 | + 30.060 | 17 |
| karl muggeridge | honda cbr1000rr | 23 | + 37.734 | 9 |
| max neukirchner | suzuki gsx - r1000 k6 | 23 | + 39.893 | 11 |
| giovanni bussei | ducati 999 f06 | 23 | + 41.524 | 12 |
| michel fabrizio | honda cbr1000rr | 23 | + 45.617 | 13 |
| steve martin | honda cbr1000rr | 23 | + 52.547 | 14 |
| shinichi nakatomi | yamaha yzf - r1 | 23 | + 1:01.669 | 21 |
| josh brookes | honda cbr1000rr | 23 | + 1:20.586 | 15 |
| aaron zanotti | yamaha yzf - r1 | 23 | + 1:26.912 | 19 |
| luca morelli | ducati 999rs | 23 | + 1:27.181 | 22 |
| fonsi nieto | kawasaki zx - 10r | 11 | retirement | 10 |
| dean ellison | ducati 999rs | 7 | retirement | 20 |
| james toseland | honda cbr1000rr | 3 | retirement | 4 |
| christian zaiser | mv agusta f4 312 r | 0 | retirement | 23 |


Statement
josh brooke be not 1 of the player that ride on a yamaha yzf - r1


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