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: maritime company of lesvos
Table Content:
| ship name | year | length | width | passengers | vessels | speed |
| --- | --- | --- | --- | --- | --- | --- |
| mytilene | 1973 | 138 , 3 m | 22 , 4 m | 1.73 | 225 | 20 |
| european express | 1974 | 159 , 5 m | 21 , 5 m | 1.0 | 350 | 23 |
| ionian sky | 1974 | 164 m | 24 m | 1.09 | 600 | 22 |
| theofilos | 1975 | 149 , 4 m | 23 , 5 m | 1.66 | 433 | 18 |
| taxiarchis | 1976 | 135 , 8 m | 20 , 6 m | 591.0 | 392 | 18 |
| aqua jewel | 2002 | 108 m | 16 , 6 m | 1.675 | 175 | 18 , 5 |
| aqua maria | 1975 | 101 , 3 m | 18 m | 592.0 | 230 | 17 |
| aqua spirit | 2000 | 75 m | 15 m | 400.0 | 60 | 17 |


Statement
the european express and the ionian sky be both create in 2000


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