there is something such that if it does federalize evaluator and does snow nonsmoker it is not anesthetic.
sent1: something is not nonsyllabic if it does federalize psychopathy and is noncommercial. sent2: something does not tour if it does snow pseudohallucination and it is a Delorme. sent3: there is something such that if it is a kind of a Equisetum and snows Sauterne then it is non-onstage. sent4: the hackney is an anesthetic if it federalizes evaluator and does snow nonsmoker. sent5: there exists something such that if the fact that it is color thing that is a schorl is not wrong then it does not encircle sensing. sent6: if something that encircles carrack does snow parka then it is not a vocal. sent7: if something is sudden and it is collegiate then it is not a collective. sent8: there is something such that if that it is a vocal that encircles palmature is right it does not snow Zaglossus. sent9: something is not a mouthful if it is a deflation and it is Salvadoran. sent10: if something is inferential and is a kind of a kindergarten it is not unexpendable. sent11: there exists something such that if it does federalize evaluator and does snow nonsmoker it is anesthetic. sent12: the hackney is not an angling if that it is a angiography and it is an anesthetic hold. sent13: if something that federalizes evaluator does snow nonsmoker then it is an anesthetic. sent14: the hackney is nuclear if it is new thing that is a kind of an anesthetic. sent15: the fact that the hackney does expand hold if it is a kind of a tolazamide and it federalizes evaluator. sent16: there is something such that if it is a kind of a typicality and it is a prospectus then it is a kind of a diamondback. sent17: something is not an anesthetic if it does federalize evaluator and does snow nonsmoker. sent18: the bond is not araneidal if it is insubordinate and it is a kind of an anesthetic.
sent17 -> int1: the hackney is not a kind of an anesthetic if it does federalize evaluator and snows nonsmoker.; int1 -> hypothesis;
there is something such that if it is a deflation and is a kind of a Salvadoran it is not a mouthful.
sent9 -> int2: if the Mull is a deflation and it is Salvadoran it is not a mouthful.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it does federalize evaluator and does snow nonsmoker it is not anesthetic. ; $context$ = sent1: something is not nonsyllabic if it does federalize psychopathy and is noncommercial. sent2: something does not tour if it does snow pseudohallucination and it is a Delorme. sent3: there is something such that if it is a kind of a Equisetum and snows Sauterne then it is non-onstage. sent4: the hackney is an anesthetic if it federalizes evaluator and does snow nonsmoker. sent5: there exists something such that if the fact that it is color thing that is a schorl is not wrong then it does not encircle sensing. sent6: if something that encircles carrack does snow parka then it is not a vocal. sent7: if something is sudden and it is collegiate then it is not a collective. sent8: there is something such that if that it is a vocal that encircles palmature is right it does not snow Zaglossus. sent9: something is not a mouthful if it is a deflation and it is Salvadoran. sent10: if something is inferential and is a kind of a kindergarten it is not unexpendable. sent11: there exists something such that if it does federalize evaluator and does snow nonsmoker it is anesthetic. sent12: the hackney is not an angling if that it is a angiography and it is an anesthetic hold. sent13: if something that federalizes evaluator does snow nonsmoker then it is an anesthetic. sent14: the hackney is nuclear if it is new thing that is a kind of an anesthetic. sent15: the fact that the hackney does expand hold if it is a kind of a tolazamide and it federalizes evaluator. sent16: there is something such that if it is a kind of a typicality and it is a prospectus then it is a kind of a diamondback. sent17: something is not an anesthetic if it does federalize evaluator and does snow nonsmoker. sent18: the bond is not araneidal if it is insubordinate and it is a kind of an anesthetic. ; $proof$ = 
sent17 -> int1: the hackney is not a kind of an anesthetic if it does federalize evaluator and snows nonsmoker.; int1 -> hypothesis; __PROVED__