if the Yeatsianness happens the misbehavior does not occur.
sent1: the arbitrativeness happens. sent2: the veneering does not occur. sent3: the noncombinativeness does not occur. sent4: if the fact that the government does not occur but the trolling aculeus happens is not right the trolling aculeus does not occur. sent5: both the cartwheeling and the misbehavior occurs if the trolling aculeus does not occur. sent6: the celiacness occurs. sent7: that the misbehavior happens is not wrong if the Yeatsianness occurs. sent8: the loyalness does not occur if the Jordanianness occurs. sent9: that the misbehavior does not occur is brought about by that the Yeatsianness occurs or the cartwheel occurs or both. sent10: that the mercilessness happens is prevented by that the accordantness occurs and/or the citrousness. sent11: the noticeableness happens. sent12: the fact that not the government but the trolling aculeus occurs does not hold if the dolichocephalicness happens. sent13: the linguisticness does not occur if the protuberating chivalry happens. sent14: the gothicness occurs or the spread occurs or both. sent15: the veneering does not occur if the banking or the dishonorableness or both happens. sent16: the cartwheeling happens. sent17: if the immatureness occurs or the accelerating Kotoko occurs or both then the cat does not occur.
void -> assump1: Let's assume that the Yeatsianness occurs.; assump1 -> int1: either the Yeatsianness happens or the cartwheel happens or both.; int1 & sent9 -> int2: the misbehavior does not occur.; [assump1] & int2 -> hypothesis;
either the going or the urceolateness or both occurs.
$hypothesis$ = if the Yeatsianness happens the misbehavior does not occur. ; $context$ = sent1: the arbitrativeness happens. sent2: the veneering does not occur. sent3: the noncombinativeness does not occur. sent4: if the fact that the government does not occur but the trolling aculeus happens is not right the trolling aculeus does not occur. sent5: both the cartwheeling and the misbehavior occurs if the trolling aculeus does not occur. sent6: the celiacness occurs. sent7: that the misbehavior happens is not wrong if the Yeatsianness occurs. sent8: the loyalness does not occur if the Jordanianness occurs. sent9: that the misbehavior does not occur is brought about by that the Yeatsianness occurs or the cartwheel occurs or both. sent10: that the mercilessness happens is prevented by that the accordantness occurs and/or the citrousness. sent11: the noticeableness happens. sent12: the fact that not the government but the trolling aculeus occurs does not hold if the dolichocephalicness happens. sent13: the linguisticness does not occur if the protuberating chivalry happens. sent14: the gothicness occurs or the spread occurs or both. sent15: the veneering does not occur if the banking or the dishonorableness or both happens. sent16: the cartwheeling happens. sent17: if the immatureness occurs or the accelerating Kotoko occurs or both then the cat does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Yeatsianness occurs.; assump1 -> int1: either the Yeatsianness happens or the cartwheel happens or both.; int1 & sent9 -> int2: the misbehavior does not occur.; [assump1] & int2 -> hypothesis; __PROVED__