Nothing that is red all over is green all over.
Its logical form is: Something that has property X cannot have property Y.
You can make substitutions which make this true and which make it false.
It is NOT true because of its form. It is not a logical tautology.
You seem to be confused about what logical form is so I will provide you with a couple links.
http://plato.stanford.edu/entries/logical-form/
http://plato.stanford.edu/entries/analytic-synthetic/
The above is completely tangential to the OP's question. The fact remains if you only accept deductive justification for knowledge then you better be an almost absolute epistemological skeptic. Almost every belief we form is the result of induction.