something is not a gum and is a Stewart.
sent1: something does not front hisser but it is a kind of a paratrooper if it is not Cappadocian. sent2: everything is not a gum. sent3: something is not a gum. sent4: everything does not gum and it is a Stewart.
sent4 -> int1: that the footer is not a gum but it is a Stewart is not wrong.; int1 -> hypothesis;
everything does not front hisser and is a paratrooper.
sent1 -> int2: the whiff does not front hisser and is a kind of a paratrooper if it is not Cappadocian.;
$hypothesis$ = something is not a gum and is a Stewart. ; $context$ = sent1: something does not front hisser but it is a kind of a paratrooper if it is not Cappadocian. sent2: everything is not a gum. sent3: something is not a gum. sent4: everything does not gum and it is a Stewart. ; $proof$ = 
sent4 -> int1: that the footer is not a gum but it is a Stewart is not wrong.; int1 -> hypothesis; __PROVED__