there exists something such that if that it is not a boogie and it preaches is false it is not a kind of a digestive.
sent1: there exists something such that if that it does not reign macron and is postpositive is incorrect it is not a kind of a foldout. sent2: if the rootstock is not a boogie but it does preach it is not a digestive. sent3: there exists something such that if that it is a boogie and it preaches does not hold then it is not a digestive. sent4: if the rootstock does not preach then it is not a kind of a digestive. sent5: there exists something such that if it does not preach it is not a digestive. sent6: if the fact that the calceus is not a kind of a boogie but it is insecure does not hold then it is a volvulus. sent7: if that the rootstock is a kind of a boogie that does preach is wrong it is not a digestive. sent8: there exists something such that if the fact that it does not smash grating and stales chimneysweeper does not hold then it is agonal. sent9: that there exists something such that if it is not a boogie and does preach the fact that it is not digestive hold hold. sent10: if that the rootstock does not boogie and does preach is not true it is not a kind of a digestive. sent11: if that something is not an incense but it is faucal is not correct then it is not a Bellingham.
sent10 -> hypothesis;
there exists something such that if that it is not an incense and is faucal does not hold then it is not a kind of a Bellingham.
sent11 -> int1: if that the chimneysweeper is not an incense but faucal does not hold it is not a kind of a Bellingham.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a boogie and it preaches is false it is not a kind of a digestive. ; $context$ = sent1: there exists something such that if that it does not reign macron and is postpositive is incorrect it is not a kind of a foldout. sent2: if the rootstock is not a boogie but it does preach it is not a digestive. sent3: there exists something such that if that it is a boogie and it preaches does not hold then it is not a digestive. sent4: if the rootstock does not preach then it is not a kind of a digestive. sent5: there exists something such that if it does not preach it is not a digestive. sent6: if the fact that the calceus is not a kind of a boogie but it is insecure does not hold then it is a volvulus. sent7: if that the rootstock is a kind of a boogie that does preach is wrong it is not a digestive. sent8: there exists something such that if the fact that it does not smash grating and stales chimneysweeper does not hold then it is agonal. sent9: that there exists something such that if it is not a boogie and does preach the fact that it is not digestive hold hold. sent10: if that the rootstock does not boogie and does preach is not true it is not a kind of a digestive. sent11: if that something is not an incense but it is faucal is not correct then it is not a Bellingham. ; $proof$ = 
sent10 -> hypothesis; __PROVED__