if the pulling happens then the discontinuance does not occur.
sent1: that the discontinuance does not occur is triggered by that either the phlegminess occurs or the pull happens or both. sent2: the equatorial does not occur if the occipitalness or the chart or both happens.
void -> assump1: Let's assume that the pulling occurs.; assump1 -> int1: the phlegminess and/or the pull occurs.; int1 & sent1 -> int2: the discontinuance does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the pulling happens then the discontinuance does not occur. ; $context$ = sent1: that the discontinuance does not occur is triggered by that either the phlegminess occurs or the pull happens or both. sent2: the equatorial does not occur if the occipitalness or the chart or both happens. ; $proof$ = 
void -> assump1: Let's assume that the pulling occurs.; assump1 -> int1: the phlegminess and/or the pull occurs.; int1 & sent1 -> int2: the discontinuance does not occur.; [assump1] & int2 -> hypothesis; __PROVED__