the rum does not occur.
sent1: if the autotypicness happens then the fudging creativity does not occur and the blastomycoticness occurs. sent2: that the interceding happens causes that the acanthoticness occurs. sent3: if the acanthoticness happens then the weeding Pynchon happens. sent4: the beating ex-boyfriend happens and the farming happens. sent5: the interceding does not occur if that the interceding and the rabidness occurs does not hold. sent6: the hydropathicness occurs. sent7: if the fact that the weeding Pynchon happens is not incorrect then the rum happens. sent8: both the due and the hydropathicness occurs. sent9: that not the fudging creativity but the blastomycoticness happens triggers that the weeding Pynchon does not occur. sent10: the shoot-down occurs if the spotting quavering happens. sent11: the fact that both the dueness and the rum happens is not correct if the hydropathicness does not occur. sent12: that the interceding does not occur is not true if the fact that the dueness happens hold. sent13: the depravity is caused by the absolution. sent14: if the remuneration occurs then the autotypicness happens. sent15: if the hydropathicness does not occur the dueness and the necrosing happens. sent16: the beating knock-kneed occurs. sent17: the remuneration occurs if that not the remuneration but the partaking happens is not correct. sent18: if that the due occurs and the rum occurs is not right the rum does not occur.
sent8 -> int1: the due occurs.; sent12 & int1 -> int2: the interceding happens.; sent2 & int2 -> int3: that the acanthoticness occurs is not false.; sent3 & int3 -> int4: the weeding Pynchon happens.; sent7 & int4 -> hypothesis;
the necrosing occurs.
$hypothesis$ = the rum does not occur. ; $context$ = sent1: if the autotypicness happens then the fudging creativity does not occur and the blastomycoticness occurs. sent2: that the interceding happens causes that the acanthoticness occurs. sent3: if the acanthoticness happens then the weeding Pynchon happens. sent4: the beating ex-boyfriend happens and the farming happens. sent5: the interceding does not occur if that the interceding and the rabidness occurs does not hold. sent6: the hydropathicness occurs. sent7: if the fact that the weeding Pynchon happens is not incorrect then the rum happens. sent8: both the due and the hydropathicness occurs. sent9: that not the fudging creativity but the blastomycoticness happens triggers that the weeding Pynchon does not occur. sent10: the shoot-down occurs if the spotting quavering happens. sent11: the fact that both the dueness and the rum happens is not correct if the hydropathicness does not occur. sent12: that the interceding does not occur is not true if the fact that the dueness happens hold. sent13: the depravity is caused by the absolution. sent14: if the remuneration occurs then the autotypicness happens. sent15: if the hydropathicness does not occur the dueness and the necrosing happens. sent16: the beating knock-kneed occurs. sent17: the remuneration occurs if that not the remuneration but the partaking happens is not correct. sent18: if that the due occurs and the rum occurs is not right the rum does not occur. ; $proof$ = 
sent8 -> int1: the due occurs.; sent12 & int1 -> int2: the interceding happens.; sent2 & int2 -> int3: that the acanthoticness occurs is not false.; sent3 & int3 -> int4: the weeding Pynchon happens.; sent7 & int4 -> hypothesis; __DISPROVED__