「赤いカラスは居る」「赤いカラスは居ない」←どっちの証明が難しい?