the fact that the Malaysianness does not occur and the millenarian does not occur does not hold.
sent1: if both the dogmatizing canary and the dogmatizing dismemberment occurs the intussuscepting does not occur. sent2: if the dogmatizing canary does not occur that the Malaysian does not occur and the millenarianness does not occur is not correct. sent3: that the dogmatizing dismemberment happens hold. sent4: the intussuscepting and the quaver occurs.
void -> assump1: Let's assume that the dogmatizing canary happens.; assump1 & sent3 -> int1: both the dogmatizing canary and the dogmatizing dismemberment happens.; int1 & sent1 -> int2: the intussuscepting does not occur.; sent4 -> int3: the intussuscepting happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dogmatizing canary does not occur.; int5 & sent2 -> hypothesis;
$hypothesis$ = the fact that the Malaysianness does not occur and the millenarian does not occur does not hold. ; $context$ = sent1: if both the dogmatizing canary and the dogmatizing dismemberment occurs the intussuscepting does not occur. sent2: if the dogmatizing canary does not occur that the Malaysian does not occur and the millenarianness does not occur is not correct. sent3: that the dogmatizing dismemberment happens hold. sent4: the intussuscepting and the quaver occurs. ; $proof$ = 
void -> assump1: Let's assume that the dogmatizing canary happens.; assump1 & sent3 -> int1: both the dogmatizing canary and the dogmatizing dismemberment happens.; int1 & sent1 -> int2: the intussuscepting does not occur.; sent4 -> int3: the intussuscepting happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dogmatizing canary does not occur.; int5 & sent2 -> hypothesis; __PROVED__