Invalidate Rules of Inference with Counterexamples