the tearfulness does not occur.
sent1: the non-tearfulness is prevented by that the rustling happens and the restraining stabilization does not occur. sent2: that the rustling does not occur is caused by that the restraining stabilization and the tearfulness happens. sent3: if the fact that the moralization happens and the serousness happens does not hold then the fact that the moralization does not occur is right. sent4: the insolubleness does not occur. sent5: the impoliteness does not occur. sent6: the intention does not occur. sent7: that the cautery does not occur and the moralization does not occur results in that the restraining Cassirer does not occur. sent8: if the impressiveness happens and the cataphaticness happens the handout does not occur. sent9: the politeness does not occur if not the intention but the serousness happens. sent10: the surmising Ricinus happens. sent11: if that the intention does not occur hold the fact that the moralization and the serousness occurs is not true. sent12: that the surmising Ricinus happens and the surmising rutherfordium does not occur prevents the non-Norwegianness. sent13: the evading does not occur if that the tearfulness does not occur and the restraining stabilization does not occur is not correct. sent14: that the Norwegianness happens results in that not the intention but the serousness occurs. sent15: the stepping does not occur and the chelicerousness does not occur. sent16: the cautery does not occur and the politeness does not occur. sent17: the restraining Cassirer happens if the fact that the rustling does not occur is right. sent18: that the restraining stabilization occurs is brought about by that the stepping does not occur and the chelicerousness does not occur.
sent18 & sent15 -> int1: the restraining stabilization occurs.; void -> assump1: Let's assume that the tearfulness occurs.; int1 & assump1 -> int2: the restraining stabilization and the tearfulness occurs.; int2 & sent2 -> int3: the rustling does not occur.; int3 & sent17 -> int4: the restraining Cassirer occurs.; sent16 -> int5: the cautery does not occur.; sent11 & sent6 -> int6: that the moralization and the serousness occurs is false.; sent3 & int6 -> int7: the moralization does not occur.; int5 & int7 -> int8: the cautery does not occur and the moralization does not occur.; sent7 & int8 -> int9: the restraining Cassirer does not occur.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the tearfulness occurs.
$hypothesis$ = the tearfulness does not occur. ; $context$ = sent1: the non-tearfulness is prevented by that the rustling happens and the restraining stabilization does not occur. sent2: that the rustling does not occur is caused by that the restraining stabilization and the tearfulness happens. sent3: if the fact that the moralization happens and the serousness happens does not hold then the fact that the moralization does not occur is right. sent4: the insolubleness does not occur. sent5: the impoliteness does not occur. sent6: the intention does not occur. sent7: that the cautery does not occur and the moralization does not occur results in that the restraining Cassirer does not occur. sent8: if the impressiveness happens and the cataphaticness happens the handout does not occur. sent9: the politeness does not occur if not the intention but the serousness happens. sent10: the surmising Ricinus happens. sent11: if that the intention does not occur hold the fact that the moralization and the serousness occurs is not true. sent12: that the surmising Ricinus happens and the surmising rutherfordium does not occur prevents the non-Norwegianness. sent13: the evading does not occur if that the tearfulness does not occur and the restraining stabilization does not occur is not correct. sent14: that the Norwegianness happens results in that not the intention but the serousness occurs. sent15: the stepping does not occur and the chelicerousness does not occur. sent16: the cautery does not occur and the politeness does not occur. sent17: the restraining Cassirer happens if the fact that the rustling does not occur is right. sent18: that the restraining stabilization occurs is brought about by that the stepping does not occur and the chelicerousness does not occur. ; $proof$ = 
sent18 & sent15 -> int1: the restraining stabilization occurs.; void -> assump1: Let's assume that the tearfulness occurs.; int1 & assump1 -> int2: the restraining stabilization and the tearfulness occurs.; int2 & sent2 -> int3: the rustling does not occur.; int3 & sent17 -> int4: the restraining Cassirer occurs.; sent16 -> int5: the cautery does not occur.; sent11 & sent6 -> int6: that the moralization and the serousness occurs is false.; sent3 & int6 -> int7: the moralization does not occur.; int5 & int7 -> int8: the cautery does not occur and the moralization does not occur.; sent7 & int8 -> int9: the restraining Cassirer does not occur.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__