He gave a counterexample to the theorem.
彼はその定理に対する反例を挙げた。 - Weblio英語基本例文集
To effectively generate an executable test program according to path information of a counterexample gained as a result of performing a model inspection to an object program. 対象プログラムに対してモデル検査を行った結果得られる反例のパス情報どおりに実行可能なテストプログラムを効果的に生成すること。 - 特許庁
For example, Nobel prize-winning economist Paul A. Samuelson, in his thesis "Where Ricardo and Mill Rebut and Confirm Arguments of Mainstream Economists Supporting Globalization," presented a counterexample to the conclusion of Ricardo's comparative advantage that "all parties can benefit from trade." 例えば、ノーベル経済学賞受賞学者であるPaul A. Samuelsonは、"Where Ricardo and Mill Rebut and Confirm Arguments of Mainstream Economists Supporting Globalization"という論文において、古典的な二国二財のリカードモデルを用いつつ、一定の仮定の下では、貿易開放により国民の実質所得が減少することを理論的に導いており、「貿易は当事国すべてにメリットを与える」という比較優位論の結論の反例を示している。 - 経済産業省