Give you a statement and table with its title in Markdown format, please determine whether the statement is supported or refuted by, or is unrelated to the table. It'a binary classification problem, you should choose the answer between supported and refuted. Table cells in one row are seperated by '|', and different rows are seperated by '
'.

Table:
| driver | constructor | laps | time / retired | grid |
| michael schumacher | benetton - renault | 67 | 1:39:59.044 | 3 |
| jean alesi | ferrari | 67 | + 2.684 | 6 |
| david coulthard | williams - renault | 67 | + 35.382 | 1 |
| rubens barrichello | jordan - peugeot | 66 | + 1 lap | 11 |
| johnny herbert | benetton - renault | 66 | + 1 lap | 7 |
| eddie irvine | jordan - peugeot | 66 | + 1 lap | 5 |
| martin brundle | ligier - mugen - honda | 66 | + 1 lap | 12 |
| mika häkkinen | mclaren - mercedes | 65 | + 2 laps | 9 |
| pedro lamy | minardi - ford | 64 | + 3 laps | 16 |
| mika salo | tyrrell - yamaha | 64 | + 3 laps | 15 |
| luca badoer | minardi - ford | 64 | + 3 laps | 18 |
| massimiliano papis | footwork - hart | 64 | + 3 laps | 17 |
| pedro diniz | forti - ford | 62 | + 5 laps | 22 |
| gabriele tarquini | tyrrell - yamaha | 61 | + 6 laps | 19 |
| jean - denis délétraz | pacific - ford | 60 | + 7 laps | 24 |
| damon hill | williams - renault | 58 | spun off | 2 |
| andrea montermini | pacific - ford | 45 | out of fuel | 20 |
| jean - christophe boullion | sauber - ford | 44 | collision | 13 |
| gerhard berger | ferrari | 40 | electrical | 4 |
| roberto moreno | forti - ford | 22 | halfshaft | 23 |
| heinz - harald frentzen | sauber - ford | 17 | spun off | 8 |
| olivier panis | ligier - mugen - honda | 14 | spun off | 14 |
| mark blundell | mclaren - mercedes | 14 | accident | 10 |
| taki inoue | footwork - hart | 0 | electrical | 21 |
Title:
1995 european grand prix
Statement:
the time / retired value of driver pedro diniz is + 3 laps
Answer:
refuted