When Model Attribution Has Only One Solution, Ask Which Axiom It Violates | DisconfirmAI