if the curbing stressed happens the shrinking occurs.
sent1: the infantilism does not occur and the inboardness does not occur. sent2: the impartialness happens. sent3: the appointment occurs if the fact that the scouting does not occur and the lacticness does not occur is not true. sent4: the fact that the inarticulateness occurs hold. sent5: the fact that the Polynesian does not occur and the consideration does not occur is not correct. sent6: that the resolution occurs hold. sent7: the curbing withholder does not occur. sent8: the fact that the rocking does not occur and the serving does not occur does not hold. sent9: the arriving centavo happens if the fact that the topographicalness does not occur and the interposing axon does not occur is not correct. sent10: the prospecting happens if that the attenuation does not occur and the contrivance does not occur does not hold. sent11: the ding-dong happens. sent12: if the curbing stressed does not occur and the impartialness does not occur the shrinking happens. sent13: both the non-unicellularness and the non-directionalness happens. sent14: that both the curbing stressed and the non-impartialness happens is not correct. sent15: the fact that the curbing stressed does not occur but the impartialness occurs does not hold. sent16: the geriatricness does not occur. sent17: the supersonicness happens.
void -> assump2: Let's assume that the curbing stressed does not occur and the impartialness does not occur.; assump2 -> int1: the curbing stressed does not occur.; void -> assump1: Let's assume that the curbing stressed occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the curbing stressed does not occur and the impartialness does not occur does not hold.;
$hypothesis$ = if the curbing stressed happens the shrinking occurs. ; $context$ = sent1: the infantilism does not occur and the inboardness does not occur. sent2: the impartialness happens. sent3: the appointment occurs if the fact that the scouting does not occur and the lacticness does not occur is not true. sent4: the fact that the inarticulateness occurs hold. sent5: the fact that the Polynesian does not occur and the consideration does not occur is not correct. sent6: that the resolution occurs hold. sent7: the curbing withholder does not occur. sent8: the fact that the rocking does not occur and the serving does not occur does not hold. sent9: the arriving centavo happens if the fact that the topographicalness does not occur and the interposing axon does not occur is not correct. sent10: the prospecting happens if that the attenuation does not occur and the contrivance does not occur does not hold. sent11: the ding-dong happens. sent12: if the curbing stressed does not occur and the impartialness does not occur the shrinking happens. sent13: both the non-unicellularness and the non-directionalness happens. sent14: that both the curbing stressed and the non-impartialness happens is not correct. sent15: the fact that the curbing stressed does not occur but the impartialness occurs does not hold. sent16: the geriatricness does not occur. sent17: the supersonicness happens. ; $proof$ = 
void -> assump2: Let's assume that the curbing stressed does not occur and the impartialness does not occur.; assump2 -> int1: the curbing stressed does not occur.; void -> assump1: Let's assume that the curbing stressed occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the curbing stressed does not occur and the impartialness does not occur does not hold.; __UNKNOWN__