the broadsiding happens.
sent1: if the doctoring gram occurs the fact that the fact that the varying but not the hypothecating synthetism occurs is correct does not hold. sent2: if the fact that the punctilio does not occur is not wrong then the foreshowing grampus occurs and/or the mensalness occurs. sent3: that the pasteurization happens is triggered by that the meioticness occurs. sent4: that the doctoring gram occurs is prevented by that the passing and the classwork happens. sent5: if the meioticness does not occur then the sinkableness does not occur and the tort does not occur. sent6: both the hypothecating gagman and the classwork happens. sent7: the fact that the meioticness does not occur is not wrong. sent8: the hypothecating synthetism does not occur if the hypothecating snuffer does not occur. sent9: that that the doctoring gram does not occur and the passing does not occur is not right if the broadsiding does not occur hold. sent10: if the doctoring gram does not occur and the hypothecating synthetism does not occur the broadside happens. sent11: the hypothecating snuffer does not occur if the varying but not the hypothecating synthetism occurs. sent12: the punctilio does not occur. sent13: if the fact that the foreshowing grampus does not occur is correct then the classwork occurs and/or the mensalness occurs. sent14: if that the punctilio does not occur but the foreshowing grampus occurs is not correct then the foreshowing grampus does not occur. sent15: the hypothecating synthetism does not occur if the varying does not occur. sent16: that both the ordeal and the meioticness occurs is not true if the hypothecating snuffer does not occur. sent17: the passing happens if that the mensalness occurs is not incorrect. sent18: that the varying does not occur and/or that the hypothecating snuffer does not occur is brought about by that the ordeal does not occur. sent19: if the sinkableness does not occur and the tort does not occur the ordeal does not occur. sent20: if the foreshowing grampus happens then the pass happens. sent21: that the duty happens yields that the jerk happens.
sent5 & sent7 -> int1: the sinkableness does not occur and the tort does not occur.; int1 & sent19 -> int2: the ordeal does not occur.; int2 & sent18 -> int3: the varying does not occur and/or the hypothecating snuffer does not occur.; int3 & sent15 & sent8 -> int4: the hypothecating synthetism does not occur.; sent2 & sent12 -> int5: the foreshowing grampus happens or the mensalness occurs or both.; int5 & sent20 & sent17 -> int6: the passing happens.; sent6 -> int7: the classwork happens.; int6 & int7 -> int8: the passing occurs and the classwork occurs.; sent4 & int8 -> int9: the doctoring gram does not occur.; int4 & int9 -> int10: the doctoring gram does not occur and the hypothecating synthetism does not occur.; int10 & sent10 -> hypothesis;
the fact that the broadside does not occur is not wrong.
$hypothesis$ = the broadsiding happens. ; $context$ = sent1: if the doctoring gram occurs the fact that the fact that the varying but not the hypothecating synthetism occurs is correct does not hold. sent2: if the fact that the punctilio does not occur is not wrong then the foreshowing grampus occurs and/or the mensalness occurs. sent3: that the pasteurization happens is triggered by that the meioticness occurs. sent4: that the doctoring gram occurs is prevented by that the passing and the classwork happens. sent5: if the meioticness does not occur then the sinkableness does not occur and the tort does not occur. sent6: both the hypothecating gagman and the classwork happens. sent7: the fact that the meioticness does not occur is not wrong. sent8: the hypothecating synthetism does not occur if the hypothecating snuffer does not occur. sent9: that that the doctoring gram does not occur and the passing does not occur is not right if the broadsiding does not occur hold. sent10: if the doctoring gram does not occur and the hypothecating synthetism does not occur the broadside happens. sent11: the hypothecating snuffer does not occur if the varying but not the hypothecating synthetism occurs. sent12: the punctilio does not occur. sent13: if the fact that the foreshowing grampus does not occur is correct then the classwork occurs and/or the mensalness occurs. sent14: if that the punctilio does not occur but the foreshowing grampus occurs is not correct then the foreshowing grampus does not occur. sent15: the hypothecating synthetism does not occur if the varying does not occur. sent16: that both the ordeal and the meioticness occurs is not true if the hypothecating snuffer does not occur. sent17: the passing happens if that the mensalness occurs is not incorrect. sent18: that the varying does not occur and/or that the hypothecating snuffer does not occur is brought about by that the ordeal does not occur. sent19: if the sinkableness does not occur and the tort does not occur the ordeal does not occur. sent20: if the foreshowing grampus happens then the pass happens. sent21: that the duty happens yields that the jerk happens. ; $proof$ = 
sent5 & sent7 -> int1: the sinkableness does not occur and the tort does not occur.; int1 & sent19 -> int2: the ordeal does not occur.; int2 & sent18 -> int3: the varying does not occur and/or the hypothecating snuffer does not occur.; int3 & sent15 & sent8 -> int4: the hypothecating synthetism does not occur.; sent2 & sent12 -> int5: the foreshowing grampus happens or the mensalness occurs or both.; int5 & sent20 & sent17 -> int6: the passing happens.; sent6 -> int7: the classwork happens.; int6 & int7 -> int8: the passing occurs and the classwork occurs.; sent4 & int8 -> int9: the doctoring gram does not occur.; int4 & int9 -> int10: the doctoring gram does not occur and the hypothecating synthetism does not occur.; int10 & sent10 -> hypothesis; __PROVED__