the fact that the pleaching abortionist does not occur and/or the gonioscopy does not occur is not correct.
sent1: if that the chasteness occurs and the rendezvousing south does not occur is wrong then the pleaching expectoration happens. sent2: that the pleaching expectoration occurs and/or the pleaching insight prevents the rendering Bennington. sent3: the rendezvousing south occurs. sent4: the fact that the matching and/or the hydrolyzableness happens is wrong if the rendering Bennington does not occur. sent5: the gonioscopy does not occur if the fact that the match and/or the hydrolyzableness occurs is not right.
void -> assump1: Let's assume that the chasteness but not the rendezvousing south happens.; assump1 -> int1: the rendezvousing south does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the chasteness happens but the rendezvousing south does not occur is not right.; sent1 & int3 -> int4: the pleaching expectoration happens.; int4 -> int5: either the pleaching expectoration happens or the pleaching insight occurs or both.; sent2 & int5 -> int6: the rendering Bennington does not occur.; sent4 & int6 -> int7: that the matching and/or the hydrolyzableness occurs is false.; sent5 & int7 -> int8: that the gonioscopy does not occur is right.; int8 -> hypothesis;
$hypothesis$ = the fact that the pleaching abortionist does not occur and/or the gonioscopy does not occur is not correct. ; $context$ = sent1: if that the chasteness occurs and the rendezvousing south does not occur is wrong then the pleaching expectoration happens. sent2: that the pleaching expectoration occurs and/or the pleaching insight prevents the rendering Bennington. sent3: the rendezvousing south occurs. sent4: the fact that the matching and/or the hydrolyzableness happens is wrong if the rendering Bennington does not occur. sent5: the gonioscopy does not occur if the fact that the match and/or the hydrolyzableness occurs is not right. ; $proof$ = 
void -> assump1: Let's assume that the chasteness but not the rendezvousing south happens.; assump1 -> int1: the rendezvousing south does not occur.; sent3 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the chasteness happens but the rendezvousing south does not occur is not right.; sent1 & int3 -> int4: the pleaching expectoration happens.; int4 -> int5: either the pleaching expectoration happens or the pleaching insight occurs or both.; sent2 & int5 -> int6: the rendering Bennington does not occur.; sent4 & int6 -> int7: that the matching and/or the hydrolyzableness occurs is false.; sent5 & int7 -> int8: that the gonioscopy does not occur is right.; int8 -> hypothesis; __DISPROVED__