悪魔がいるかどうかの証明において、「いる」を証明するのは悪魔を連れてくればいいだけです。 しかし、「いない」を証明しようとすると大変なのです。 例えば、日本中くまなく探したとしましょう。 でも、日本以外にいるかも知れない。 今度は世界中全部探しても宇宙にいるかも知れない。 宇宙くまなく探しても実は目に見えないのかも知れない。 そもそも広範囲をくまなく探すという行為は、同時に行わない限り逃げて探し終えた場所に落ち着くことが可能。 見間違えたかも知れない。 このように、「いない」事の証明はほぼ不可能なんです。 魔女側はこれで魔女の存在を主張することが出来、戦人側は赤字で否定されない限り犯行に使われた証拠がどんな感じの物か説明することで証拠を見つけなくても人間犯行説を主張出来る。 密室殺人はとあるトラップによって行われた！悪魔の証明によりそのトラップを探す必要なくそのトラップを仕掛けた人物による犯行だと主張する！ みたいな感じですね。