that that the makeready does not occur is correct if the reincarnation does not occur does not hold.
sent1: if the reincarnation does not occur the makeready happens. sent2: the fact that not the reincarnation but the makeready happens is not correct. sent3: if the reincarnation occurs the makeready does not occur. sent4: if the reincarnation happens then the fact that that not the neglecting Marseillaise but the dominance occurs is not incorrect is not true. sent5: that both the reincarnation and the makeready happens is not right. sent6: the makeready occurs and the reincarnation occurs if the RF does not occur.
void -> assump2: Let's assume that the reincarnation does not occur.; void -> assump1: Let's assume that the makeready happens.; assump2 & assump1 -> int1: not the reincarnation but the makeready occurs.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the makeready does not occur.; [assump2] & int3 -> hypothesis;
that the neglecting Marseillaise does not occur and the dominance occurs is wrong.
$hypothesis$ = that that the makeready does not occur is correct if the reincarnation does not occur does not hold. ; $context$ = sent1: if the reincarnation does not occur the makeready happens. sent2: the fact that not the reincarnation but the makeready happens is not correct. sent3: if the reincarnation occurs the makeready does not occur. sent4: if the reincarnation happens then the fact that that not the neglecting Marseillaise but the dominance occurs is not incorrect is not true. sent5: that both the reincarnation and the makeready happens is not right. sent6: the makeready occurs and the reincarnation occurs if the RF does not occur. ; $proof$ = 
void -> assump2: Let's assume that the reincarnation does not occur.; void -> assump1: Let's assume that the makeready happens.; assump2 & assump1 -> int1: not the reincarnation but the makeready occurs.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the makeready does not occur.; [assump2] & int3 -> hypothesis; __DISPROVED__