that the smocking tarsal occurs is true.
sent1: if that the censoring does not occur but the penalty happens is not true the penalty does not occur. sent2: the fact that the diathermy happens but the penalty does not occur does not hold. sent3: the fact that the lamentation and the definiteness occurs does not hold. sent4: the penalty occurs if that the diathermy but not the penalty occurs is wrong. sent5: the brutalization occurs but the cohesion does not occur. sent6: the dilapidating newsflash occurs. sent7: the non-autumnalness is prevented by that the church and the Miss occurs. sent8: the fact that the dilapidating weigher happens is right. sent9: that the penalty does not occur and the censor occurs is not right if the diathermy does not occur. sent10: the non-judicialness results in that the overhaul does not occur and the autumnalness does not occur. sent11: if the overhauling does not occur the fact that the diapedesis does not occur and the Oldness does not occur is incorrect. sent12: that the Jurassicness occurs but the cartwheeling does not occur does not hold. sent13: the fact that the Skinnerian occurs and the pinching happens is incorrect. sent14: that the smocking epidiascope does not occur but the pursuing occurs causes the Turkishness. sent15: that the dilapidating NM does not occur and the judicialness does not occur causes that the autumnalness does not occur. sent16: if the fact that the churching happens but the Miss does not occur is false then that the smocking tarsal occurs hold. sent17: the ciliateness happens. sent18: that the spilling lira does not occur and the hypotensiveness occurs is incorrect. sent19: that the fact that the spilling lira does not occur and the hypotensive does not occur is false is correct if that the dilapidating NM happens is not false. sent20: if the smocking tapeworm happens then that the achenialness does not occur is correct. sent21: the judicialness occurs if that the autumnalness occurs is not false. sent22: that the dilapidating NM does not occur is prevented by that the overhaul does not occur but the judicialness occurs. sent23: the fault happens. sent24: the dilapidating NM but not the judicialness happens if the hypotensive occurs. sent25: not the overhauling but the judicialness happens if the autumnalness happens. sent26: that the spilling lira does not occur and the hypotensiveness does not occur is brought about by that the penalty happens. sent27: if the fact that the hypotensiveness occurs hold then the dilapidating NM does not occur and the judicialness does not occur.
void -> assump1: Let's assume that the churching but not the Miss occurs.; sent4 & sent2 -> int1: the penalty occurs.; sent26 & int1 -> int2: the spilling lira does not occur and the hypotensive does not occur.;
the smocking tarsal does not occur.
$hypothesis$ = that the smocking tarsal occurs is true. ; $context$ = sent1: if that the censoring does not occur but the penalty happens is not true the penalty does not occur. sent2: the fact that the diathermy happens but the penalty does not occur does not hold. sent3: the fact that the lamentation and the definiteness occurs does not hold. sent4: the penalty occurs if that the diathermy but not the penalty occurs is wrong. sent5: the brutalization occurs but the cohesion does not occur. sent6: the dilapidating newsflash occurs. sent7: the non-autumnalness is prevented by that the church and the Miss occurs. sent8: the fact that the dilapidating weigher happens is right. sent9: that the penalty does not occur and the censor occurs is not right if the diathermy does not occur. sent10: the non-judicialness results in that the overhaul does not occur and the autumnalness does not occur. sent11: if the overhauling does not occur the fact that the diapedesis does not occur and the Oldness does not occur is incorrect. sent12: that the Jurassicness occurs but the cartwheeling does not occur does not hold. sent13: the fact that the Skinnerian occurs and the pinching happens is incorrect. sent14: that the smocking epidiascope does not occur but the pursuing occurs causes the Turkishness. sent15: that the dilapidating NM does not occur and the judicialness does not occur causes that the autumnalness does not occur. sent16: if the fact that the churching happens but the Miss does not occur is false then that the smocking tarsal occurs hold. sent17: the ciliateness happens. sent18: that the spilling lira does not occur and the hypotensiveness occurs is incorrect. sent19: that the fact that the spilling lira does not occur and the hypotensive does not occur is false is correct if that the dilapidating NM happens is not false. sent20: if the smocking tapeworm happens then that the achenialness does not occur is correct. sent21: the judicialness occurs if that the autumnalness occurs is not false. sent22: that the dilapidating NM does not occur is prevented by that the overhaul does not occur but the judicialness occurs. sent23: the fault happens. sent24: the dilapidating NM but not the judicialness happens if the hypotensive occurs. sent25: not the overhauling but the judicialness happens if the autumnalness happens. sent26: that the spilling lira does not occur and the hypotensiveness does not occur is brought about by that the penalty happens. sent27: if the fact that the hypotensiveness occurs hold then the dilapidating NM does not occur and the judicialness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the churching but not the Miss occurs.; sent4 & sent2 -> int1: the penalty occurs.; sent26 & int1 -> int2: the spilling lira does not occur and the hypotensive does not occur.; __UNKNOWN__