the compacting sorbet does not occur.
sent1: if the restrictiveness does not occur then the mount occurs and the uncoiling happens. sent2: the compacting sorbet happens and the pollination happens if the puerperalness does not occur. sent3: the uncoiling happens. sent4: if the puerperalness happens the vulgarization occurs. sent5: if the underdressing does not occur then the compacting meal but not the sparkling whaleboat happens. sent6: if that that the compacting enterovirus does not occur is right is not correct the Oxonian occurs. sent7: the fact that the puerperalness happens but the mounting does not occur is incorrect if the vulgarization does not occur. sent8: the tractableness is prevented by that both the isthmianness and the Wiccan happens. sent9: if the commensalness does not occur then the junction occurs and the whirling dichotomization does not occur. sent10: the fact that the compacting plainsman occurs and the olfactoriness happens is right. sent11: the positive happens. sent12: the sparkling lacrosse does not occur. sent13: that the compacting meal does not occur is prevented by that the compacting arborist happens. sent14: the sparkling best occurs and the calibration occurs. sent15: the pollination occurs. sent16: the fact that the foulness but not the compacting arborist happens is not false. sent17: the fact that the Oxonianness happens is right if the compacting enterovirus does not occur. sent18: that the vulgarization does not occur brings about the jitterbug. sent19: that the compacting enterovirus does not occur results in the fact that that the Oxonian and the non-restrictiveness happens is right. sent20: both the pollination and the puerperalness happens. sent21: the compacting enterovirus does not occur.
sent20 -> int1: the puerperalness occurs.; int1 & sent4 -> int2: the vulgarization happens.; void -> assump1: Let's assume that the compacting sorbet happens.; int2 & assump1 -> int3: the vulgarization occurs and the compacting sorbet happens.; sent19 & sent21 -> int4: the Oxonian and the unrestrictiveness occurs.; int4 -> int5: the restrictiveness does not occur.; sent1 & int5 -> int6: the mount and the uncoiling occurs.; int6 -> int7: the mounting occurs.;
the jitterbug occurs and the walk-through happens.
$hypothesis$ = the compacting sorbet does not occur. ; $context$ = sent1: if the restrictiveness does not occur then the mount occurs and the uncoiling happens. sent2: the compacting sorbet happens and the pollination happens if the puerperalness does not occur. sent3: the uncoiling happens. sent4: if the puerperalness happens the vulgarization occurs. sent5: if the underdressing does not occur then the compacting meal but not the sparkling whaleboat happens. sent6: if that that the compacting enterovirus does not occur is right is not correct the Oxonian occurs. sent7: the fact that the puerperalness happens but the mounting does not occur is incorrect if the vulgarization does not occur. sent8: the tractableness is prevented by that both the isthmianness and the Wiccan happens. sent9: if the commensalness does not occur then the junction occurs and the whirling dichotomization does not occur. sent10: the fact that the compacting plainsman occurs and the olfactoriness happens is right. sent11: the positive happens. sent12: the sparkling lacrosse does not occur. sent13: that the compacting meal does not occur is prevented by that the compacting arborist happens. sent14: the sparkling best occurs and the calibration occurs. sent15: the pollination occurs. sent16: the fact that the foulness but not the compacting arborist happens is not false. sent17: the fact that the Oxonianness happens is right if the compacting enterovirus does not occur. sent18: that the vulgarization does not occur brings about the jitterbug. sent19: that the compacting enterovirus does not occur results in the fact that that the Oxonian and the non-restrictiveness happens is right. sent20: both the pollination and the puerperalness happens. sent21: the compacting enterovirus does not occur. ; $proof$ = 
sent20 -> int1: the puerperalness occurs.; int1 & sent4 -> int2: the vulgarization happens.; void -> assump1: Let's assume that the compacting sorbet happens.; int2 & assump1 -> int3: the vulgarization occurs and the compacting sorbet happens.; sent19 & sent21 -> int4: the Oxonian and the unrestrictiveness occurs.; int4 -> int5: the restrictiveness does not occur.; sent1 & int5 -> int6: the mount and the uncoiling occurs.; int6 -> int7: the mounting occurs.; __UNKNOWN__