there is something such that if the fact that it does not shun endocardium and it is not sectorial is not right it overreaches craton.
sent1: there is something such that if it shuns endocardium then it does overreach craton. sent2: there exists something such that if it is non-leaky thing that does not overreach hawksbill then it is benzylic. sent3: if that the kazoo does shun endocardium is true then it does overreach craton. sent4: there is something such that if the fact that it does not shun endocardium and is sectorial does not hold then it does overreach craton. sent5: there exists something such that if it is a semivowel then it does overreach deportation. sent6: there is something such that if it is not non-sectorial it does overreach craton. sent7: something overreaches faceted if that it does not depopulate and it is not sectorial is false. sent8: if the fact that something does not overreach craton and it is not an employable is false it is a Sacco. sent9: the kazoo overreaches craton if the fact that it does not shun endocardium and it is not sectorial is false. sent10: if that the kazoo is internal thing that is not leaky is false it is sectorial.
sent9 -> hypothesis;
the fact that if that the deaf-aid does not depopulate and is not sectorial is not correct the deaf-aid overreaches faceted is right.
sent7 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it does not shun endocardium and it is not sectorial is not right it overreaches craton. ; $context$ = sent1: there is something such that if it shuns endocardium then it does overreach craton. sent2: there exists something such that if it is non-leaky thing that does not overreach hawksbill then it is benzylic. sent3: if that the kazoo does shun endocardium is true then it does overreach craton. sent4: there is something such that if the fact that it does not shun endocardium and is sectorial does not hold then it does overreach craton. sent5: there exists something such that if it is a semivowel then it does overreach deportation. sent6: there is something such that if it is not non-sectorial it does overreach craton. sent7: something overreaches faceted if that it does not depopulate and it is not sectorial is false. sent8: if the fact that something does not overreach craton and it is not an employable is false it is a Sacco. sent9: the kazoo overreaches craton if the fact that it does not shun endocardium and it is not sectorial is false. sent10: if that the kazoo is internal thing that is not leaky is false it is sectorial. ; $proof$ = 
sent9 -> hypothesis; __PROVED__