there exists something such that if it is not a kind of a prospect it is a blazer and it does not flight.
sent1: if the drink is not a Umbrian then it is a blazer and it is soleless. sent2: there is something such that if that it is not a kind of an alumnus is right then it is a drug that is a kind of a phone. sent3: there exists something such that if it is not paroxysmal then it does allow and it does cast alkaloid. sent4: the use is a blazer but it does not loot Egypt if it is not a innocency. sent5: if the drink is not a flighted then that it is an alumnus is not false. sent6: if something is not hymenal it does cast lifework and it does mount. sent7: if the fact that something is not a drought is correct then that it is a banned is not false. sent8: if something is not a prospect then it is a blazer and does not flight. sent9: something is both a submarine and not phenomenal if it is not a Umbrian. sent10: there is something such that if it does not rivet flamenco it is not non-saprophytic and it is not a kind of a tip. sent11: if the drink is not a kind of a breaststroke then it does overleap and is not a kind of a blazer. sent12: something is a beck and a quadruple if it does not cast lifework. sent13: there is something such that if it is not an enemy it is an isolationist that does not loot drink. sent14: there is something such that if it is perinasal then it does rivet asininity and it is not awake. sent15: the fact that there exists something such that if it is not botanic then it loots killdeer is true. sent16: something is Kiplingesque but it is not anticancer if it is a plowshare. sent17: there exists something such that if it is not an anti then it is a kind of a oximeter. sent18: the drink is a hem if it is not a kind of a vegan.
sent8 -> int1: the drink is a blazer and is not a flighted if it does not prospect.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a prospect it is a blazer and it does not flight. ; $context$ = sent1: if the drink is not a Umbrian then it is a blazer and it is soleless. sent2: there is something such that if that it is not a kind of an alumnus is right then it is a drug that is a kind of a phone. sent3: there exists something such that if it is not paroxysmal then it does allow and it does cast alkaloid. sent4: the use is a blazer but it does not loot Egypt if it is not a innocency. sent5: if the drink is not a flighted then that it is an alumnus is not false. sent6: if something is not hymenal it does cast lifework and it does mount. sent7: if the fact that something is not a drought is correct then that it is a banned is not false. sent8: if something is not a prospect then it is a blazer and does not flight. sent9: something is both a submarine and not phenomenal if it is not a Umbrian. sent10: there is something such that if it does not rivet flamenco it is not non-saprophytic and it is not a kind of a tip. sent11: if the drink is not a kind of a breaststroke then it does overleap and is not a kind of a blazer. sent12: something is a beck and a quadruple if it does not cast lifework. sent13: there is something such that if it is not an enemy it is an isolationist that does not loot drink. sent14: there is something such that if it is perinasal then it does rivet asininity and it is not awake. sent15: the fact that there exists something such that if it is not botanic then it loots killdeer is true. sent16: something is Kiplingesque but it is not anticancer if it is a plowshare. sent17: there exists something such that if it is not an anti then it is a kind of a oximeter. sent18: the drink is a hem if it is not a kind of a vegan. ; $proof$ = 
sent8 -> int1: the drink is a blazer and is not a flighted if it does not prospect.; int1 -> hypothesis; __PROVED__