the higherness but not the lobarness happens.
sent1: that the skit happens is right if the Bowdlerism happens. sent2: the hollering does not occur. sent3: that the counterclaim does not occur brings about that the maniness occurs. sent4: the impressiveness happens if that the fact that the skit does not occur and the impressiveness does not occur is false is correct. sent5: that the hollering does not occur yields that the defenestration happens. sent6: the lobarness does not occur. sent7: the impressiveness happens. sent8: both the impressiveness and the Bowdlerism happens. sent9: if the scrunch does not occur that the lobarness does not occur is right. sent10: the criticizing yobibit but not the enactment occurs. sent11: if the explicableness does not occur then the hollering happens and the crooning happens. sent12: the souther happens and the magnetizing Bathyergidae does not occur. sent13: if the Bowdlerism does not occur the fact that the skit does not occur and the impressiveness does not occur is not correct. sent14: if the skit occurs and the scrunch occurs the defenestration does not occur.
sent8 -> int1: the Bowdlerism happens.; int1 & sent1 -> int2: the skit happens.; void -> assump1: Let's assume that the scrunch occurs.; int2 & assump1 -> int3: the skit and the scrunch happens.; int3 & sent14 -> int4: the defenestration does not occur.; sent5 & sent2 -> int5: the defenestration happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the scrunch does not occur.;
that the higherness but not the lobarness happens does not hold.
$hypothesis$ = the higherness but not the lobarness happens. ; $context$ = sent1: that the skit happens is right if the Bowdlerism happens. sent2: the hollering does not occur. sent3: that the counterclaim does not occur brings about that the maniness occurs. sent4: the impressiveness happens if that the fact that the skit does not occur and the impressiveness does not occur is false is correct. sent5: that the hollering does not occur yields that the defenestration happens. sent6: the lobarness does not occur. sent7: the impressiveness happens. sent8: both the impressiveness and the Bowdlerism happens. sent9: if the scrunch does not occur that the lobarness does not occur is right. sent10: the criticizing yobibit but not the enactment occurs. sent11: if the explicableness does not occur then the hollering happens and the crooning happens. sent12: the souther happens and the magnetizing Bathyergidae does not occur. sent13: if the Bowdlerism does not occur the fact that the skit does not occur and the impressiveness does not occur is not correct. sent14: if the skit occurs and the scrunch occurs the defenestration does not occur. ; $proof$ = 
sent8 -> int1: the Bowdlerism happens.; int1 & sent1 -> int2: the skit happens.; void -> assump1: Let's assume that the scrunch occurs.; int2 & assump1 -> int3: the skit and the scrunch happens.; int3 & sent14 -> int4: the defenestration does not occur.; sent5 & sent2 -> int5: the defenestration happens.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the scrunch does not occur.; __UNKNOWN__