that the ashing descant happens if the contemplating Danube occurs is not right.
sent1: if the septalness does not occur then the pushing Khalsa occurs. sent2: the fact that the septalness does not occur is not false if the contemplating Danube occurs or the overbalancing occurs or both. sent3: if the pushing Khalsa occurs then the blink occurs. sent4: the rapping occurs. sent5: if the blinking happens then the fact that the ashing descant happens hold.
void -> assump1: Let's assume that the contemplating Danube occurs.; assump1 -> int1: the contemplating Danube occurs and/or the overbalancing occurs.; sent2 & int1 -> int2: the septalness does not occur.; sent1 & int2 -> int3: the pushing Khalsa occurs.; sent3 & int3 -> int4: the blinking occurs.; sent5 & int4 -> int5: the ashing descant occurs.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the ashing descant happens if the contemplating Danube occurs is not right. ; $context$ = sent1: if the septalness does not occur then the pushing Khalsa occurs. sent2: the fact that the septalness does not occur is not false if the contemplating Danube occurs or the overbalancing occurs or both. sent3: if the pushing Khalsa occurs then the blink occurs. sent4: the rapping occurs. sent5: if the blinking happens then the fact that the ashing descant happens hold. ; $proof$ = 
void -> assump1: Let's assume that the contemplating Danube occurs.; assump1 -> int1: the contemplating Danube occurs and/or the overbalancing occurs.; sent2 & int1 -> int2: the septalness does not occur.; sent1 & int2 -> int3: the pushing Khalsa occurs.; sent3 & int3 -> int4: the blinking occurs.; sent5 & int4 -> int5: the ashing descant occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__