the grizzle does tolerate.
sent1: there exists something such that that it is anicteric is not false. sent2: the abrasion is not non-fitter if there are anicteric things. sent3: the abrasion is a kind of a fitter but it does not exhilarate milline if there is something such that it is anicteric.
sent1 & sent3 -> int1: the abrasion is a kind of a fitter that does not exhilarate milline.; int1 -> int2: that the abrasion does not exhilarate milline is right.;
$hypothesis$ = the grizzle does tolerate. ; $context$ = sent1: there exists something such that that it is anicteric is not false. sent2: the abrasion is not non-fitter if there are anicteric things. sent3: the abrasion is a kind of a fitter but it does not exhilarate milline if there is something such that it is anicteric. ; $proof$ = 
sent1 & sent3 -> int1: the abrasion is a kind of a fitter that does not exhilarate milline.; int1 -> int2: that the abrasion does not exhilarate milline is right.; __UNKNOWN__