that the argument does not occur is not wrong.
sent1: that the three-dimensionalness does not occur is true. sent2: either the embrowning edutainment or the non-three-dimensionalness or both results in that the flux does not occur. sent3: the flux occurs if not the eligibleness but the argument occurs. sent4: the eligibleness does not occur. sent5: the embrowning edutainment happens and/or the three-dimensionalness occurs.
void -> assump1: Let's assume that the fact that the argument happens is correct.; sent4 & assump1 -> int1: not the eligibleness but the argument happens.; int1 & sent3 -> int2: the flux occurs.; sent1 -> int3: the embrowning edutainment happens and/or the three-dimensionalness does not occur.; sent2 & int3 -> int4: the flux does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the argument does not occur is not wrong. ; $context$ = sent1: that the three-dimensionalness does not occur is true. sent2: either the embrowning edutainment or the non-three-dimensionalness or both results in that the flux does not occur. sent3: the flux occurs if not the eligibleness but the argument occurs. sent4: the eligibleness does not occur. sent5: the embrowning edutainment happens and/or the three-dimensionalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the argument happens is correct.; sent4 & assump1 -> int1: not the eligibleness but the argument happens.; int1 & sent3 -> int2: the flux occurs.; sent1 -> int3: the embrowning edutainment happens and/or the three-dimensionalness does not occur.; sent2 & int3 -> int4: the flux does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__