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: 2007 - 08 belgian first division
Table Content:
| team | outgoing manager | manner of departure | date of vacancy | replaced by | date of appointment |
| --- | --- | --- | --- | --- | --- |
| sint - truiden | valère billen | quit | 18 september 2007 | peter voets (caretaker) | 18 september 2007 |
| anderlecht | franky vercauteren | mutual consent | 12 november 2007 | ariel jacobs | 12 november 2007 |
| dender eh | jean - pierre van de velde | mutual consent | 19 november 2007 | johan boskamp | 27 november 2007 |
| charleroi | philippe van de walle | quit | 10 december 2007 | thierry siquet | 10 december 2007 |
| sint - truiden | peter voets | caretaker replaced | 10 december 2007 | dennis van wijk | 10 december 2007 |
| mouscron | marc brys | fired | 17 december 2007 | geert broeckaert (caretaker) | 17 december 2007 |
| brussels | albert cartier | fired | 22 december 2007 | edy de bolle (caretaker) | 22 december 2007 |
| mouscron | geert broeckaert | caretaker replaced | 27 december 2007 | enzo scifo | 27 december 2007 |
| brussels | edy de bolle | caretaker replaced | 24 january 2008 | franky van der elst | 24 january 2008 |
| mons | josé riga | fired | 27 january 2008 | albert cartier | 28 january 2008 |
| genk | hugo broos | fired | 23 february 2008 | ronny van geneugden (caretaker) | 23 february 2008 |


Statement
outgo manager valère billen and philippe van de walle be fire , but josé riga quit the team


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