that not the wiring but the whirlpool happens is incorrect if the laparotomy occurs.
sent1: if the herbivorousness does not occur then the eulogizing Tachypleus does not occur and the tossup does not occur. sent2: the fact that the basiscopicness does not occur but the altostratus happens is not correct if the abusing happens. sent3: the rendering exercise does not occur. sent4: that the winding happens is prevented by that the Bantu and/or the arriving happens. sent5: if the sonnet happens that the affirmation does not occur and the ostracism happens is not true. sent6: the fact that both the evasion and the remaindering rhinophyma happens does not hold if the sustainableness happens. sent7: the shampooing happens. sent8: the fact that the acidimetry happens and the astomatousness happens is false if the microelectronicness occurs. sent9: the fact that the approval does not occur but the ticking occurs is not true. sent10: if the eulogizing Tachypleus does not occur and the tossup does not occur then that the clamatorialness does not occur is not false. sent11: the remaindering Phalaenoptilus does not occur and the pruning does not occur. sent12: the herbivorousness does not occur if the rendering Descurainia and/or the laparotomy happens. sent13: the remaindering BJS does not occur.
void -> assump1: Let's assume that the laparotomy happens.; assump1 -> int1: the rendering Descurainia happens and/or the laparotomy occurs.; sent12 & int1 -> int2: the herbivorousness does not occur.; sent1 & int2 -> int3: the eulogizing Tachypleus does not occur and the tossup does not occur.; sent10 & int3 -> int4: the clamatorialness does not occur.;
$hypothesis$ = that not the wiring but the whirlpool happens is incorrect if the laparotomy occurs. ; $context$ = sent1: if the herbivorousness does not occur then the eulogizing Tachypleus does not occur and the tossup does not occur. sent2: the fact that the basiscopicness does not occur but the altostratus happens is not correct if the abusing happens. sent3: the rendering exercise does not occur. sent4: that the winding happens is prevented by that the Bantu and/or the arriving happens. sent5: if the sonnet happens that the affirmation does not occur and the ostracism happens is not true. sent6: the fact that both the evasion and the remaindering rhinophyma happens does not hold if the sustainableness happens. sent7: the shampooing happens. sent8: the fact that the acidimetry happens and the astomatousness happens is false if the microelectronicness occurs. sent9: the fact that the approval does not occur but the ticking occurs is not true. sent10: if the eulogizing Tachypleus does not occur and the tossup does not occur then that the clamatorialness does not occur is not false. sent11: the remaindering Phalaenoptilus does not occur and the pruning does not occur. sent12: the herbivorousness does not occur if the rendering Descurainia and/or the laparotomy happens. sent13: the remaindering BJS does not occur. ; $proof$ = 
void -> assump1: Let's assume that the laparotomy happens.; assump1 -> int1: the rendering Descurainia happens and/or the laparotomy occurs.; sent12 & int1 -> int2: the herbivorousness does not occur.; sent1 & int2 -> int3: the eulogizing Tachypleus does not occur and the tossup does not occur.; sent10 & int3 -> int4: the clamatorialness does not occur.; __UNKNOWN__