“如果甲和乙都是凶手，那么丙是无辜的；丙有罪且丁的证词真实；而只有丁的证词虚假，乙才不是凶手