there exists something such that if that it is not occipital is right it Simonizes Cartesian.
sent1: if the Cartesian is not occipital then it does Simonize Cartesian. sent2: there exists something such that if it is occipital it does Simonize Cartesian. sent3: there exists something such that if it is not a kind of a thrush it does lunch neutrality. sent4: the fact that the Cartesian Simonizes Cartesian is not incorrect if it is occipital. sent5: if the Cartesian does not lunch neutrality then it is afebrile. sent6: if something does not paganize retrospective then it does Simonize Potorous. sent7: if the Hausa does not Simonize Cartesian it is a cattalo. sent8: the Cartesian is dimmed if it is not a hammer. sent9: a non-afebrile thing is a hammer.
sent1 -> hypothesis;
there is something such that if that it is not afebrile is right it is a kind of a hammer.
sent9 -> int1: the basil is a kind of a hammer if it is not afebrile.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not occipital is right it Simonizes Cartesian. ; $context$ = sent1: if the Cartesian is not occipital then it does Simonize Cartesian. sent2: there exists something such that if it is occipital it does Simonize Cartesian. sent3: there exists something such that if it is not a kind of a thrush it does lunch neutrality. sent4: the fact that the Cartesian Simonizes Cartesian is not incorrect if it is occipital. sent5: if the Cartesian does not lunch neutrality then it is afebrile. sent6: if something does not paganize retrospective then it does Simonize Potorous. sent7: if the Hausa does not Simonize Cartesian it is a cattalo. sent8: the Cartesian is dimmed if it is not a hammer. sent9: a non-afebrile thing is a hammer. ; $proof$ = 
sent1 -> hypothesis; __PROVED__