if the myringotomy does not occur but the drain occurs then the articulating happens.
sent1: if both the digitizing divvy and the cheep happens the edging Kislev happens. sent2: the articulatedness occurs if the lobbing whirl happens. sent3: the lobbing whirl does not occur if the lobbing whirl does not occur and/or the independentness does not occur. sent4: if the fact that not the myringotomy but the draining occurs hold the lobbing whirl occurs.
void -> assump1: Let's assume that not the myringotomy but the draining occurs.; sent4 & assump1 -> int1: the lobbing whirl occurs.; sent2 & int1 -> int2: the articulating happens.; [assump1] & int2 -> hypothesis;
that the cheep occurs is true.
$hypothesis$ = if the myringotomy does not occur but the drain occurs then the articulating happens. ; $context$ = sent1: if both the digitizing divvy and the cheep happens the edging Kislev happens. sent2: the articulatedness occurs if the lobbing whirl happens. sent3: the lobbing whirl does not occur if the lobbing whirl does not occur and/or the independentness does not occur. sent4: if the fact that not the myringotomy but the draining occurs hold the lobbing whirl occurs. ; $proof$ = 
void -> assump1: Let's assume that not the myringotomy but the draining occurs.; sent4 & assump1 -> int1: the lobbing whirl occurs.; sent2 & int1 -> int2: the articulating happens.; [assump1] & int2 -> hypothesis; __PROVED__