that there exists something such that if it does twinge that it does not reface pencil and it is a reappraisal does not hold is incorrect.
sent1: that the tricolor does not reface pencil but it is a reappraisal does not hold if it is a kind of a twinge. sent2: the fact that something does not reface Vombatidae but it is noninstitutional is not correct if it refaces pencil.
sent1 -> hypothesis;
the fact that the fact that the tricolor does not reface Vombatidae but it is noninstitutional is not correct is not false if it refaces pencil.
sent2 -> hypothesis;
$hypothesis$ = that there exists something such that if it does twinge that it does not reface pencil and it is a reappraisal does not hold is incorrect. ; $context$ = sent1: that the tricolor does not reface pencil but it is a reappraisal does not hold if it is a kind of a twinge. sent2: the fact that something does not reface Vombatidae but it is noninstitutional is not correct if it refaces pencil. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__