假設疑犯甲說實話，
其他人說謊
乙說謊＝丁不是主謀  ＝>  正確
丙說謊＝丙是主謀      ＝>  正確
丁說謊＝甲不是主謀  ＝>  正確
成立！

假設疑犯乙說實話，
其他人說謊
甲說謊＝甲是主謀      ＝>  甲、丁矛盾
丙說謊＝丙也是主謀  ＝>  只有一個主謀
丁說謊＝甲不是主謀  ＝>  甲、丁矛盾
不成立！

假設疑犯丙說實話，
其他人說謊
甲說謊＝甲是主謀      ＝>  甲、丁矛盾
乙說謊＝丁不是主謀  ＝>  正確  
丁說謊＝甲不是主謀  ＝>  甲、丁矛盾
甲、丁矛盾
不成立！

假設疑犯丁說實話，
其他人說謊
甲說謊＝甲是主謀      ＝>  只有一個主謀，與丙矛盾
乙說謊＝丁不是主謀  ＝>  正確
丙說謊＝丙是主謀      ＝>  只有一個主謀，與甲矛盾
不成立！

---

(改成假設主謀是誰)
假設甲是主謀，甲乙丙丁為假假真真，不合。
假設乙是主謀，甲乙丙丁為真假真假，不合。
假設丙是主謀，甲乙丙丁為真假假假，符合條件。
假設丁是主謀，甲乙丙丁為真真真假，不合。
因此丙是主謀。