that the habitude does not occur if the manhandling lacework does not occur does not hold.
sent1: the bloviating does not occur if that the aweing launce occurs or the dithyrambicness does not occur or both is not right. sent2: the habitude does not occur if the fact that that the smacker occurs and/or the nonproliferation does not occur is right is not correct. sent3: that either the discountenancing times or the non-frailness or both occurs is not true if the aweing launce does not occur. sent4: if the aweing crush does not occur the manhandling deadline occurs. sent5: the fact that the plain or the non-eparchialness or both occurs is not right. sent6: the geologicalness does not occur. sent7: if the manhandling lacework does not occur then that either the smacker happens or the nonproliferation does not occur or both is false. sent8: the fact that the encasement does not occur is right. sent9: if the fact that the vandalism does not occur is not incorrect the fact that the Luxembourgianness and/or the congenialness happens is not true.
void -> assump1: Let's assume that the fact that the manhandling lacework does not occur is true.; sent7 & assump1 -> int1: the fact that the smacker happens or the nonproliferation does not occur or both is false.; sent2 & int1 -> int2: the habitude does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the habitude does not occur if the manhandling lacework does not occur does not hold. ; $context$ = sent1: the bloviating does not occur if that the aweing launce occurs or the dithyrambicness does not occur or both is not right. sent2: the habitude does not occur if the fact that that the smacker occurs and/or the nonproliferation does not occur is right is not correct. sent3: that either the discountenancing times or the non-frailness or both occurs is not true if the aweing launce does not occur. sent4: if the aweing crush does not occur the manhandling deadline occurs. sent5: the fact that the plain or the non-eparchialness or both occurs is not right. sent6: the geologicalness does not occur. sent7: if the manhandling lacework does not occur then that either the smacker happens or the nonproliferation does not occur or both is false. sent8: the fact that the encasement does not occur is right. sent9: if the fact that the vandalism does not occur is not incorrect the fact that the Luxembourgianness and/or the congenialness happens is not true. ; $proof$ = 
void -> assump1: Let's assume that the fact that the manhandling lacework does not occur is true.; sent7 & assump1 -> int1: the fact that the smacker happens or the nonproliferation does not occur or both is false.; sent2 & int1 -> int2: the habitude does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__