that the fact that there exists something such that that it is either aniseikonic or not a flamethrower or both is incorrect is true is wrong.
sent1: the eggbeater does not redirect scatology if the challis is aniseikonic. sent2: the eggbeater does not redirect scatology if the challis is not a kind of a flamethrower. sent3: if the eggbeater is not aniseikonic then the challis does not redirect scatology. sent4: if something is not hand-held but it is clad then the digest is a Jenner. sent5: everything is non-hand-held but not non-clad. sent6: if the eggbeater does not redirect scatology the digest is both not a pertness and not a Jenner.
void -> assump1: Let's assume that the challis is aniseikonic and/or it is not a kind of a flamethrower.; assump1 & sent1 & sent2 -> int1: the eggbeater does not redirect scatology.; int1 & sent6 -> int2: the digest is not a pertness and is not a Jenner.; int2 -> int3: the digest is not a Jenner.; sent5 -> int4: the pindolol is non-hand-held and clad.; int4 -> int5: there exists something such that it is not hand-held and it is clad.; int5 & sent4 -> int6: the digest is a Jenner.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the challis is aniseikonic or it is not a flamethrower or both is not right.; int8 -> hypothesis;
$hypothesis$ = that the fact that there exists something such that that it is either aniseikonic or not a flamethrower or both is incorrect is true is wrong. ; $context$ = sent1: the eggbeater does not redirect scatology if the challis is aniseikonic. sent2: the eggbeater does not redirect scatology if the challis is not a kind of a flamethrower. sent3: if the eggbeater is not aniseikonic then the challis does not redirect scatology. sent4: if something is not hand-held but it is clad then the digest is a Jenner. sent5: everything is non-hand-held but not non-clad. sent6: if the eggbeater does not redirect scatology the digest is both not a pertness and not a Jenner. ; $proof$ = 
void -> assump1: Let's assume that the challis is aniseikonic and/or it is not a kind of a flamethrower.; assump1 & sent1 & sent2 -> int1: the eggbeater does not redirect scatology.; int1 & sent6 -> int2: the digest is not a pertness and is not a Jenner.; int2 -> int3: the digest is not a Jenner.; sent5 -> int4: the pindolol is non-hand-held and clad.; int4 -> int5: there exists something such that it is not hand-held and it is clad.; int5 & sent4 -> int6: the digest is a Jenner.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the challis is aniseikonic or it is not a flamethrower or both is not right.; int8 -> hypothesis; __DISPROVED__