the puerileness does not occur.
sent1: the guarding happens if the appointment occurs. sent2: the fact that the tailspin occurs and the splaying vise occurs does not hold. sent3: if the puerileness happens then the nonrepresentationalness happens. sent4: the fact that the cathecticness occurs and the subtilizing happens does not hold. sent5: the spraying slapstick leads to the Italian. sent6: if the Coleridgianness does not occur the nonrepresentationalness does not occur but the example happens. sent7: the fact that the oration occurs and the spraying Lithuanian happens is wrong. sent8: that if the spraying Lithuanian occurs then the winglessness occurs hold. sent9: the immunohistochemistry does not occur. sent10: that the consecration does not occur but the communicating hogchoker occurs prevents the Coleridgianness. sent11: the squashing happens. sent12: that the carbonylness does not occur is right. sent13: the overpayment does not occur if that the overpayment occurs and the communicating settlement occurs does not hold. sent14: that the nonrepresentationalness and the example happens is not correct. sent15: the communicating Tanacetum occurs. sent16: that the hopper occurs and the splaying Aphasmidia happens is not right. sent17: the Venetianness does not occur. sent18: if the fact that the flintiness occurs is correct then the mass-producing Yiddish happens. sent19: if the cocooning happens then not the consecration but the communicating hogchoker occurs. sent20: the sleevelessness does not occur. sent21: the puerileness is brought about by that not the nonrepresentationalness but the example happens.
void -> assump1: Let's assume that the puerileness occurs.; sent3 & assump1 -> int1: the nonrepresentationalness happens.;
the puerileness happens.
$hypothesis$ = the puerileness does not occur. ; $context$ = sent1: the guarding happens if the appointment occurs. sent2: the fact that the tailspin occurs and the splaying vise occurs does not hold. sent3: if the puerileness happens then the nonrepresentationalness happens. sent4: the fact that the cathecticness occurs and the subtilizing happens does not hold. sent5: the spraying slapstick leads to the Italian. sent6: if the Coleridgianness does not occur the nonrepresentationalness does not occur but the example happens. sent7: the fact that the oration occurs and the spraying Lithuanian happens is wrong. sent8: that if the spraying Lithuanian occurs then the winglessness occurs hold. sent9: the immunohistochemistry does not occur. sent10: that the consecration does not occur but the communicating hogchoker occurs prevents the Coleridgianness. sent11: the squashing happens. sent12: that the carbonylness does not occur is right. sent13: the overpayment does not occur if that the overpayment occurs and the communicating settlement occurs does not hold. sent14: that the nonrepresentationalness and the example happens is not correct. sent15: the communicating Tanacetum occurs. sent16: that the hopper occurs and the splaying Aphasmidia happens is not right. sent17: the Venetianness does not occur. sent18: if the fact that the flintiness occurs is correct then the mass-producing Yiddish happens. sent19: if the cocooning happens then not the consecration but the communicating hogchoker occurs. sent20: the sleevelessness does not occur. sent21: the puerileness is brought about by that not the nonrepresentationalness but the example happens. ; $proof$ = 
void -> assump1: Let's assume that the puerileness occurs.; sent3 & assump1 -> int1: the nonrepresentationalness happens.; __UNKNOWN__