there is something such that if it does not rivet then the fact that it pours thirtieth is correct.
sent1: if something does not pour thirtieth then it is a Epiphany. sent2: something does pour thirtieth if it does rivet. sent3: something is a Albanian if it is not a Housatonic. sent4: there exists something such that if it is not catapultic it is a lowercase. sent5: something is a kind of a moon if it is not a Nazification. sent6: the mopper does pour thirtieth if it does rivet. sent7: something does pour thirtieth if it does not rivet.
sent7 -> int1: the mopper pours thirtieth if that it does not rivet is not wrong.; int1 -> hypothesis;
if the mopper does not pour thirtieth then it is a kind of a Epiphany.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it does not rivet then the fact that it pours thirtieth is correct. ; $context$ = sent1: if something does not pour thirtieth then it is a Epiphany. sent2: something does pour thirtieth if it does rivet. sent3: something is a Albanian if it is not a Housatonic. sent4: there exists something such that if it is not catapultic it is a lowercase. sent5: something is a kind of a moon if it is not a Nazification. sent6: the mopper does pour thirtieth if it does rivet. sent7: something does pour thirtieth if it does not rivet. ; $proof$ = 
sent7 -> int1: the mopper pours thirtieth if that it does not rivet is not wrong.; int1 -> hypothesis; __PROVED__