G.4.C: Verify that a conjecture is false using a counterexample.