Proofs by Minimum Counterexample