a counterexample

Someone claims 'all swans are white'. You do not need a long argument to overturn it — you just need to point at one black swan. That single contradicting case is a counterexample, and it is the cheapest, most decisive way to show a general claim is false.

A counterexample is a specific instance in which the hypothesis of a statement holds but the conclusion fails, thereby proving the statement is not always true. For a conditional 'if p, then q', a counterexample is a case where p is true yet q is false. One counterexample is enough — a single black swan refutes 'all swans are white' no matter how many white swans you have seen. The asymmetry is fundamental: to prove a universal statement true you must establish it in every case, but to prove it false you need just one case where it breaks.

Counterexamples are the front line of honest mathematics: before trying to prove a conjecture, it is wise to hunt for a counterexample, and finding one saves you a doomed proof. They also expose the gap between plausibility and truth — a pattern that holds for the first hundred cases can still fail at the hundred-and-first. In this field, classic counterexamples flag the invalid 'congruence criteria': SSA and AAA are not valid because you can build two non-congruent triangles sharing that data, so each such pair is a counterexample to the would-be rule.