there exists something such that if it is not ropey then it is not a sandaled.
sent1: there exists something such that if it is not a pipeful then it does federalize exploiter. sent2: there exists something such that if it is ropey then it is not a kind of a sandaled. sent3: the asterion is not a sandaled if it is ropey. sent4: the asterion is not a sandaled if it is not ropey. sent5: the asterion is a sandaled if it is not ropey. sent6: if something is not a kind of a sandaled it is not a kind of a Tuskegee.
sent4 -> hypothesis;
the crossjack is not a Tuskegee if it is not a sandaled.
sent6 -> hypothesis;
$hypothesis$ = there exists something such that if it is not ropey then it is not a sandaled. ; $context$ = sent1: there exists something such that if it is not a pipeful then it does federalize exploiter. sent2: there exists something such that if it is ropey then it is not a kind of a sandaled. sent3: the asterion is not a sandaled if it is ropey. sent4: the asterion is not a sandaled if it is not ropey. sent5: the asterion is a sandaled if it is not ropey. sent6: if something is not a kind of a sandaled it is not a kind of a Tuskegee. ; $proof$ = 
sent4 -> hypothesis; __PROVED__