either the jazzing scaphocephaly does not occur or the dichromaticness occurs or both.
sent1: the quarterfinal is prevented by that not the funrun but the notice occurs. sent2: that the jazzing throw-weight occurs is brought about by the isotopicness. sent3: if the pasteurization does not occur then the embarrassment occurs. sent4: that the embarrassment occurs leads to that the jazzing amphidiploid occurs. sent5: the damage does not occur. sent6: if the deviation does not occur the embarrassment happens. sent7: if the sportiveness does not occur but the jazzing amphidiploid happens then the horseplay does not occur. sent8: either that the jazzing scaphocephaly does not occur or that the dichromaticness occurs or both is brought about by that the horseplay does not occur. sent9: the pasteurization does not occur and/or the embarrassment does not occur if the jazzing amphidiploid does not occur. sent10: that the flowage occurs or the coalescence or both is caused by that the mystifying rogue does not occur. sent11: that the sportiveness does not occur is right. sent12: if the deviation occurs the fact that either the jazzing scaphocephaly does not occur or the dichromaticness happens or both does not hold. sent13: the mystifying Muntiacus and/or the chopping happens. sent14: the deviation does not occur or the pasteurization does not occur or both. sent15: the jazzing scaphocephaly happens and/or the dichromaticness happens if the horseplay does not occur. sent16: either the aftereffect does not occur or the ninepins does not occur or both if the deviation does not occur.
sent14 & sent6 & sent3 -> int1: the embarrassment happens.; int1 & sent4 -> int2: the jazzing amphidiploid happens.; int2 & sent11 -> int3: both the non-sportiveness and the jazzing amphidiploid happens.; int3 & sent7 -> int4: the fact that the horseplay happens is not right.; int4 & sent8 -> hypothesis;
the aftereffect does not occur and/or the ninepins does not occur.
$hypothesis$ = either the jazzing scaphocephaly does not occur or the dichromaticness occurs or both. ; $context$ = sent1: the quarterfinal is prevented by that not the funrun but the notice occurs. sent2: that the jazzing throw-weight occurs is brought about by the isotopicness. sent3: if the pasteurization does not occur then the embarrassment occurs. sent4: that the embarrassment occurs leads to that the jazzing amphidiploid occurs. sent5: the damage does not occur. sent6: if the deviation does not occur the embarrassment happens. sent7: if the sportiveness does not occur but the jazzing amphidiploid happens then the horseplay does not occur. sent8: either that the jazzing scaphocephaly does not occur or that the dichromaticness occurs or both is brought about by that the horseplay does not occur. sent9: the pasteurization does not occur and/or the embarrassment does not occur if the jazzing amphidiploid does not occur. sent10: that the flowage occurs or the coalescence or both is caused by that the mystifying rogue does not occur. sent11: that the sportiveness does not occur is right. sent12: if the deviation occurs the fact that either the jazzing scaphocephaly does not occur or the dichromaticness happens or both does not hold. sent13: the mystifying Muntiacus and/or the chopping happens. sent14: the deviation does not occur or the pasteurization does not occur or both. sent15: the jazzing scaphocephaly happens and/or the dichromaticness happens if the horseplay does not occur. sent16: either the aftereffect does not occur or the ninepins does not occur or both if the deviation does not occur. ; $proof$ = 
sent14 & sent6 & sent3 -> int1: the embarrassment happens.; int1 & sent4 -> int2: the jazzing amphidiploid happens.; int2 & sent11 -> int3: both the non-sportiveness and the jazzing amphidiploid happens.; int3 & sent7 -> int4: the fact that the horseplay happens is not right.; int4 & sent8 -> hypothesis; __PROVED__