there is something such that that it is a Gropius that is not a Aeolian does not hold.
sent1: something that does not smite lifeblood smites groover and is tuberous. sent2: there exists nothing that is both a Gropius and not Aeolian.
sent2 -> int1: the fact that the meshuggeneh is both a Gropius and not a Aeolian is incorrect.; int1 -> hypothesis;
that the groover is a Aeolian that does not whistle Mayenne is wrong.
sent1 -> int2: if the lifeblood does not smite lifeblood then it smites groover and is tuberous.;
$hypothesis$ = there is something such that that it is a Gropius that is not a Aeolian does not hold. ; $context$ = sent1: something that does not smite lifeblood smites groover and is tuberous. sent2: there exists nothing that is both a Gropius and not Aeolian. ; $proof$ = 
sent2 -> int1: the fact that the meshuggeneh is both a Gropius and not a Aeolian is incorrect.; int1 -> hypothesis; __PROVED__