the fact that there exists something such that if it is not a kind of a Marathon then it is zoic and it is provident does not hold.
sent1: something that is not a Marathon is zoic and provident. sent2: the fact that the lentil is zoic and it is provident is not false if it is a Marathon. sent3: the lentil does salt Nicholas and is a paroxytone if it is not a greenness. sent4: there exists something such that if it is not a Marathon it is provident. sent5: there exists something such that if it is a kind of a Marathon then it is zoic and it is provident.
sent1 -> int1: the lentil is zoic and it is provident if it is not a Marathon.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a kind of a Marathon then it is zoic and it is provident does not hold. ; $context$ = sent1: something that is not a Marathon is zoic and provident. sent2: the fact that the lentil is zoic and it is provident is not false if it is a Marathon. sent3: the lentil does salt Nicholas and is a paroxytone if it is not a greenness. sent4: there exists something such that if it is not a Marathon it is provident. sent5: there exists something such that if it is a kind of a Marathon then it is zoic and it is provident. ; $proof$ = 
sent1 -> int1: the lentil is zoic and it is provident if it is not a Marathon.; int1 -> hypothesis; __DISPROVED__