the morphophonemicness does not occur.
sent1: the gliding and the booking alundum occurs. sent2: that the booking alundum does not occur is not incorrect if the fact that the schism occurs and the morphophonemicness occurs hold. sent3: the schism happens.
void -> assump1: Let's assume that the morphophonemicness occurs.; sent3 & assump1 -> int1: the schism and the morphophonemicness happens.; int1 & sent2 -> int2: the booking alundum does not occur.; sent1 -> int3: the booking alundum happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the morphophonemicness does not occur. ; $context$ = sent1: the gliding and the booking alundum occurs. sent2: that the booking alundum does not occur is not incorrect if the fact that the schism occurs and the morphophonemicness occurs hold. sent3: the schism happens. ; $proof$ = 
void -> assump1: Let's assume that the morphophonemicness occurs.; sent3 & assump1 -> int1: the schism and the morphophonemicness happens.; int1 & sent2 -> int2: the booking alundum does not occur.; sent1 -> int3: the booking alundum happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__