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: daegu fc
Table Content:
| season | division | tms | pos | fa cup |
| --- | --- | --- | --- | --- |
| 2003 | 1 | 12 | 11 | quarter final |
| 2004 | 1 | 13 | 10 | round of 32 |
| 2005 | 1 | 13 | 8 | quarter final |
| 2006 | 1 | 14 | 7 | quarter final |
| 2007 | 1 | 14 | 12 | round of 16 |
| 2008 | 1 | 14 | 11 | semi final |
| 2009 | 1 | 15 | 15 | quarter - final |
| 2010 | 1 | 15 | 15 | round of 32 |
| 2011 | 1 | 16 | 12 | round of 32 |
| 2012 | 1 | 16 | 10 | round of 16 |


Statement
there be no division present in the table with a season after 2012 that reach the round of 16 in the fa cup


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