the descrying mezereum triggers that the membranousness happens and the endoscopy does not occur.
sent1: that the antiseptic does not occur and the descrying xylem does not occur is false. sent2: if that the antisepticness does not occur and the descrying xylem does not occur does not hold then the endoscopy does not occur. sent3: the membranousness is caused by that the descrying mezereum occurs.
void -> assump1: Let's assume that the descrying mezereum occurs.; sent3 & assump1 -> int1: the membranousness occurs.; sent2 & sent1 -> int2: the endoscopy does not occur.; int1 & int2 -> int3: the membranousness but not the endoscopy happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the descrying mezereum triggers that the membranousness happens and the endoscopy does not occur. ; $context$ = sent1: that the antiseptic does not occur and the descrying xylem does not occur is false. sent2: if that the antisepticness does not occur and the descrying xylem does not occur does not hold then the endoscopy does not occur. sent3: the membranousness is caused by that the descrying mezereum occurs. ; $proof$ = 
void -> assump1: Let's assume that the descrying mezereum occurs.; sent3 & assump1 -> int1: the membranousness occurs.; sent2 & sent1 -> int2: the endoscopy does not occur.; int1 & int2 -> int3: the membranousness but not the endoscopy happens.; [assump1] & int3 -> hypothesis; __PROVED__