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: shamrock rovers f.c
Table Content:
| season | competition | round | club | 1st leg |
| --- | --- | --- | --- | --- |
| 1957 - 58 | european cup | preliminary round | manchester united | 0 - 6 |
| 1959 - 60 | european cup | preliminary round | ogc nice | 2 - 3 |
| 1962 - 63 | uefa cup winners' cup | second round | pfc botev plovdiv | 0 - 4 |
| 1963 - 64 | inter - cities fairs cup | first round | valencia | 0 - 1 |
| 1964 - 65 | european cup | preliminary round | sk rapid wien | 0 - 3 |
| 1965 - 66 | inter - cities fairs cup | second round | real zaragoza | 1 - 1 |
| 1966 - 67 | uefa cup winners' cup | first round | ca spora luxembourg | 4 - 1 |
| 1966 - 67 | uefa cup winners' cup | second round | fc bayern munich | 1 - 1 |
| 1967 - 68 | uefa cup winners' cup | first round | cardiff city fc | 1 - 1 |
| 1968 - 69 | uefa cup winners' cup | first round | randers fc | 0 - 1 |
| 1969 - 70 | uefa cup winners' cup | first round | fc schalke 04 | 2 - 1 |
| 1978 - 79 | uefa cup winners' cup | first round | apoel fc | 2 - 0 |
| 1978 - 79 | uefa cup winners' cup | second round | fc baník ostrava | 1 - 3 |
| 1984 - 85 | european cup | first round | linfield fc | 0 - 0 |
| 1985 - 86 | european cup | first round | budapest honvéd fc | 0 - 2 |
| 1986 - 87 | european cup | first round | celtic | 0 - 1 |
| 1987 - 88 | european cup | first round | ac omonia | 0 - 1 |
| 1994 - 95 | uefa cup | preliminary round | górnik zabrze | 0 - 7 |
| 1998 | uefa intertoto cup | first round | altay sk | 1 - 3 |
| 2002 - 03 | uefa cup | preliminary round | djurgårdens if fotboll | 1 - 3 |
| 2003 | uefa intertoto cup | first round | odra wodzisław | 2 - 1 |
| 2003 | uefa intertoto cup | second round | fc slovan liberec | 0 - 2 |
| 2010 - 11 uefa europa league | uefa europa league | second qualifying round | bnei yehuda tel aviv fc | 1 - 1 |
| 2010 - 11 uefa europa league | uefa europa league | third qualifying round | juventus fc | 0 - 1 |
| 2011 - 12 | uefa champions league | second qualifying round | fc flora tallinn | 1 - 0 |
| 2011 - 12 | uefa champions league | third qualifying round | fc copenhagen | 0 - 1 |
| 2011 - 12 uefa europa league | uefa europa league | playoff round | fk partizan | 1 - 1 |
| 2011 - 12 uefa europa league | uefa europa league | group stages | fc rubin kazan | 0 - 3 |
| 2011 - 12 uefa europa league | uefa europa league | group stages | tottenham hotspur fc | 1 - 3 |
| 2011 - 12 uefa europa league | uefa europa league | group stages | paok fc | 1 - 2 |
| 2011 - 12 uefa europa league | uefa europa league | group stages | paok fc | 1 - 3 |
| 2011 - 12 uefa europa league | uefa europa league | group stages | fc rubin kazan | 1 - 4 |
| 2011 - 12 uefa europa league | uefa europa league | group stages | tottenham hotspur fc | 0 - 4 |
| 2011 - 12 | uefa champions league | second qualifying round | fk ekranas | 0 - 0 |


Statement
the largest first leg be 0 - 7 for team górnik zabrze in the 1994 - 95 season


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