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: 2008 - 09 real madrid c.f. season
Table Content:
| nat | name | moving from | type | transfer window | ends |
| --- | --- | --- | --- | --- | --- |
| ned | van der vaart | hamburger sv | transfer | summer | 2013 |
| esp | javi garcía | osasuna | transfer | summer | 2012 |
| esp | de la red | getafe | transfer | summer | 2011 |
| arg | garay | racingsantander | transfer | summer | 2014 |
| esp | gonzález | gimnàstic | loan return | summer | undisclosed |
| ury | garcía | murcia | loan return | summer | undisclosed |
| esp | agus | celta de vigo | loan return | summer | undisclosed |
| esp | granero | getafe | loan return | summer | undisclosed |
| ned | huntelaar | ajax | transfer | winter | 2013 |
| fra | lass | portsmouth | transfer | winter | 2013 |
| esp | parejo | queens park rangers | loan return | winter | 2017 |
| fra | faubert | west ham united | loan | winter | 2009 |


Statement
during the 2008 - 09 real madrid cf season , there be 2 more player that end in 2013 than 2012


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