Aus (6), (3) und (4) folgt, dass A {\displaystyle {}A} und B {\displaystyle {}B} beide nicht der Mörder sind, denn sonst wären beide der Mörder. Nach (5) ist somit auch D {\displaystyle {}D} nicht der Mörder. Wegen (1) muss also C {\displaystyle {}C} der Mörder sein.