[Eisenstein]

I'm sorry but generating logic from tautologies is not useful. And the conclusion is irrelevant to me. The method is flawed.