the enskying Demotic does not occur.
sent1: both the lying and the diapedesis happens. sent2: that the lying and the enskying Demotic happens is triggered by that the diapedesis does not occur. sent3: if that the lying does not occur and the exalting listed does not occur does not hold the exalting listed occurs. sent4: the diapedesis occurs. sent5: the seductiveness and the monophonicness occurs. sent6: the rosaceousness occurs. sent7: the lying does not occur if the fact that the enskying Demotic happens is correct.
void -> assump1: Let's assume that the enskying Demotic happens.; sent7 & assump1 -> int1: the lying does not occur.; sent1 -> int2: the lying happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that the exalting listed occurs is not incorrect.
$hypothesis$ = the enskying Demotic does not occur. ; $context$ = sent1: both the lying and the diapedesis happens. sent2: that the lying and the enskying Demotic happens is triggered by that the diapedesis does not occur. sent3: if that the lying does not occur and the exalting listed does not occur does not hold the exalting listed occurs. sent4: the diapedesis occurs. sent5: the seductiveness and the monophonicness occurs. sent6: the rosaceousness occurs. sent7: the lying does not occur if the fact that the enskying Demotic happens is correct. ; $proof$ = 
void -> assump1: Let's assume that the enskying Demotic happens.; sent7 & assump1 -> int1: the lying does not occur.; sent1 -> int2: the lying happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__