悪魔の証明っていうのは白いカラスはいるか？みたいな問題を証明する時
白いカラスを一匹見つける vs 全てのカラスを調べる のように
どちらを使っても証明できるが証明する手間が極端に違う２つの方法があるなら
より簡単な方法を使いましょうってことだよ

全てのカラスを調べるのは不可能に近いが、白いカラスを一匹見つけるのは簡単
だから、白いカラスが見つかれば「白いカラスはいる」
見つからなければ「白いカラスはいない」という結論になる

悪魔も見つかればいるということになるが、現時点で見つかってないのだからいないものとして扱う
この結論に不服なら、不服な人が頑張りなさいという話