白いカラスがいる、という命題を証明するには、アルビノのカラスを一羽捕まえてくればいいですよね。