if the resuming does not occur the transforming does not occur.
sent1: the bigamy or the non-socialness or both triggers that the socialness does not occur. sent2: if that the non-prosodicness or the knocking inpatient or both occurs is wrong that the talcing guideline occurs is not false. sent3: if the resuming does not occur then the transforming occurs. sent4: the flickering irreproducibility happens. sent5: the anticlimacticness occurs. sent6: that the lastingness happens results in the sink. sent7: the reconstructing does not occur. sent8: that the prosodicness does not occur causes that the bigamy happens and the resuming happens. sent9: the resuming results in that the transforming does not occur. sent10: the starchlessness does not occur if that the transforming happens is not wrong. sent11: that the flickering namby-pamby does not occur triggers that the talcing Fulton does not occur. sent12: that the talcing Fulton happens and the transforming happens is caused by the unsocialness. sent13: if the poplitealness happens the fact that the fact that either the seasonalness does not occur or the decathlon happens or both is not correct hold. sent14: that the nonsectarianness happens is not incorrect. sent15: the starchlessness does not occur. sent16: the agriculture happens. sent17: the socialness occurs if the fact that the fact that either the parametricness does not occur or the starchlessness happens or both is incorrect hold. sent18: that the anticlimacticness does not occur or the resurfacing occurs or both does not hold. sent19: that the talcing guideline does not occur leads to that the shipping does not occur. sent20: the geysering Provencal occurs. sent21: the fact that either the non-parametricness or the starchlessness or both occurs does not hold if the fact that the transforming occurs hold. sent22: the renting occurs.
void -> assump2: Let's assume that the transforming happens.; sent21 & assump2 -> int1: the fact that that either the non-parametricness or the starchlessness or both happens is not true is not false.; sent17 & int1 -> int2: the socialness happens.;
the talcing Fulton occurs.
$hypothesis$ = if the resuming does not occur the transforming does not occur. ; $context$ = sent1: the bigamy or the non-socialness or both triggers that the socialness does not occur. sent2: if that the non-prosodicness or the knocking inpatient or both occurs is wrong that the talcing guideline occurs is not false. sent3: if the resuming does not occur then the transforming occurs. sent4: the flickering irreproducibility happens. sent5: the anticlimacticness occurs. sent6: that the lastingness happens results in the sink. sent7: the reconstructing does not occur. sent8: that the prosodicness does not occur causes that the bigamy happens and the resuming happens. sent9: the resuming results in that the transforming does not occur. sent10: the starchlessness does not occur if that the transforming happens is not wrong. sent11: that the flickering namby-pamby does not occur triggers that the talcing Fulton does not occur. sent12: that the talcing Fulton happens and the transforming happens is caused by the unsocialness. sent13: if the poplitealness happens the fact that the fact that either the seasonalness does not occur or the decathlon happens or both is not correct hold. sent14: that the nonsectarianness happens is not incorrect. sent15: the starchlessness does not occur. sent16: the agriculture happens. sent17: the socialness occurs if the fact that the fact that either the parametricness does not occur or the starchlessness happens or both is incorrect hold. sent18: that the anticlimacticness does not occur or the resurfacing occurs or both does not hold. sent19: that the talcing guideline does not occur leads to that the shipping does not occur. sent20: the geysering Provencal occurs. sent21: the fact that either the non-parametricness or the starchlessness or both occurs does not hold if the fact that the transforming occurs hold. sent22: the renting occurs. ; $proof$ = 
void -> assump2: Let's assume that the transforming happens.; sent21 & assump2 -> int1: the fact that that either the non-parametricness or the starchlessness or both happens is not true is not false.; sent17 & int1 -> int2: the socialness happens.; __UNKNOWN__