there exists something such that if it is not a cheese then it is not guttural and counts rear.
sent1: the ascospore is not a guttural and counts rear if that it does not cheese is true. sent2: the sangapenum counts booking if it is not Italic.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a cheese then it is not guttural and counts rear. ; $context$ = sent1: the ascospore is not a guttural and counts rear if that it does not cheese is true. sent2: the sangapenum counts booking if it is not Italic. ; $proof$ = 
sent1 -> hypothesis; __PROVED__