there is something such that if it is not pompous the fact that it is non-stoichiometric thing that is not porcine is incorrect.
sent1: there is something such that if it is pompous the fact that it is non-stoichiometric thing that is not porcine does not hold. sent2: that that the swot is stoichiometric but not porcine hold is false if it is not pompous. sent3: there exists something such that if it is not a correction the fact that it is not a sanction but a glitter does not hold. sent4: there exists something such that if it is not pompous then the fact that it is stoichiometric and it is not porcine is wrong. sent5: there is something such that if it is not ulnar then that that it is bimorphemic and is not a abridger is not incorrect does not hold. sent6: the fact that the photoelectron does not prey Alonso and is not stoichiometric is wrong if it is not a kind of an orangutan. sent7: there exists something such that if it is not pompous it is not stoichiometric and it is not porcine. sent8: there is something such that if it intensifies vestiture that it does not prey FSB and it is not mutable is not correct. sent9: there is something such that if it is not a lymphoblast then that it is not antennal and is not an abele does not hold. sent10: there is something such that if the fact that it is not pompous is true that it is not stoichiometric and it is porcine is incorrect. sent11: if the zygospore is non-porcine it does not ratchet growling and is not a kind of a Hypentelium. sent12: that the swot is porcine but it is not untrustworthy is false if it is not a artificiality. sent13: there is something such that if it is not bibliopolic then that it is not a kind of a centaur and it is a scrumpy does not hold. sent14: if the swot is not pompous then that it is both not stoichiometric and porcine does not hold. sent15: that the swot is both not stoichiometric and not porcine does not hold if it is pompous. sent16: that something is both not porcine and not a BPH is false if it is not aphakic. sent17: there exists something such that if it is not rectosigmoid the fact that it is non-bimorphemic thing that is pictographic is not true. sent18: if that the swot is not pompous is not incorrect the fact that the fact that it is not stoichiometric and it is not porcine is not incorrect is incorrect.
sent18 -> hypothesis;
if the swot is not aphakic the fact that it is non-porcine thing that is not a BPH is incorrect.
sent16 -> hypothesis;
$hypothesis$ = there is something such that if it is not pompous the fact that it is non-stoichiometric thing that is not porcine is incorrect. ; $context$ = sent1: there is something such that if it is pompous the fact that it is non-stoichiometric thing that is not porcine does not hold. sent2: that that the swot is stoichiometric but not porcine hold is false if it is not pompous. sent3: there exists something such that if it is not a correction the fact that it is not a sanction but a glitter does not hold. sent4: there exists something such that if it is not pompous then the fact that it is stoichiometric and it is not porcine is wrong. sent5: there is something such that if it is not ulnar then that that it is bimorphemic and is not a abridger is not incorrect does not hold. sent6: the fact that the photoelectron does not prey Alonso and is not stoichiometric is wrong if it is not a kind of an orangutan. sent7: there exists something such that if it is not pompous it is not stoichiometric and it is not porcine. sent8: there is something such that if it intensifies vestiture that it does not prey FSB and it is not mutable is not correct. sent9: there is something such that if it is not a lymphoblast then that it is not antennal and is not an abele does not hold. sent10: there is something such that if the fact that it is not pompous is true that it is not stoichiometric and it is porcine is incorrect. sent11: if the zygospore is non-porcine it does not ratchet growling and is not a kind of a Hypentelium. sent12: that the swot is porcine but it is not untrustworthy is false if it is not a artificiality. sent13: there is something such that if it is not bibliopolic then that it is not a kind of a centaur and it is a scrumpy does not hold. sent14: if the swot is not pompous then that it is both not stoichiometric and porcine does not hold. sent15: that the swot is both not stoichiometric and not porcine does not hold if it is pompous. sent16: that something is both not porcine and not a BPH is false if it is not aphakic. sent17: there exists something such that if it is not rectosigmoid the fact that it is non-bimorphemic thing that is pictographic is not true. sent18: if that the swot is not pompous is not incorrect the fact that the fact that it is not stoichiometric and it is not porcine is not incorrect is incorrect. ; $proof$ = 
sent18 -> hypothesis; __PROVED__