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 state leaders in 840s bc
Table Content:
| state | type | name | title | royal house |
| --- | --- | --- | --- | --- |
| cai | sovereign | wu | marquis | ji |
| cao | sovereign | yi | count | - |
| chen | sovereign | you | duke | - |
| chu | sovereign | xiong yan the elder | viscount | mi |
| chu | sovereign | xiong yong | viscount | mi |
| jin | sovereign | jing | marquis | ji |
| jin | sovereign | xi | marquis | ji |
| lu | sovereign | shen | duke | ji |
| qi | sovereign | wu | duke | jiang |
| qin | sovereign | marquis | marquis | ying |
| qin | sovereign | gongbo | ruler | ying |
| qin | sovereign | qin zhong | ruler | ying |
| song | sovereign | li | duke | - |
| wey | sovereign | li | marquis | - |
| yan | sovereign | hui | marquis | - |


Statement
li be the name for both the duke of song and the marquis of wey


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