Countermodel Factory

Pick a few axioms for a tiny directed graph and a claim. The factory brute-forces small worlds to find a counterexample, then shows you what breaks.