这个问题知乎看到过。
倒推：既然假设是假条件我们完全可以不看假条件，因为不可信。
1.假设路人为鬼a，那么：
a.5年没人住是假条件（路人说）
b.儿子摔倒花瓶碎是真条件（唯一不可变真条件）
c.爸爸死4年是真条件（保姆说）
d.保姆是鬼真条件（爸爸说）
此时，dc矛盾，
（此时已暗示，d与c有矛盾且鬼只有一个），
故1.不为假条件为真条件
2.假设保姆c是鬼那么
：a.真条件
b.真条件
c.假条件
d.真条件
此时，ad不矛盾且指向c，c撒谎，c是鬼 _保姆是鬼
3.假设爸爸是鬼
那么：
a.真条件
b真条件
c.真条件
d.假条件
此时，ac矛盾，d爸爸是活人
小男孩碰到保姆屋子里的花瓶，路人说，这屋子五年没人住了，暗示了没有保姆的存在
（一般一个家有好几个屋子，路人说的可能是没人住的那个屋子（保姆的房间），但并不指这家房子没人住）。
因此，保姆是鬼
