there exists something such that if the fact that it is a Gur and does jump harpsichordist is not false then it is not a torr.
sent1: there exists something such that if it is a kind of a XYY that is a force-out then it does not tame. sent2: if the ordainer is a kind of a Gur that does jump harpsichordist it is not a torr. sent3: if the ordainer is endoparasitic and is Parthian it is not a Gur. sent4: there exists something such that if it is morbilliform thing that is aromatic then that it is a jabber is wrong. sent5: there exists something such that if it is a kind of a Gur and does jump harpsichordist then it is a torr. sent6: something is not a kind of a torr if it is prosodic and it is a screwdriver. sent7: if a mnemonic thing does jump harpsichordist it is not a kind of a Perseus. sent8: the ordainer is a torr if it is a Gur and it jumps harpsichordist. sent9: there is something such that if it is both a acidemia and nomothetic it is not Hugoesque. sent10: there is something such that if it is a tarantism and it is a kind of a Catholic then that it does not pipe jerboa is right. sent11: if something is a skull and is a lotion then it is not uncompassionate. sent12: the fact that the ordainer is not a usufructuary hold if it provides Erianthus and is a torr. sent13: the cedarbird is not a Cannae if it is a kind of a torr and it provides drained. sent14: if the gravida is a cupcake and it does war then it is not a kind of a corporation.
sent2 -> hypothesis;
if the Aleve is prosodic thing that is a screwdriver then it is not a torr.
sent6 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is a Gur and does jump harpsichordist is not false then it is not a torr. ; $context$ = sent1: there exists something such that if it is a kind of a XYY that is a force-out then it does not tame. sent2: if the ordainer is a kind of a Gur that does jump harpsichordist it is not a torr. sent3: if the ordainer is endoparasitic and is Parthian it is not a Gur. sent4: there exists something such that if it is morbilliform thing that is aromatic then that it is a jabber is wrong. sent5: there exists something such that if it is a kind of a Gur and does jump harpsichordist then it is a torr. sent6: something is not a kind of a torr if it is prosodic and it is a screwdriver. sent7: if a mnemonic thing does jump harpsichordist it is not a kind of a Perseus. sent8: the ordainer is a torr if it is a Gur and it jumps harpsichordist. sent9: there is something such that if it is both a acidemia and nomothetic it is not Hugoesque. sent10: there is something such that if it is a tarantism and it is a kind of a Catholic then that it does not pipe jerboa is right. sent11: if something is a skull and is a lotion then it is not uncompassionate. sent12: the fact that the ordainer is not a usufructuary hold if it provides Erianthus and is a torr. sent13: the cedarbird is not a Cannae if it is a kind of a torr and it provides drained. sent14: if the gravida is a cupcake and it does war then it is not a kind of a corporation. ; $proof$ = 
sent2 -> hypothesis; __PROVED__