the fact that if the dissenting happens then that the cholangiography does not occur and the editorship does not occur hold does not hold.
sent1: the glandularness does not occur. sent2: the fact that the cholangiography does not occur is true if the grumbling flux occurs. sent3: the grumbling flux happens. sent4: that the editorship happens and/or the protrusion brings about the dissenting. sent5: the editorship or that the protrusion occurs or both prevents the dissent. sent6: if the protrusion occurs the dissent does not occur.
void -> assump2: Let's assume that the editorship occurs.; assump2 -> int1: the editorship occurs and/or the protrusion occurs.; int1 & sent5 -> int2: the dissenting does not occur.; void -> assump1: Let's assume that the dissenting happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the editorship does not occur is correct.; sent2 & sent3 -> int5: the fact that the cholangiography does not occur is not wrong.; int4 & int5 -> int6: the cholangiography does not occur and the editorship does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that if the dissenting happens then that the cholangiography does not occur and the editorship does not occur hold does not hold. ; $context$ = sent1: the glandularness does not occur. sent2: the fact that the cholangiography does not occur is true if the grumbling flux occurs. sent3: the grumbling flux happens. sent4: that the editorship happens and/or the protrusion brings about the dissenting. sent5: the editorship or that the protrusion occurs or both prevents the dissent. sent6: if the protrusion occurs the dissent does not occur. ; $proof$ = 
void -> assump2: Let's assume that the editorship occurs.; assump2 -> int1: the editorship occurs and/or the protrusion occurs.; int1 & sent5 -> int2: the dissenting does not occur.; void -> assump1: Let's assume that the dissenting happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the editorship does not occur is correct.; sent2 & sent3 -> int5: the fact that the cholangiography does not occur is not wrong.; int4 & int5 -> int6: the cholangiography does not occur and the editorship does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__