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: fis nordic world ski championships 2013
Table Content:
| rank | nation | gold | silver | bronze | total |
| --- | --- | --- | --- | --- | --- |
| 1 | marit bjørgen ( nor ) | 4 | 1 | 0 | 5 |
| 2 | jason lamy - chappuis ( fra ) | 3 | 0 | 1 | 4 |
| 3 | therese johaug ( nor ) | 2 | 1 | 1 | 4 |
| 4 | petter northug ( nor ) | 2 | 1 | 0 | 3 |
| 5 | nikita kriukov ( rus ) | 2 | 0 | 0 | 2 |
| 5 | sébastien lacroix ( fra ) | 2 | 0 | 0 | 2 |
| 7 | johan olsson ( swe ) | 1 | 2 | 0 | 3 |
| 7 | gregor schlierenzauer ( aut ) | 1 | 2 | 0 | 3 |
| 9 | dario cologna ( sui ) | 1 | 1 | 0 | 2 |
| 9 | thomas morgenstern ( aut ) | 1 | 1 | 0 | 2 |
| 9 | sara takanashi ( jpn ) | 1 | 1 | 0 | 2 |
| 12 | eric frenzel ( ger ) | 1 | 0 | 1 | 2 |
| 12 | tord asle gjerdalen ( nor ) | 1 | 0 | 1 | 2 |
| 12 | sjur røthe ( nor ) | 1 | 0 | 1 | 2 |
| 12 | kamil stoch ( pol ) | 1 | 0 | 1 | 2 |
| 12 | heidi weng ( nor ) | 1 | 0 | 1 | 2 |
| 17 | ida ingemarsdotter ( swe ) | 0 | 3 | 0 | 3 |
| 18 | bernhard gruber ( aut ) | 0 | 2 | 0 | 2 |
| 18 | marcus hellner ( swe ) | 0 | 2 | 0 | 2 |
| 18 | charlotte kalla ( swe ) | 0 | 2 | 0 | 2 |
| 21 | richard freitag ( ger ) | 0 | 1 | 1 | 2 |
| 21 | severin freund ( ger ) | 0 | 1 | 1 | 2 |
| 21 | peter prevc ( svn ) | 0 | 1 | 1 | 2 |
| 21 | jacqueline seifriedsberger ( aut ) | 0 | 1 | 1 | 2 |
| 25 | yuliya chekaleva ( rus ) | 0 | 0 | 2 | 2 |
| 25 | alexey poltoranin ( kaz ) | 0 | 0 | 2 | 2 |


Statement
dario cologna ( sui ) be 1 of the player tie at rank 9


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