the informationalness and the shockableness happens.
sent1: the shockableness does not occur if the liner does not occur. sent2: that the acanthoticness and the numeralness occurs prevents that the muralness happens. sent3: the careerism does not occur. sent4: that the protesting streetlight but not the pinochle happens is not true if that the trundling subtrahend occurs is not false. sent5: that the acanthoticness happens and the nondisposableness occurs is correct if the protesting streetlight does not occur. sent6: if the fact that the informationalness and the trundling monetarism occurs does not hold then the trundling thousand does not occur. sent7: if the fact that the protesting streetlight occurs but the pinochle does not occur is not correct then the protesting streetlight does not occur. sent8: if the fact that both the non-Noachianness and the non-numeralness occurs is wrong then that the numeralness occurs is not wrong. sent9: the fact that the liner and the non-controversialness happens is not true if the mural does not occur. sent10: if the trundling thousand does not occur then that the careerism does not occur and the protesting groomsman does not occur is incorrect. sent11: the trundling monetarism does not occur if the fact that not the trundling thousand but the careerism happens is false. sent12: if the fact that the liner happens but the controversialness does not occur is not true then the fact that the liner does not occur hold. sent13: the shockableness and the liner occurs. sent14: the protesting groomsman occurs if the fact that the careerism does not occur and the protesting groomsman does not occur is false. sent15: if the shockableness does not occur that the informationalness happens and the trundling monetarism happens does not hold. sent16: the fact that both the trundling subtrahend and the scandalization occurs is not incorrect.
void -> assump1: Let's assume that the trundling thousand does not occur but the careerism occurs.; assump1 -> int1: the careerism happens.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the trundling thousand but the careerism occurs is false.; int3 & sent11 -> int4: the trundling monetarism does not occur.; sent13 -> int5: the shockableness happens.;
the protesting groomsman occurs.
sent16 -> int6: the trundling subtrahend happens.; sent4 & int6 -> int7: the fact that the protesting streetlight but not the pinochle occurs is false.; sent7 & int7 -> int8: the protesting streetlight does not occur.; sent5 & int8 -> int9: the acanthoticness happens and the nondisposableness happens.; int9 -> int10: the acanthoticness occurs.;
$hypothesis$ = the informationalness and the shockableness happens. ; $context$ = sent1: the shockableness does not occur if the liner does not occur. sent2: that the acanthoticness and the numeralness occurs prevents that the muralness happens. sent3: the careerism does not occur. sent4: that the protesting streetlight but not the pinochle happens is not true if that the trundling subtrahend occurs is not false. sent5: that the acanthoticness happens and the nondisposableness occurs is correct if the protesting streetlight does not occur. sent6: if the fact that the informationalness and the trundling monetarism occurs does not hold then the trundling thousand does not occur. sent7: if the fact that the protesting streetlight occurs but the pinochle does not occur is not correct then the protesting streetlight does not occur. sent8: if the fact that both the non-Noachianness and the non-numeralness occurs is wrong then that the numeralness occurs is not wrong. sent9: the fact that the liner and the non-controversialness happens is not true if the mural does not occur. sent10: if the trundling thousand does not occur then that the careerism does not occur and the protesting groomsman does not occur is incorrect. sent11: the trundling monetarism does not occur if the fact that not the trundling thousand but the careerism happens is false. sent12: if the fact that the liner happens but the controversialness does not occur is not true then the fact that the liner does not occur hold. sent13: the shockableness and the liner occurs. sent14: the protesting groomsman occurs if the fact that the careerism does not occur and the protesting groomsman does not occur is false. sent15: if the shockableness does not occur that the informationalness happens and the trundling monetarism happens does not hold. sent16: the fact that both the trundling subtrahend and the scandalization occurs is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the trundling thousand does not occur but the careerism occurs.; assump1 -> int1: the careerism happens.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the trundling thousand but the careerism occurs is false.; int3 & sent11 -> int4: the trundling monetarism does not occur.; sent13 -> int5: the shockableness happens.; __UNKNOWN__