if the viverrine is a Ahura then the deceiver is not a quart.
sent1: something is not a Norman if it is not a Demotic and it is a Ahura. sent2: that something is both a quart and not aeromechanics is not right if the fact that that the fact that it pushes stillness is wrong is not true is not incorrect. sent3: there exists nothing that is granuliferous or allometric or both. sent4: that if that something is a quart but not aeromechanics does not hold it is not a Norman is correct. sent5: the deceiver is not a quart and is not Norman if the viverrine is not a Norman.
sent3 -> int1: the fact that the monkey-wrench either is granuliferous or is allometric or both is not right.; void -> assump1: Let's assume that the viverrine is a kind of a Ahura.; sent1 -> int2: the viverrine is not Norman if it is not Demotic and is a Ahura.;
the wallow is a Ahura.
sent4 -> int3: the wallow is not a Norman if that it is a quart and it is not aeromechanics is not right.; sent2 -> int4: if the wallow pushes stillness that it is both a quart and not aeromechanics does not hold.;
$hypothesis$ = if the viverrine is a Ahura then the deceiver is not a quart. ; $context$ = sent1: something is not a Norman if it is not a Demotic and it is a Ahura. sent2: that something is both a quart and not aeromechanics is not right if the fact that that the fact that it pushes stillness is wrong is not true is not incorrect. sent3: there exists nothing that is granuliferous or allometric or both. sent4: that if that something is a quart but not aeromechanics does not hold it is not a Norman is correct. sent5: the deceiver is not a quart and is not Norman if the viverrine is not a Norman. ; $proof$ = 
sent3 -> int1: the fact that the monkey-wrench either is granuliferous or is allometric or both is not right.; void -> assump1: Let's assume that the viverrine is a kind of a Ahura.; sent1 -> int2: the viverrine is not Norman if it is not Demotic and is a Ahura.; __UNKNOWN__