the quantification does not occur.
sent1: if the fact that the submerging but not the inducing lumberman happens is not right then that the prospectiveness does not occur is not incorrect. sent2: the undercutting Rhyacotriton and the unreverberantness occurs if the naturalization does not occur. sent3: that the quantification happens is brought about by that the unreverberantness occurs and the submerging does not occur. sent4: if the submerging does not occur then the fact that the steamering does not occur is right. sent5: that the gunfire does not occur is right. sent6: the flopping does not occur. sent7: the product occurs. sent8: if the responsibility does not occur the prospectiveness does not occur. sent9: the quantification does not occur if that the prospectiveness occurs or the inducing lumberman happens or both is false. sent10: that the prospectiveness does not occur hold. sent11: the undercutting Rhus does not occur. sent12: the submerging does not occur. sent13: if the undercutting accommodation does not occur that the uncreativeness happens and/or the disapproving Calvino occurs is false. sent14: if that the adsorbent or the doweling or both occurs is not correct the interlinearness does not occur. sent15: that the rearrangement occurs is not wrong. sent16: the utility happens. sent17: if the responsibility does not occur that the prospectiveness or the inducing lumberman or both happens is not correct. sent18: the orderly occurs. sent19: that either the spiel occurs or the epiphenomenon happens or both is not right. sent20: if the unreverberantness happens then that the submerging happens but the inducing lumberman does not occur does not hold. sent21: the Niloticness occurs.
void -> assump1: Let's assume that the responsibility happens.; sent4 & sent12 -> int1: the steamering does not occur.;
the population does not occur.
$hypothesis$ = the quantification does not occur. ; $context$ = sent1: if the fact that the submerging but not the inducing lumberman happens is not right then that the prospectiveness does not occur is not incorrect. sent2: the undercutting Rhyacotriton and the unreverberantness occurs if the naturalization does not occur. sent3: that the quantification happens is brought about by that the unreverberantness occurs and the submerging does not occur. sent4: if the submerging does not occur then the fact that the steamering does not occur is right. sent5: that the gunfire does not occur is right. sent6: the flopping does not occur. sent7: the product occurs. sent8: if the responsibility does not occur the prospectiveness does not occur. sent9: the quantification does not occur if that the prospectiveness occurs or the inducing lumberman happens or both is false. sent10: that the prospectiveness does not occur hold. sent11: the undercutting Rhus does not occur. sent12: the submerging does not occur. sent13: if the undercutting accommodation does not occur that the uncreativeness happens and/or the disapproving Calvino occurs is false. sent14: if that the adsorbent or the doweling or both occurs is not correct the interlinearness does not occur. sent15: that the rearrangement occurs is not wrong. sent16: the utility happens. sent17: if the responsibility does not occur that the prospectiveness or the inducing lumberman or both happens is not correct. sent18: the orderly occurs. sent19: that either the spiel occurs or the epiphenomenon happens or both is not right. sent20: if the unreverberantness happens then that the submerging happens but the inducing lumberman does not occur does not hold. sent21: the Niloticness occurs. ; $proof$ = 
void -> assump1: Let's assume that the responsibility happens.; sent4 & sent12 -> int1: the steamering does not occur.; __UNKNOWN__