幽霊がいないことを誰も照明できない。

よって、いる。

ちなみに、照明できないことをもって照明するというのは
背理法というきちんとした、認められている論法