the celebration does not occur and the plopping does not occur.
sent1: the abnormalness prevents that the submergence does not occur. sent2: that that the interdicting photon but not the fruitage occurs hold does not hold if the import happens. sent3: that the honeying powderer does not occur is not wrong. sent4: that the charades does not occur is triggered by that the patronage but not the abnormalness occurs. sent5: if that the patronage does not occur is not wrong the charades occurs. sent6: if the fact that the descriptiveness does not occur and/or the honeying Beatrice does not occur is not true then the submergence does not occur. sent7: that the honeying Beatrice happens and the honeying powderer happens does not hold if the hat does not occur. sent8: both the torturing nonresident and the resettling hypothermia happens if the resettling eschar does not occur. sent9: if the cleared does not occur then the troll does not occur. sent10: if the fact that the bunting does not occur and the molding does not occur is wrong the resettling eschar does not occur. sent11: if the charades happens then the abnormalness happens. sent12: if the troll does not occur the fact that the honeying fumewort and the cellulosidness happens does not hold. sent13: the clearing does not occur if the fact that the resettling ETD does not occur or the getting does not occur or both is not true. sent14: that the bunting does not occur and the molding does not occur does not hold if the Orwellianness does not occur. sent15: the Orwellianness does not occur if that both the bipolarness and the non-Falstaffianness happens is wrong. sent16: the importing happens if the resettling hypothermia occurs. sent17: if the fact that the interdicting photon but not the fruitage happens is not correct then the interdicting photon does not occur. sent18: the submergence and the descriptiveness happens if the honeying Beatrice does not occur. sent19: the fact that either the descriptiveness does not occur or the honeying Beatrice does not occur or both does not hold if the honeying powderer does not occur. sent20: the patronaging does not occur if the fact that the celebration does not occur and the plopping does not occur is not correct. sent21: if the fact that both the honeying fumewort and the cellulosidness occurs is not correct then the hat does not occur. sent22: if the fact that the foundering occurs and the aldermanicness does not occur is not true then the patronage occurs. sent23: if the fact that the interdicting photon does not occur is true that that the foundering but not the aldermanicness occurs is right is not true.
void -> assump1: Let's assume that the fact that the celebration does not occur and the plopping does not occur is wrong.; sent20 & assump1 -> int1: the patronage does not occur.; int1 & sent5 -> int2: the charades happens.; int2 & sent11 -> int3: the abnormalness occurs.; int3 & sent1 -> int4: the submergence happens.; sent19 & sent3 -> int5: that the descriptiveness does not occur and/or the honeying Beatrice does not occur is not right.; sent6 & int5 -> int6: the submergence does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
that the celebration does not occur and the plop does not occur is not true.
$hypothesis$ = the celebration does not occur and the plopping does not occur. ; $context$ = sent1: the abnormalness prevents that the submergence does not occur. sent2: that that the interdicting photon but not the fruitage occurs hold does not hold if the import happens. sent3: that the honeying powderer does not occur is not wrong. sent4: that the charades does not occur is triggered by that the patronage but not the abnormalness occurs. sent5: if that the patronage does not occur is not wrong the charades occurs. sent6: if the fact that the descriptiveness does not occur and/or the honeying Beatrice does not occur is not true then the submergence does not occur. sent7: that the honeying Beatrice happens and the honeying powderer happens does not hold if the hat does not occur. sent8: both the torturing nonresident and the resettling hypothermia happens if the resettling eschar does not occur. sent9: if the cleared does not occur then the troll does not occur. sent10: if the fact that the bunting does not occur and the molding does not occur is wrong the resettling eschar does not occur. sent11: if the charades happens then the abnormalness happens. sent12: if the troll does not occur the fact that the honeying fumewort and the cellulosidness happens does not hold. sent13: the clearing does not occur if the fact that the resettling ETD does not occur or the getting does not occur or both is not true. sent14: that the bunting does not occur and the molding does not occur does not hold if the Orwellianness does not occur. sent15: the Orwellianness does not occur if that both the bipolarness and the non-Falstaffianness happens is wrong. sent16: the importing happens if the resettling hypothermia occurs. sent17: if the fact that the interdicting photon but not the fruitage happens is not correct then the interdicting photon does not occur. sent18: the submergence and the descriptiveness happens if the honeying Beatrice does not occur. sent19: the fact that either the descriptiveness does not occur or the honeying Beatrice does not occur or both does not hold if the honeying powderer does not occur. sent20: the patronaging does not occur if the fact that the celebration does not occur and the plopping does not occur is not correct. sent21: if the fact that both the honeying fumewort and the cellulosidness occurs is not correct then the hat does not occur. sent22: if the fact that the foundering occurs and the aldermanicness does not occur is not true then the patronage occurs. sent23: if the fact that the interdicting photon does not occur is true that that the foundering but not the aldermanicness occurs is right is not true. ; $proof$ = 
void -> assump1: Let's assume that the fact that the celebration does not occur and the plopping does not occur is wrong.; sent20 & assump1 -> int1: the patronage does not occur.; int1 & sent5 -> int2: the charades happens.; int2 & sent11 -> int3: the abnormalness occurs.; int3 & sent1 -> int4: the submergence happens.; sent19 & sent3 -> int5: that the descriptiveness does not occur and/or the honeying Beatrice does not occur is not right.; sent6 & int5 -> int6: the submergence does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__