there exists something such that if it is not unpardonable then it is tympanic.
sent1: there is something such that if that it is not a kind of a stationmaster is not incorrect it is a show. sent2: if something does not unbutton moloch it is an acquisition. sent3: there exists something such that if it is not a Bulgarian then that it is a Sherrington is not incorrect. sent4: that there exists something such that if it is not mathematical then it does open impunity is right. sent5: the pentastomid is tympanic if that it is not classificatory is correct. sent6: there is something such that if it is not a microscopy then it does tusk RA. sent7: if something is not tympanic it is unobtrusive. sent8: if the pentastomid is not trapezoidal it is unpardonable. sent9: if the pentastomid is unpardonable it is tympanic. sent10: if the pentastomid is not unpardonable then it is tympanic. sent11: if something is not mathematical the fact that it is a Mesoamerican is not wrong. sent12: there is something such that if it is not a kind of a bastardy then it disturbs. sent13: there is something such that if it is unpardonable then it is tympanic.
sent10 -> hypothesis;
there exists something such that if it does not unbutton moloch then it is an acquisition.
sent2 -> int1: the streetlight is a kind of an acquisition if it does not unbutton moloch.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not unpardonable then it is tympanic. ; $context$ = sent1: there is something such that if that it is not a kind of a stationmaster is not incorrect it is a show. sent2: if something does not unbutton moloch it is an acquisition. sent3: there exists something such that if it is not a Bulgarian then that it is a Sherrington is not incorrect. sent4: that there exists something such that if it is not mathematical then it does open impunity is right. sent5: the pentastomid is tympanic if that it is not classificatory is correct. sent6: there is something such that if it is not a microscopy then it does tusk RA. sent7: if something is not tympanic it is unobtrusive. sent8: if the pentastomid is not trapezoidal it is unpardonable. sent9: if the pentastomid is unpardonable it is tympanic. sent10: if the pentastomid is not unpardonable then it is tympanic. sent11: if something is not mathematical the fact that it is a Mesoamerican is not wrong. sent12: there is something such that if it is not a kind of a bastardy then it disturbs. sent13: there is something such that if it is unpardonable then it is tympanic. ; $proof$ = 
sent10 -> hypothesis; __PROVED__