the harvestfish is a fast.
sent1: the chancellor is epidemiologic if the harvestfish does stagnate. sent2: if something does correspond and is not a sternwheeler then it does not stagnate. sent3: if the fact that something does not diffract but it is epidemiologic is not right then it is fast. sent4: if the chancellor is not epidemiologic the harvestfish is not a fast but bismuthal. sent5: the chancellor does diffract if that the defoliator does not whisk but it does twill Chrysothamnus does not hold. sent6: if the chancellor is epidemiologic but it does not whisk then the mycologist is not epidemiologic. sent7: if something does not stagnate that it is not a whisk and does twill Chrysothamnus is not true. sent8: there exists something such that it is not a vaccinee and does correspond. sent9: the chancellor is not epidemiologic.
sent4 & sent9 -> int1: the harvestfish is not fast but it is bismuthal.; int1 -> hypothesis;
the harvestfish is a fast.
sent3 -> int2: if that the harvestfish does not diffract and is epidemiologic is not correct then the fact that it is fast is not false.; sent7 -> int3: if the defoliator does not stagnate then that it does not whisk and twills Chrysothamnus is wrong.; sent2 -> int4: the defoliator does not stagnate if it does correspond and is not a kind of a sternwheeler.;
$hypothesis$ = the harvestfish is a fast. ; $context$ = sent1: the chancellor is epidemiologic if the harvestfish does stagnate. sent2: if something does correspond and is not a sternwheeler then it does not stagnate. sent3: if the fact that something does not diffract but it is epidemiologic is not right then it is fast. sent4: if the chancellor is not epidemiologic the harvestfish is not a fast but bismuthal. sent5: the chancellor does diffract if that the defoliator does not whisk but it does twill Chrysothamnus does not hold. sent6: if the chancellor is epidemiologic but it does not whisk then the mycologist is not epidemiologic. sent7: if something does not stagnate that it is not a whisk and does twill Chrysothamnus is not true. sent8: there exists something such that it is not a vaccinee and does correspond. sent9: the chancellor is not epidemiologic. ; $proof$ = 
sent4 & sent9 -> int1: the harvestfish is not fast but it is bismuthal.; int1 -> hypothesis; __DISPROVED__