the fact that the confluence does not occur if the endoscopy happens does not hold.
sent1: the porterage and the insufflating scut occurs if that the protruding does not occur is not wrong. sent2: if the reheating Brickellia does not occur and the tailgating Nabu does not occur the protruding does not occur. sent3: if the overriding occurs the collegiateness does not occur. sent4: the fact that the confluence does not occur hold if the endoscopy but not the collegiateness occurs. sent5: if the fact that the override happens and the collegiateness happens is not right then the tailgating falconry does not occur. sent6: the override occurs. sent7: that both the endoscopy and the non-collegiateness happens prevents that the confluence does not occur. sent8: if not the archaisticness but the confluence occurs the endoscopy does not occur. sent9: not the archaisticness but the confluence happens if the porterage occurs. sent10: that both the overriding and the collegiateness happens is wrong if the endoscopy does not occur. sent11: the confluence occurs. sent12: the confluence happens if the fact that the endoscopy occurs is not incorrect.
void -> assump1: Let's assume that the endoscopy happens.; sent3 & sent6 -> int1: the collegiateness does not occur.; assump1 & int1 -> int2: both the endoscopy and the non-collegiateness happens.; sent4 & int2 -> int3: the confluence does not occur.; [assump1] & int3 -> hypothesis;
that the tailgating falconry does not occur hold.
$hypothesis$ = the fact that the confluence does not occur if the endoscopy happens does not hold. ; $context$ = sent1: the porterage and the insufflating scut occurs if that the protruding does not occur is not wrong. sent2: if the reheating Brickellia does not occur and the tailgating Nabu does not occur the protruding does not occur. sent3: if the overriding occurs the collegiateness does not occur. sent4: the fact that the confluence does not occur hold if the endoscopy but not the collegiateness occurs. sent5: if the fact that the override happens and the collegiateness happens is not right then the tailgating falconry does not occur. sent6: the override occurs. sent7: that both the endoscopy and the non-collegiateness happens prevents that the confluence does not occur. sent8: if not the archaisticness but the confluence occurs the endoscopy does not occur. sent9: not the archaisticness but the confluence happens if the porterage occurs. sent10: that both the overriding and the collegiateness happens is wrong if the endoscopy does not occur. sent11: the confluence occurs. sent12: the confluence happens if the fact that the endoscopy occurs is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the endoscopy happens.; sent3 & sent6 -> int1: the collegiateness does not occur.; assump1 & int1 -> int2: both the endoscopy and the non-collegiateness happens.; sent4 & int2 -> int3: the confluence does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__