Tiny consistency checker for LLM reasoning. State facts and first principles in a small English-like DSL; a three-valued SAT engine finds where they contradict — consistency, not truth. Simplified SAT…