M... If it cannot be proven, it is not a tautology. It may be true, but tautologically false.

Truth tables at ten paces at dawn. My second shall be my old philosophy professor. (Yes, even engineers study philosophy... helps a lot in court.)