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: 2008 tim hortons brier
Table Content:
| locale | skip | w | l | pf | pa | ends won | ends lost | blank ends | stolen ends | shot pct |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| alberta | kevin martin | 11 | 0 | 86 | 52 | 50 | 40 | 11 | 11 | 89 |
| saskatchewan | pat simmons | 9 | 2 | 80 | 58 | 50 | 45 | 9 | 12 | 84 |
| ontario | glenn howard | 9 | 2 | 85 | 50 | 54 | 33 | 11 | 22 | 88 |
| british columbia | bob ursel | 7 | 4 | 72 | 66 | 45 | 47 | 15 | 11 | 84 |
| newfoundland and labrador | brad gushue | 7 | 4 | 77 | 69 | 51 | 44 | 13 | 14 | 82 |
| manitoba | kerry burtnyk | 6 | 5 | 59 | 66 | 47 | 40 | 2 | 19 | 79 |
| quebec | jean - michel mãnard | 4 | 7 | 76 | 69 | 48 | 48 | 11 | 15 | 80 |
| northern ontario | eric harnden | 3 | 8 | 65 | 80 | 43 | 53 | 6 | 6 | 79 |
| prince edward island | peter gallant | 3 | 8 | 61 | 78 | 40 | 50 | 6 | 7 | 77 |
| nova scotia | brian rafuse | 3 | 8 | 60 | 92 | 42 | 56 | 8 | 3 | 77 |
| new brunswick | james grattan | 2 | 9 | 71 | 86 | 46 | 54 | 7 | 5 | 79 |


Statement
when the stolen end equal 5 , the amount of pa be 86


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