there is something such that if it is not a kind of a Zechariah that it moonshines and is not hatless is not correct.
sent1: the fact that something does bathe rightist and is not a mistranslation is not correct if it is not a kind of a mambo. sent2: the fact that the rightist is a kind of a moonshine but it is not hatless is not correct if it is not a Zechariah.
sent2 -> hypothesis;
that there exists something such that if it does not mambo the fact that it does bathe rightist and is not a mistranslation is not true is right.
sent1 -> int1: if the phytoplankton is not a mambo then that it bathes rightist and it is not a mistranslation is not right.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a kind of a Zechariah that it moonshines and is not hatless is not correct. ; $context$ = sent1: the fact that something does bathe rightist and is not a mistranslation is not correct if it is not a kind of a mambo. sent2: the fact that the rightist is a kind of a moonshine but it is not hatless is not correct if it is not a Zechariah. ; $proof$ = 
sent2 -> hypothesis; __PROVED__