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: north american catamaran racing association
Table Content:
| model | length over all | beam | sail area | crew | comments |
| --- | --- | --- | --- | --- | --- |
| 14sq | 4.5 m | 2.44 | 14 m square | 1 | daggerboards |
| 4.5 | 4.50 m | 2.44 m | 17.5 m square | 1 - 2 | skegs |
| 460 | 4.50 m | 2.35 m | 15.2 m square | 1 - 2 | skegs |
| blast | 4.80 m | 2.45 m | 15.6 m square | 1 - 2 | skegs design : alain comyn |
| 16sq | 5.0 m | 2.5 m | 16 m square | 1 | daggerboards |
| 5.0 | 5.0 m | 2.44 m | 19 m square | 2 | skegs design : roy seaman |
| 500 | 5.0 m | 2.44 m | 17.6 m square | 1 - 2 | skegs |
| 5.2 | 5.2 m | 2.44 m | 20.43 m square | 2 | daggerboards |
| f17 | 5.20 m | 2.44 m | 15.25 m square | 1 | daggerboards |
| nacra 17 | 5.25 m | 2.59 m | 18.25 m square | 2 | curved daggerboards design : morelli und melvin |
| 18sq | 5.48 m | 3.35 m | 18 m square | 1 | daggerboards |
| f18 inter 18 | 5.52 m | 2.6 m | 20.45 / 21.15 m square | 2 | f18 class boat design : morelli und melvin |
| f18 inter 2 | 5.52 m | 2.6 m | 20.45 / 21.15 m square | 2 | f18 class boat design : alain comyn |
| f18 infusion | 5.52 m | 2.6 m | 20.45 / 21.15 m square | 2 | f18 class boat design : morelli und melvin |
| 5.7 | 5.67 m | 2.44 m | 21.3 m square | 2 | skegs |
| 570 | 5.65 m | 2.44 m | 21.1 m square | 2 | skegs |
| 5.8 | 5.8 m | 2.5 m | 22.8 m square | 2 | daggerboards design : roy seaman |
| 580 | 5.8 m | 2.44 m | 22.1 m square | 2 | daggerboards |
| 6.0 | 6.10 m | 2.59 m | 24.5 m square | 2 | daggerboards |
| n20 | 6.12 m | 2.6 m | 20.45 / 24.9 m square | 2 | formula 20 class boat |


Statement
n20 model have a sail area of 15.25 m square


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