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 united states rapid transit systems by ridership
Table Content:
| annual ridership (2012) | rider per mile | opened | stations | lines |
| --- | --- | --- | --- | --- |
| 2544892400 | 37613 | 1904 | 468 | 24 |
| 280904200 | 9227 | 1976 | 86 | 5 |
| 231154300 | 7095 | 1892 | 145 | 8 |
| 165028800 | 13982 | 1897 | 53 | 3 |
| 123219300 | 4056 | 1972 | 44 | 5 |
| 98171300 | 9172 | 1907 | 74 | 3 |
| 70548400 | 18123 | 1908 | 13 | 4 |
| 70506800 | 4594 | 1979 | 38 | 4 |
| 48703700 | 9115 | 1993 | 16 | 2 |
| 19242800 | 2904 | 1984 | 23 | 2 |
| 15399400 | 3871 | 1983 | 14 | 1 |
| 11023500 | 3794 | 2004 | 16 | 1 |
| 10619900 | 2606 | 1936 | 13 | 1 |
| 6239900 | 881 | 1955 | 18 | 1 |
| 4445100 | 1071 | 1860 | 22 | 1 |


Statement
5 line have more than 10000 rider per mile


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