there is something such that if it is both a Quoratean and not a boat it does bull.
sent1: that there is something such that if it is aeronautical thing that deglazes Achaean then it emcees is not wrong. sent2: there exists something such that if it is euclidian and is an obsessive then it is archdiocesan. sent3: the Manichaean is a bull if it is a Quoratean and is a kind of a boat. sent4: there is something such that if that it is both sentential and not a Jeffersonian hold it does dull. sent5: the Manichaean does deglaze Achaean if it is a sweetsop and it is a kind of a bull. sent6: there exists something such that if it does bar reign and does not verbify Mbundu then it is a kind of a procurement. sent7: there exists something such that if it does bar Alca and does not crucify then it is unthematic. sent8: if something is an airliner but it does not deglaze perisperm then it is husbandly. sent9: the fact that the Manichaean bulls is not wrong if it is a kind of a Quoratean and it is not a boat. sent10: there exists something such that if it is a kind of a pinko and does not scale then it deglazes downgrade. sent11: if something is a kind of a chandelier but it does not dull it does verbify NM. sent12: there is something such that if it does deglaze Manichaean and is an emcee then it is Chinese. sent13: if the Manichaean is a squeal and does boat then it is undramatic. sent14: there is something such that if it is a Quoratean and it is a kind of a boat it does bull. sent15: if that the Manichaean is a Quoratean and is not a kind of a docility is not false then it deglazes lignin.
sent9 -> hypothesis;
the Manichaean is husbandly if it is a kind of an airliner and it does not deglaze perisperm.
sent8 -> hypothesis;
$hypothesis$ = there is something such that if it is both a Quoratean and not a boat it does bull. ; $context$ = sent1: that there is something such that if it is aeronautical thing that deglazes Achaean then it emcees is not wrong. sent2: there exists something such that if it is euclidian and is an obsessive then it is archdiocesan. sent3: the Manichaean is a bull if it is a Quoratean and is a kind of a boat. sent4: there is something such that if that it is both sentential and not a Jeffersonian hold it does dull. sent5: the Manichaean does deglaze Achaean if it is a sweetsop and it is a kind of a bull. sent6: there exists something such that if it does bar reign and does not verbify Mbundu then it is a kind of a procurement. sent7: there exists something such that if it does bar Alca and does not crucify then it is unthematic. sent8: if something is an airliner but it does not deglaze perisperm then it is husbandly. sent9: the fact that the Manichaean bulls is not wrong if it is a kind of a Quoratean and it is not a boat. sent10: there exists something such that if it is a kind of a pinko and does not scale then it deglazes downgrade. sent11: if something is a kind of a chandelier but it does not dull it does verbify NM. sent12: there is something such that if it does deglaze Manichaean and is an emcee then it is Chinese. sent13: if the Manichaean is a squeal and does boat then it is undramatic. sent14: there is something such that if it is a Quoratean and it is a kind of a boat it does bull. sent15: if that the Manichaean is a Quoratean and is not a kind of a docility is not false then it deglazes lignin. ; $proof$ = 
sent9 -> hypothesis; __PROVED__