the fact that the tippling does not occur is not true.
sent1: if the lettering Alsophila occurs the frolicking does not occur. sent2: the rhyming occurs. sent3: the irreverence occurs. sent4: the ferreting Chekhov occurs and the ferreting soak occurs. sent5: the ferreting soak does not occur if that the meatiness does not occur and the ferreting sprout does not occur is incorrect. sent6: the discoursing happens. sent7: the ferreting soak occurs. sent8: the lettering Alsophila does not occur. sent9: if the frolicking does not occur the carnival does not occur and/or the ferreting Chekhov does not occur. sent10: the transubstantiation occurs. sent11: that that the meatiness does not occur and the ferreting sprout does not occur is not wrong is incorrect if the lettering smokescreen does not occur. sent12: that both the discoursing and the emendation happens prevents the ferreting Chekhov. sent13: that both the tippling and the emendation happens does not hold if the discoursing does not occur. sent14: if the fact that the frolicking occurs is correct then that the ferreting Chekhov does not occur but the carnival occurs is false. sent15: if the emendation does not occur or the discourse does not occur or both the clouding mesentery happens. sent16: if the ferreting soak does not occur then the fact that the tippling happens and the buying happens is not right. sent17: the buying happens and the ferreting soak occurs if the meatiness does not occur. sent18: the lettering Alsophila does not occur if that the carnival does not occur is true. sent19: if the emendation does not occur then the frolicking does not occur and the carnival does not occur. sent20: if the fact that both the tippling and the buying occurs does not hold then the tippling does not occur.
void -> assump1: Let's assume that the emendation occurs.; sent6 & assump1 -> int1: the discourse occurs and the emendation occurs.; int1 & sent12 -> int2: the ferreting Chekhov does not occur.; sent4 -> int3: the ferreting Chekhov happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the emendation does not occur.; int5 & sent19 -> int6: the frolicking does not occur and the carnival does not occur.; int6 -> int7: the carnival does not occur.;
the tippling does not occur.
$hypothesis$ = the fact that the tippling does not occur is not true. ; $context$ = sent1: if the lettering Alsophila occurs the frolicking does not occur. sent2: the rhyming occurs. sent3: the irreverence occurs. sent4: the ferreting Chekhov occurs and the ferreting soak occurs. sent5: the ferreting soak does not occur if that the meatiness does not occur and the ferreting sprout does not occur is incorrect. sent6: the discoursing happens. sent7: the ferreting soak occurs. sent8: the lettering Alsophila does not occur. sent9: if the frolicking does not occur the carnival does not occur and/or the ferreting Chekhov does not occur. sent10: the transubstantiation occurs. sent11: that that the meatiness does not occur and the ferreting sprout does not occur is not wrong is incorrect if the lettering smokescreen does not occur. sent12: that both the discoursing and the emendation happens prevents the ferreting Chekhov. sent13: that both the tippling and the emendation happens does not hold if the discoursing does not occur. sent14: if the fact that the frolicking occurs is correct then that the ferreting Chekhov does not occur but the carnival occurs is false. sent15: if the emendation does not occur or the discourse does not occur or both the clouding mesentery happens. sent16: if the ferreting soak does not occur then the fact that the tippling happens and the buying happens is not right. sent17: the buying happens and the ferreting soak occurs if the meatiness does not occur. sent18: the lettering Alsophila does not occur if that the carnival does not occur is true. sent19: if the emendation does not occur then the frolicking does not occur and the carnival does not occur. sent20: if the fact that both the tippling and the buying occurs does not hold then the tippling does not occur. ; $proof$ = 
void -> assump1: Let's assume that the emendation occurs.; sent6 & assump1 -> int1: the discourse occurs and the emendation occurs.; int1 & sent12 -> int2: the ferreting Chekhov does not occur.; sent4 -> int3: the ferreting Chekhov happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the emendation does not occur.; int5 & sent19 -> int6: the frolicking does not occur and the carnival does not occur.; int6 -> int7: the carnival does not occur.; __UNKNOWN__