there is something such that if it is not meiotic then it is not impious.
sent1: there exists something such that if it is not a kind of a separated then it is not middle-class. sent2: if the housetop is not meiotic it is not impious. sent3: that the housetop is impious if that the housetop is non-meiotic hold is right. sent4: there exists something such that if it is not meiotic then it is impious. sent5: the stammerer does not reorient conditionality if it is not nonarboreal. sent6: that the housetop is not a kind of a belay is not incorrect if that it does not outnumber tellurium hold. sent7: there is something such that if it is meiotic that it is not impious is not false. sent8: there is something such that if it is not a kind of a mollie it does not mooch pentylenetetrazol. sent9: if the housetop does not traverse it is a spot-welder. sent10: if the captopril is not a stretching then it is not impious. sent11: if something is not onside then it is not a Donar. sent12: there is something such that if it is not actinomycotic then it is not a refinisher. sent13: there exists something such that if it is not aggressive then the fact that it does not populate is not wrong. sent14: there is something such that if it is not an attack then it does not rim. sent15: the housetop is not impious if it is meiotic. sent16: something is not meiotic if it is not a Fang. sent17: if the fact that the housetop is not falconine is not false it is not impious. sent18: there is something such that if it is not narrowed it is not hermeneutics. sent19: something is not impious if it is not an ermine. sent20: the fact that there exists something such that if it is onside the fact that it does not reorient quackery is true is correct.
sent2 -> hypothesis;
the housetop is not meiotic if it is not a Fang.
sent16 -> hypothesis;
$hypothesis$ = there is something such that if it is not meiotic then it is not impious. ; $context$ = sent1: there exists something such that if it is not a kind of a separated then it is not middle-class. sent2: if the housetop is not meiotic it is not impious. sent3: that the housetop is impious if that the housetop is non-meiotic hold is right. sent4: there exists something such that if it is not meiotic then it is impious. sent5: the stammerer does not reorient conditionality if it is not nonarboreal. sent6: that the housetop is not a kind of a belay is not incorrect if that it does not outnumber tellurium hold. sent7: there is something such that if it is meiotic that it is not impious is not false. sent8: there is something such that if it is not a kind of a mollie it does not mooch pentylenetetrazol. sent9: if the housetop does not traverse it is a spot-welder. sent10: if the captopril is not a stretching then it is not impious. sent11: if something is not onside then it is not a Donar. sent12: there is something such that if it is not actinomycotic then it is not a refinisher. sent13: there exists something such that if it is not aggressive then the fact that it does not populate is not wrong. sent14: there is something such that if it is not an attack then it does not rim. sent15: the housetop is not impious if it is meiotic. sent16: something is not meiotic if it is not a Fang. sent17: if the fact that the housetop is not falconine is not false it is not impious. sent18: there is something such that if it is not narrowed it is not hermeneutics. sent19: something is not impious if it is not an ermine. sent20: the fact that there exists something such that if it is onside the fact that it does not reorient quackery is true is correct. ; $proof$ = 
sent2 -> hypothesis; __PROVED__