that the enjoyment does not occur and the tonic does not occur is false.
sent1: the makeup does not occur if the enjoyment does not occur and the tonicness does not occur. sent2: the blemishing psittacosaur happens and the makeup occurs. sent3: that the abjuring disunity does not occur and the endearment does not occur brings about that the magnetism does not occur. sent4: that the enjoyment does not occur and the tonicness happens is not correct. sent5: the blemishing psittacosaur occurs. sent6: the fact that the enjoyment and the non-tonicness occurs does not hold.
void -> assump1: Let's assume that the enjoyment does not occur and the tonic does not occur.; sent1 & assump1 -> int1: the makeup does not occur.; sent2 -> int2: the makeup occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the enjoyment does not occur and the tonic does not occur is false. ; $context$ = sent1: the makeup does not occur if the enjoyment does not occur and the tonicness does not occur. sent2: the blemishing psittacosaur happens and the makeup occurs. sent3: that the abjuring disunity does not occur and the endearment does not occur brings about that the magnetism does not occur. sent4: that the enjoyment does not occur and the tonicness happens is not correct. sent5: the blemishing psittacosaur occurs. sent6: the fact that the enjoyment and the non-tonicness occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that the enjoyment does not occur and the tonic does not occur.; sent1 & assump1 -> int1: the makeup does not occur.; sent2 -> int2: the makeup occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__