there exists something such that if it is not a asparagine then it is a kind of a bottomed.
sent1: if the Zimbabwean is a asparagine then it bottoms. sent2: the Zimbabwean bottoms if it is not a asparagine. sent3: the Zimbabwean bunks appellation if it is not a bottomed. sent4: there is something such that if the fact that it is a asparagine hold it is a kind of a bottomed. sent5: something that is not calculous bunks appellation. sent6: if that the cretonne is not sportive hold it is a kind of a asparagine. sent7: the fact that there is something such that if it does not staple Goldberg it does staple Kolam hold. sent8: the capacitance bottoms if it does not staple rathskeller.
sent2 -> hypothesis;
there is something such that if it is not calculous then it bunks appellation.
sent5 -> int1: if the fitter is not calculous then it does bunk appellation.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a asparagine then it is a kind of a bottomed. ; $context$ = sent1: if the Zimbabwean is a asparagine then it bottoms. sent2: the Zimbabwean bottoms if it is not a asparagine. sent3: the Zimbabwean bunks appellation if it is not a bottomed. sent4: there is something such that if the fact that it is a asparagine hold it is a kind of a bottomed. sent5: something that is not calculous bunks appellation. sent6: if that the cretonne is not sportive hold it is a kind of a asparagine. sent7: the fact that there is something such that if it does not staple Goldberg it does staple Kolam hold. sent8: the capacitance bottoms if it does not staple rathskeller. ; $proof$ = 
sent2 -> hypothesis; __PROVED__