both the bailiffship and the subdivision happens.
sent1: the sigmoidectomy or the non-glossopharyngealness or both happens if the pitching clapperboard does not occur. sent2: the threat does not occur and the explaining does not occur. sent3: if the carvel-builtness occurs the fact that either the sigmoidectomy or the non-glossopharyngealness or both happens is not correct. sent4: the sitting does not occur. sent5: the zygomorphicness does not occur if that the estivating does not occur and the carvel-builtness does not occur is wrong. sent6: if the sitting does not occur then the incredulousness happens and/or the misappropriation does not occur. sent7: the powwowing sinuosity happens. sent8: the footstep occurs. sent9: the imperialness happens if the whistling does not occur and the powwowing anteroom does not occur. sent10: the fact that the subdivision happens is correct if the oration occurs. sent11: if the equalizing happens the bailiffship occurs. sent12: the non-implausibleness brings about that the realigning happens or the powwowing sinuosity does not occur or both. sent13: if that the subdivision does not occur is right the fact that that the bailiffship and the anginalness occurs does not hold is right. sent14: if the carvel-builtness does not occur the estivating does not occur. sent15: if the estivating does not occur and the impersonalness does not occur then the equalizing happens. sent16: that the anginalness does not occur is not incorrect. sent17: both the inactiveness and the pitching exoneration happens. sent18: that the oration occurs hold. sent19: that either the allocation happens or the nimbus does not occur or both is false. sent20: if the mathematicalness does not occur then that the oration happens but the pitching clapperboard does not occur is incorrect. sent21: the footstep occurs or the explaining happens or both. sent22: that the theme does not occur yields either the cannibalism or the sitting or both. sent23: the pitching clapperboard does not occur. sent24: that the raftering artichoke does not occur is correct if the powwowing Pawnee does not occur. sent25: the squeegeeing isthmus and the squeegeeing flagellum happens. sent26: that the dyeing does not occur is brought about by the non-experimentalness.
void -> assump1: Let's assume that the carvel-builtness happens.; sent3 & assump1 -> int1: that the fact that the sigmoidectomy happens and/or the glossopharyngealness does not occur is not false does not hold.; sent1 & sent23 -> int2: the sigmoidectomy or the non-glossopharyngealness or both happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the carvel-builtness does not occur hold.; int4 & sent14 -> int5: the estivating does not occur.; sent10 & sent18 -> int6: the subdivision happens.;
the zygomorphicness does not occur.
$hypothesis$ = both the bailiffship and the subdivision happens. ; $context$ = sent1: the sigmoidectomy or the non-glossopharyngealness or both happens if the pitching clapperboard does not occur. sent2: the threat does not occur and the explaining does not occur. sent3: if the carvel-builtness occurs the fact that either the sigmoidectomy or the non-glossopharyngealness or both happens is not correct. sent4: the sitting does not occur. sent5: the zygomorphicness does not occur if that the estivating does not occur and the carvel-builtness does not occur is wrong. sent6: if the sitting does not occur then the incredulousness happens and/or the misappropriation does not occur. sent7: the powwowing sinuosity happens. sent8: the footstep occurs. sent9: the imperialness happens if the whistling does not occur and the powwowing anteroom does not occur. sent10: the fact that the subdivision happens is correct if the oration occurs. sent11: if the equalizing happens the bailiffship occurs. sent12: the non-implausibleness brings about that the realigning happens or the powwowing sinuosity does not occur or both. sent13: if that the subdivision does not occur is right the fact that that the bailiffship and the anginalness occurs does not hold is right. sent14: if the carvel-builtness does not occur the estivating does not occur. sent15: if the estivating does not occur and the impersonalness does not occur then the equalizing happens. sent16: that the anginalness does not occur is not incorrect. sent17: both the inactiveness and the pitching exoneration happens. sent18: that the oration occurs hold. sent19: that either the allocation happens or the nimbus does not occur or both is false. sent20: if the mathematicalness does not occur then that the oration happens but the pitching clapperboard does not occur is incorrect. sent21: the footstep occurs or the explaining happens or both. sent22: that the theme does not occur yields either the cannibalism or the sitting or both. sent23: the pitching clapperboard does not occur. sent24: that the raftering artichoke does not occur is correct if the powwowing Pawnee does not occur. sent25: the squeegeeing isthmus and the squeegeeing flagellum happens. sent26: that the dyeing does not occur is brought about by the non-experimentalness. ; $proof$ = 
void -> assump1: Let's assume that the carvel-builtness happens.; sent3 & assump1 -> int1: that the fact that the sigmoidectomy happens and/or the glossopharyngealness does not occur is not false does not hold.; sent1 & sent23 -> int2: the sigmoidectomy or the non-glossopharyngealness or both happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the carvel-builtness does not occur hold.; int4 & sent14 -> int5: the estivating does not occur.; sent10 & sent18 -> int6: the subdivision happens.; __UNKNOWN__