この鳥は黒くない、したがってこの鳥はカラスではない」といった推論では最初の前提が間違いで本当は白いカラスもいるような場合、結局あやまった結論にたどりついてしまう(参照:ヘンペルのカラス)。