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 french road cycling cup
Table Content:
| date | event | winner | team | series leader |
| --- | --- | --- | --- | --- |
| february 24 | tour du haut var | davide rebellin ( ita ) | gerolsteiner | rinaldo nocentini ( ita ) |
| march 23 | cholet - pays de loire | janek tombak ( est ) | mitsubishi - jartazi | rinaldo nocentini ( ita ) |
| april 6 | grand prix de rennes | mikhaylo khalilov ( ukr ) | ceramica flaminia - bossini docce | jimmy casper ( fra ) |
| april 15 | paris - camembert | alejandro valverde ( esp ) | caisse d'epargne | jérôme pineau ( fra ) |
| april 17 | grand prix de denain | edvald boasson hagen ( nor ) | team high road | jimmy casper ( fra ) |
| april 19 | tour du finistère | david lelay ( fra ) | bretagne - armor lux | jimmy casper ( fra ) |
| april 20 | tro - bro léon | frédéric guesdon ( fra ) | française des jeux | jimmy casper ( fra ) |
| may 4 | trophée des grimpeurs | david lelay ( fra ) | bretagne - armor lux | david lelay ( fra ) |
| may 31 | grand prix de plumelec - morbihan | thomas voeckler ( fra ) | bouygues télécom | david lelay ( fra ) |
| august 3 | polynormande | arnaud gérard ( fra ) | française des jeux | jérôme pineau ( fra ) |
| august 31 | chteauroux classic | anthony ravard ( fra ) | agritubel | jérôme pineau ( fra ) |
| september 21 | grand prix d'isbergues | william bonnet ( fra ) | crédit agricole | jérôme pineau ( fra ) |
| october 5 | tour de vendée | koldo fernández ( esp ) | euskaltel - euskadi | jérôme pineau ( fra ) |
| october 9 | paris - bourges | bernhard eisel ( aut ) | team columbia | jérôme pineau ( fra ) |


Statement
on may 31 david lelay (fra) be the series leader


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