that not the hop-step-and-jump but the overlapping happens is wrong.
sent1: the hop-step-and-jump does not occur if the earthliness and the wester happens. sent2: that the regicide occurs and the wester occurs is incorrect. sent3: the wester occurs if that the regicide but not the wester happens is wrong. sent4: that the falling chairlift occurs but the septicness does not occur is not true. sent5: the capitalization does not occur. sent6: the redecorating pneumonectomy does not occur. sent7: if the capitalization does not occur then the earthliness happens. sent8: the cautery and the overlapping happens if the redecorating pneumonectomy does not occur. sent9: the fact that the regicide happens and the wester does not occur is not correct.
sent7 & sent5 -> int1: the earthliness occurs.; sent3 & sent9 -> int2: the wester occurs.; int1 & int2 -> int3: the earthliness and the wester occurs.; int3 & sent1 -> int4: the hop-step-and-jump does not occur.; sent8 & sent6 -> int5: the cautery occurs and the overlap happens.; int5 -> int6: the overlap occurs.; int4 & int6 -> hypothesis;
$hypothesis$ = that not the hop-step-and-jump but the overlapping happens is wrong. ; $context$ = sent1: the hop-step-and-jump does not occur if the earthliness and the wester happens. sent2: that the regicide occurs and the wester occurs is incorrect. sent3: the wester occurs if that the regicide but not the wester happens is wrong. sent4: that the falling chairlift occurs but the septicness does not occur is not true. sent5: the capitalization does not occur. sent6: the redecorating pneumonectomy does not occur. sent7: if the capitalization does not occur then the earthliness happens. sent8: the cautery and the overlapping happens if the redecorating pneumonectomy does not occur. sent9: the fact that the regicide happens and the wester does not occur is not correct. ; $proof$ = 
sent7 & sent5 -> int1: the earthliness occurs.; sent3 & sent9 -> int2: the wester occurs.; int1 & int2 -> int3: the earthliness and the wester occurs.; int3 & sent1 -> int4: the hop-step-and-jump does not occur.; sent8 & sent6 -> int5: the cautery occurs and the overlap happens.; int5 -> int6: the overlap occurs.; int4 & int6 -> hypothesis; __DISPROVED__