there exists something such that if that it is not dental and it is not a Mantidae does not hold then the fact that it is not a dispatch is true.
sent1: there is something such that if the fact that it is a kind of a Heterocephalus and it is not Bismarckian does not hold the fact that it does not wow polytechnic is not false. sent2: if that the fluorouracil is not dental and it is not a Mantidae is not right then it does dispatch. sent3: if the fluorouracil does not skittle and it does not wow oarswoman then that it is not a Mantidae is correct. sent4: if the fluorouracil is a Mantidae then the fact that it is a kind of a dispatch does not hold. sent5: there is something such that if the fact that it is a kind of non-dental a Mantidae is incorrect then it is not a dispatch. sent6: there exists something such that if it is not an unconcerned and not past then it is not back-channel. sent7: if that something is both not dental and not a Mantidae is not wrong it is not a kind of a dispatch. sent8: if that the dairymaid does photostat feminine and is not Gregorian is false it is not thermodynamics. sent9: there is something such that if it is basinal then it does not prepose Benzedrine. sent10: there exists something such that if it is a cocklebur then it is not phylogenetic. sent11: if the fact that something is not hair-shirt and is not a throw is not correct it does not wow trainbandsman. sent12: something is myopathic if that it does not peep cracking and is not a ripeness is incorrect. sent13: there is something such that if it is a Mantidae then it is not a dispatch. sent14: if that something is not maximal and not basinal is not true then it is not thermodynamics. sent15: there is something such that if that it preposes Vietnam and is not a ballet is not right then it is not a Levite. sent16: something is not pleasant if that it does not skittle and is not vibrational is wrong. sent17: if the volcanism is not hydrodynamic and not a dispatch then it is not a slops.
there exists something such that if the fact that it is not hair-shirt and is not a kind of a throw is wrong it does not wow trainbandsman.
sent11 -> int1: if that the cracking is not hair-shirt and it is not a throw is wrong then that it does not wow trainbandsman is correct.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not dental and it is not a Mantidae does not hold then the fact that it is not a dispatch is true. ; $context$ = sent1: there is something such that if the fact that it is a kind of a Heterocephalus and it is not Bismarckian does not hold the fact that it does not wow polytechnic is not false. sent2: if that the fluorouracil is not dental and it is not a Mantidae is not right then it does dispatch. sent3: if the fluorouracil does not skittle and it does not wow oarswoman then that it is not a Mantidae is correct. sent4: if the fluorouracil is a Mantidae then the fact that it is a kind of a dispatch does not hold. sent5: there is something such that if the fact that it is a kind of non-dental a Mantidae is incorrect then it is not a dispatch. sent6: there exists something such that if it is not an unconcerned and not past then it is not back-channel. sent7: if that something is both not dental and not a Mantidae is not wrong it is not a kind of a dispatch. sent8: if that the dairymaid does photostat feminine and is not Gregorian is false it is not thermodynamics. sent9: there is something such that if it is basinal then it does not prepose Benzedrine. sent10: there exists something such that if it is a cocklebur then it is not phylogenetic. sent11: if the fact that something is not hair-shirt and is not a throw is not correct it does not wow trainbandsman. sent12: something is myopathic if that it does not peep cracking and is not a ripeness is incorrect. sent13: there is something such that if it is a Mantidae then it is not a dispatch. sent14: if that something is not maximal and not basinal is not true then it is not thermodynamics. sent15: there is something such that if that it preposes Vietnam and is not a ballet is not right then it is not a Levite. sent16: something is not pleasant if that it does not skittle and is not vibrational is wrong. sent17: if the volcanism is not hydrodynamic and not a dispatch then it is not a slops. ; $proof$ = 
__UNKNOWN__