the modernism occurs.
sent1: if the fact that the disturbance happens and the bat does not occur does not hold then the fact that the centering happens hold. sent2: the resurvey does not occur if that the bloomer but not the leaning happens is not correct. sent3: if the maneuver and the TKO happens the fact that the centered does not occur is not false. sent4: that the sigh does not occur prevents that the modernism happens. sent5: the syllogisticness does not occur if the bronchiolarness happens. sent6: if that the disturbance does not occur hold the centeredness happens and the modernism happens. sent7: the sighing happens. sent8: that the graining does not occur and the run-onness does not occur is brought about by that the syllogisticness does not occur. sent9: if that the resurvey occurs but the batting does not occur is not true then the disturbance does not occur. sent10: both the ventilating Crotalus and the scalicness occurs. sent11: the modernism occurs if the centered does not occur. sent12: the TKO happens if the sighing happens. sent13: the fact that the disturbance but not the bat happens does not hold if the resurvey does not occur. sent14: the maneuvering occurs and the disturbance happens. sent15: the fact that the maneuver does not occur is true if the leanness occurs and the bloomer does not occur. sent16: the surmountableness occurs. sent17: the fact that the bloomer occurs and the leaning does not occur does not hold if the graining does not occur.
sent12 & sent7 -> int1: the TKO happens.; sent14 -> int2: the maneuvering happens.; int1 & int2 -> int3: both the maneuver and the TKO happens.; int3 & sent3 -> int4: the centering does not occur.; int4 & sent11 -> hypothesis;
the modernism does not occur.
$hypothesis$ = the modernism occurs. ; $context$ = sent1: if the fact that the disturbance happens and the bat does not occur does not hold then the fact that the centering happens hold. sent2: the resurvey does not occur if that the bloomer but not the leaning happens is not correct. sent3: if the maneuver and the TKO happens the fact that the centered does not occur is not false. sent4: that the sigh does not occur prevents that the modernism happens. sent5: the syllogisticness does not occur if the bronchiolarness happens. sent6: if that the disturbance does not occur hold the centeredness happens and the modernism happens. sent7: the sighing happens. sent8: that the graining does not occur and the run-onness does not occur is brought about by that the syllogisticness does not occur. sent9: if that the resurvey occurs but the batting does not occur is not true then the disturbance does not occur. sent10: both the ventilating Crotalus and the scalicness occurs. sent11: the modernism occurs if the centered does not occur. sent12: the TKO happens if the sighing happens. sent13: the fact that the disturbance but not the bat happens does not hold if the resurvey does not occur. sent14: the maneuvering occurs and the disturbance happens. sent15: the fact that the maneuver does not occur is true if the leanness occurs and the bloomer does not occur. sent16: the surmountableness occurs. sent17: the fact that the bloomer occurs and the leaning does not occur does not hold if the graining does not occur. ; $proof$ = 
sent12 & sent7 -> int1: the TKO happens.; sent14 -> int2: the maneuvering happens.; int1 & int2 -> int3: both the maneuver and the TKO happens.; int3 & sent3 -> int4: the centering does not occur.; int4 & sent11 -> hypothesis; __PROVED__