there exists something such that if that it does breast is not incorrect the fact that it is both not a campstool and not a Manannan is wrong.
sent1: the fact that something is not a verger and is not a campstool is wrong if it is a technique. sent2: there exists something such that if that it is a kind of a Gogol is not false the fact that it does not perplex atlas and does not derail Plethodontidae is false. sent3: if the uropygium is a breast it is not a campstool and not a Manannan. sent4: there is something such that if it does perplex bloomers then it does not decamp and is not pubic. sent5: if the uropygium is a kind of a breast then that it is a campstool and not a Manannan does not hold. sent6: if the uropygium is a bandsman it is not a breast and it is not Aboriginal. sent7: there exists something such that if it is a kind of a pictorial that it is both electromotive and not a Samarkand is wrong. sent8: if something is not non-pubic the fact that it is not anterior and it is not irrevocable is not true. sent9: the fact that the facing is not Aboriginal but it does perplex supermarketer is false if it is a kind of a campstool. sent10: there is something such that if that it does breast is not false then the fact that it is not a kind of a campstool and is a Manannan is not true. sent11: there exists something such that if it decamps then the fact that it is not a kind of a Jesuitism and is not a costermonger is not true. sent12: if the uropygium is a breast then the fact that it is both not a campstool and not a Manannan is not true. sent13: the uropygium is not a campstool and not a chronology if it does localize.
sent12 -> hypothesis;
there is something such that if it is pubic then the fact that it is not a kind of an anterior and it is not irrevocable is not true.
sent8 -> int1: if the wordsmith is pubic then that it is a kind of non-anterior thing that is not irrevocable is not true.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it does breast is not incorrect the fact that it is both not a campstool and not a Manannan is wrong. ; $context$ = sent1: the fact that something is not a verger and is not a campstool is wrong if it is a technique. sent2: there exists something such that if that it is a kind of a Gogol is not false the fact that it does not perplex atlas and does not derail Plethodontidae is false. sent3: if the uropygium is a breast it is not a campstool and not a Manannan. sent4: there is something such that if it does perplex bloomers then it does not decamp and is not pubic. sent5: if the uropygium is a kind of a breast then that it is a campstool and not a Manannan does not hold. sent6: if the uropygium is a bandsman it is not a breast and it is not Aboriginal. sent7: there exists something such that if it is a kind of a pictorial that it is both electromotive and not a Samarkand is wrong. sent8: if something is not non-pubic the fact that it is not anterior and it is not irrevocable is not true. sent9: the fact that the facing is not Aboriginal but it does perplex supermarketer is false if it is a kind of a campstool. sent10: there is something such that if that it does breast is not false then the fact that it is not a kind of a campstool and is a Manannan is not true. sent11: there exists something such that if it decamps then the fact that it is not a kind of a Jesuitism and is not a costermonger is not true. sent12: if the uropygium is a breast then the fact that it is both not a campstool and not a Manannan is not true. sent13: the uropygium is not a campstool and not a chronology if it does localize. ; $proof$ = 
sent12 -> hypothesis; __PROVED__