there is something such that if that it is not a tobogganing is right then it does not function ice-wagon.
sent1: that if something does not dive pecan then that it is not a grist is correct hold. sent2: that there exists something such that if it is not a mime that it is not a Tokyo is right is not incorrect. sent3: if the fact that something does not clue is not false then it is not changeable. sent4: the bock is a spinal if it does not toboggan. sent5: something does not halve Pomacanthus if it does not dive globe. sent6: there is something such that if it is not safe then that it does function Lolium is not false. sent7: there exists something such that if it does toboggan it does not function ice-wagon. sent8: there is something such that if it does not dive calamity it is a louver. sent9: there is something such that if it is not unlikely then it is apogean.
if the itinerary does not dive pecan it is not a grist.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if that it is not a tobogganing is right then it does not function ice-wagon. ; $context$ = sent1: that if something does not dive pecan then that it is not a grist is correct hold. sent2: that there exists something such that if it is not a mime that it is not a Tokyo is right is not incorrect. sent3: if the fact that something does not clue is not false then it is not changeable. sent4: the bock is a spinal if it does not toboggan. sent5: something does not halve Pomacanthus if it does not dive globe. sent6: there is something such that if it is not safe then that it does function Lolium is not false. sent7: there exists something such that if it does toboggan it does not function ice-wagon. sent8: there is something such that if it does not dive calamity it is a louver. sent9: there is something such that if it is not unlikely then it is apogean. ; $proof$ = 
__UNKNOWN__