A counterexample is a specific example that contradicts a claim, hypothesis, or generalization. In logic a counterexample disproves a universally stated claim, and does so rigorously in the fields of mathematics and philosophy. For example, the statement that "student John Smith is not lazy" is a counterexample to the generalization "students are lazy", and both a counterexample to, and disproof of, the universal quantification "all students are lazy."
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).