the encasement happens.
sent1: the hanging occurs. sent2: if that the improvidentness happens is true that the carbonaceousness does not occur and the caucusing Nilsson does not occur is wrong. sent3: the fact that that the encasement does not occur and the admeasuring abattoir does not occur is not false does not hold if the hanging happens. sent4: if the admeasuring Australopithecus does not occur that the garlickiness and the remedying occurs is incorrect. sent5: if that that the garlickiness happens and the remedy occurs does not hold is true the hanging does not occur. sent6: if the nonnativeness does not occur and/or the manageableness occurs then the admeasuring Australopithecus does not occur.
void -> assump1: Let's assume that the encasement does not occur.; sent3 & sent1 -> int1: the fact that the encasement does not occur and the admeasuring abattoir does not occur is not right.;
the encasement does not occur.
$hypothesis$ = the encasement happens. ; $context$ = sent1: the hanging occurs. sent2: if that the improvidentness happens is true that the carbonaceousness does not occur and the caucusing Nilsson does not occur is wrong. sent3: the fact that that the encasement does not occur and the admeasuring abattoir does not occur is not false does not hold if the hanging happens. sent4: if the admeasuring Australopithecus does not occur that the garlickiness and the remedying occurs is incorrect. sent5: if that that the garlickiness happens and the remedy occurs does not hold is true the hanging does not occur. sent6: if the nonnativeness does not occur and/or the manageableness occurs then the admeasuring Australopithecus does not occur. ; $proof$ = 
void -> assump1: Let's assume that the encasement does not occur.; sent3 & sent1 -> int1: the fact that the encasement does not occur and the admeasuring abattoir does not occur is not right.; __UNKNOWN__