the educing happens.
sent1: the Sotho occurs and the waking automatic occurs. sent2: both the resulting god and the Seljukness occurs. sent3: if the educing happens then the resulting god does not occur. sent4: the quartzoseness occurs and the macrobioticness happens.
void -> assump1: Let's assume that the educing occurs.; sent3 & assump1 -> int1: the fact that the resulting god does not occur is not false.; sent2 -> int2: the resulting god occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the educing happens. ; $context$ = sent1: the Sotho occurs and the waking automatic occurs. sent2: both the resulting god and the Seljukness occurs. sent3: if the educing happens then the resulting god does not occur. sent4: the quartzoseness occurs and the macrobioticness happens. ; $proof$ = 
void -> assump1: Let's assume that the educing occurs.; sent3 & assump1 -> int1: the fact that the resulting god does not occur is not false.; sent2 -> int2: the resulting god occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__