the diol is a crockery.
sent1: the diol is a crockery. sent2: the yuppie either does not consolidate Walpole or is not a Achaean or both if that the diol consolidates ethylene is not false.
sent1 -> hypothesis;
the yuppie is a kind of a crockery.
$hypothesis$ = the diol is a crockery. ; $context$ = sent1: the diol is a crockery. sent2: the yuppie either does not consolidate Walpole or is not a Achaean or both if that the diol consolidates ethylene is not false. ; $proof$ = 
sent1 -> hypothesis; __PROVED__