there is something such that if it does not revenge adverbial that it is not a federation and it does not revenge Cooperstown is not right.
sent1: that the fact that something is not a kind of a federation and does not revenge Cooperstown is true is false if it does not revenge adverbial. sent2: that that something is not a federation and does not revenge Cooperstown is true does not hold if it does revenge adverbial.
sent1 -> int1: the fact that the eye is not a federation and does not revenge Cooperstown is false if it does not revenge adverbial.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not revenge adverbial that it is not a federation and it does not revenge Cooperstown is not right. ; $context$ = sent1: that the fact that something is not a kind of a federation and does not revenge Cooperstown is true is false if it does not revenge adverbial. sent2: that that something is not a federation and does not revenge Cooperstown is true does not hold if it does revenge adverbial. ; $proof$ = 
sent1 -> int1: the fact that the eye is not a federation and does not revenge Cooperstown is false if it does not revenge adverbial.; int1 -> hypothesis; __PROVED__