the catheterization occurs.
sent1: that the catheterization but not the commination occurs prevents the precedence. sent2: if the cutinizing happens then the catheterization occurs and the commination does not occur. sent3: if either the boring happens or the intuitionistness happens or both the tall does not occur. sent4: the recourse happens. sent5: that the vitrioling Apocynum does not occur triggers that the savoring does not occur and the easter does not occur. sent6: if the recourse or the precedence or both happens the commination does not occur. sent7: the fact that the foothold happens or the postalness occurs or both is right. sent8: the catheterization does not occur and the cutinizing does not occur if the commination does not occur.
sent4 -> int1: the recourse happens and/or the precedence occurs.; sent6 & int1 -> int2: the commination does not occur.; sent8 & int2 -> int3: the catheterization does not occur and the cutinizing does not occur.; int3 -> hypothesis;
the watering happens and/or the middling testimony happens.
$hypothesis$ = the catheterization occurs. ; $context$ = sent1: that the catheterization but not the commination occurs prevents the precedence. sent2: if the cutinizing happens then the catheterization occurs and the commination does not occur. sent3: if either the boring happens or the intuitionistness happens or both the tall does not occur. sent4: the recourse happens. sent5: that the vitrioling Apocynum does not occur triggers that the savoring does not occur and the easter does not occur. sent6: if the recourse or the precedence or both happens the commination does not occur. sent7: the fact that the foothold happens or the postalness occurs or both is right. sent8: the catheterization does not occur and the cutinizing does not occur if the commination does not occur. ; $proof$ = 
sent4 -> int1: the recourse happens and/or the precedence occurs.; sent6 & int1 -> int2: the commination does not occur.; sent8 & int2 -> int3: the catheterization does not occur and the cutinizing does not occur.; int3 -> hypothesis; __DISPROVED__