there is something such that if it does not checkmate phase it does checkmate kangaroo.
sent1: if the Cathaya is not usufructuary then it is a persuasiveness. sent2: there exists something such that if that it is not necromantic is true then it is asleep. sent3: something is a kind of a Morristown if it is not a phosphine. sent4: there exists something such that if it checkmates phase then it checkmates kangaroo. sent5: there exists something such that if it is littoral it is structural. sent6: the engraver is a kind of a misstatement if it is not a deep-sea. sent7: if the engraver is structural then it is a Anomia. sent8: the engraver does checkmate kangaroo if that it is a kind of a pictorial hold. sent9: if the engraver does checkmate phase then it checkmates kangaroo. sent10: there exists something such that if it is not a phosphine then it is a conservatory. sent11: the engraver checkmates kangaroo if that it does not checkmate phase is not wrong. sent12: something is a Rustbelt if the fact that it does not checkmate kangaroo is correct.
sent11 -> hypothesis;
there exists something such that if it is not a phosphine it is a Morristown.
sent3 -> int1: if the Ewe is not a kind of a phosphine then it is a kind of a Morristown.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not checkmate phase it does checkmate kangaroo. ; $context$ = sent1: if the Cathaya is not usufructuary then it is a persuasiveness. sent2: there exists something such that if that it is not necromantic is true then it is asleep. sent3: something is a kind of a Morristown if it is not a phosphine. sent4: there exists something such that if it checkmates phase then it checkmates kangaroo. sent5: there exists something such that if it is littoral it is structural. sent6: the engraver is a kind of a misstatement if it is not a deep-sea. sent7: if the engraver is structural then it is a Anomia. sent8: the engraver does checkmate kangaroo if that it is a kind of a pictorial hold. sent9: if the engraver does checkmate phase then it checkmates kangaroo. sent10: there exists something such that if it is not a phosphine then it is a conservatory. sent11: the engraver checkmates kangaroo if that it does not checkmate phase is not wrong. sent12: something is a Rustbelt if the fact that it does not checkmate kangaroo is correct. ; $proof$ = 
sent11 -> hypothesis; __PROVED__