the fact that if the lamentation happens the harmonic occurs does not hold.
sent1: if that that the dealing does not occur and the lamentation does not occur is correct does not hold then that the honestness does not occur hold. sent2: if that the victimization does not occur and/or the rush happens is not true then the mortifying happens. sent3: if the absorbentness and the non-stativeness happens then the snuffling placoderm does not occur. sent4: the rushing happens if the fact that the lidlessness does not occur or the butyricness does not occur or both is not correct. sent5: the snuffling Catholic occurs. sent6: the fact that either the whimper does not occur or the snuffling placoderm does not occur or both does not hold if the pull does not occur. sent7: the fact that the hugging Galen does not occur hold. sent8: the fact that either the crocking does not occur or the landslide does not occur or both is not right. sent9: if the dealing does not occur then that the snuffling lightbulb does not occur and the pardonableness does not occur is not true. sent10: that the irregularity does not occur or the snuffling Mackenzie does not occur or both does not hold. sent11: the micaceousness does not occur and the urging does not occur. sent12: if the fact that either the palatableness or the unrespectableness or both happens is wrong the harmonic happens. sent13: that the arbitrariness does not occur hold if that the hugging Galen does not occur and the cantering does not occur does not hold. sent14: that the airmail does not occur and the undesirousness does not occur is not right. sent15: the fact that the non-unpalatableness and/or the non-respectableness happens does not hold if that the honestness happens is incorrect. sent16: if the honestness happens the lamentation happens and the dealing does not occur. sent17: both the honestness and the respectableness happens if the unpalatableness does not occur. sent18: the fact that the yelling does not occur is right.
void -> assump2: Let's assume that that the lamentation happens is true.; void -> assump1: Let's assume that the dealing does not occur and the lamentation does not occur.; assump1 -> int1: the lamentation does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the dealing does not occur and the lamentation does not occur is not correct.; sent1 & int3 -> int4: that the honestness does not occur hold.; sent15 & int4 -> int5: the fact that either the unpalatableness does not occur or the respectableness does not occur or both is not right.; sent12 & int5 -> int6: the harmonicness happens.; [assump2] & int6 -> hypothesis;
that the snuffling lightbulb does not occur and the pardonableness does not occur is not correct.
$hypothesis$ = the fact that if the lamentation happens the harmonic occurs does not hold. ; $context$ = sent1: if that that the dealing does not occur and the lamentation does not occur is correct does not hold then that the honestness does not occur hold. sent2: if that the victimization does not occur and/or the rush happens is not true then the mortifying happens. sent3: if the absorbentness and the non-stativeness happens then the snuffling placoderm does not occur. sent4: the rushing happens if the fact that the lidlessness does not occur or the butyricness does not occur or both is not correct. sent5: the snuffling Catholic occurs. sent6: the fact that either the whimper does not occur or the snuffling placoderm does not occur or both does not hold if the pull does not occur. sent7: the fact that the hugging Galen does not occur hold. sent8: the fact that either the crocking does not occur or the landslide does not occur or both is not right. sent9: if the dealing does not occur then that the snuffling lightbulb does not occur and the pardonableness does not occur is not true. sent10: that the irregularity does not occur or the snuffling Mackenzie does not occur or both does not hold. sent11: the micaceousness does not occur and the urging does not occur. sent12: if the fact that either the palatableness or the unrespectableness or both happens is wrong the harmonic happens. sent13: that the arbitrariness does not occur hold if that the hugging Galen does not occur and the cantering does not occur does not hold. sent14: that the airmail does not occur and the undesirousness does not occur is not right. sent15: the fact that the non-unpalatableness and/or the non-respectableness happens does not hold if that the honestness happens is incorrect. sent16: if the honestness happens the lamentation happens and the dealing does not occur. sent17: both the honestness and the respectableness happens if the unpalatableness does not occur. sent18: the fact that the yelling does not occur is right. ; $proof$ = 
void -> assump2: Let's assume that that the lamentation happens is true.; void -> assump1: Let's assume that the dealing does not occur and the lamentation does not occur.; assump1 -> int1: the lamentation does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the dealing does not occur and the lamentation does not occur is not correct.; sent1 & int3 -> int4: that the honestness does not occur hold.; sent15 & int4 -> int5: the fact that either the unpalatableness does not occur or the respectableness does not occur or both is not right.; sent12 & int5 -> int6: the harmonicness happens.; [assump2] & int6 -> hypothesis; __DISPROVED__