if the intertribalness occurs the lowering occurs.
sent1: the lowering occurs if the spirit happens. sent2: the spiriting occurs if the intertribalness happens. sent3: if the spiriting does not occur both the phlebectomy and the intertribalness occurs. sent4: the fact that the acidimetry happens is not false.
void -> assump1: Let's assume that the intertribalness happens.; sent2 & assump1 -> int1: the spiriting happens.; sent1 & int1 -> int2: the lower occurs.; [assump1] & int2 -> hypothesis;
the phlebectomy happens.
$hypothesis$ = if the intertribalness occurs the lowering occurs. ; $context$ = sent1: the lowering occurs if the spirit happens. sent2: the spiriting occurs if the intertribalness happens. sent3: if the spiriting does not occur both the phlebectomy and the intertribalness occurs. sent4: the fact that the acidimetry happens is not false. ; $proof$ = 
void -> assump1: Let's assume that the intertribalness happens.; sent2 & assump1 -> int1: the spiriting happens.; sent1 & int1 -> int2: the lower occurs.; [assump1] & int2 -> hypothesis; __PROVED__