${\displaystyle {}E}$ wurde ermordet. Es gelten folgende Sachverhalte.

1. Der Mörder ist ${\displaystyle {}A}$ oder ${\displaystyle {}B}$ oder ${\displaystyle {}C}$ oder ${\displaystyle {}D}$.
2. Wenn ${\displaystyle {}C}$ der Mörder ist, dann ist ${\displaystyle {}D}$ nicht der Mörder oder ${\displaystyle {}A}$ ist der Mörder.
3. ${\displaystyle {}A,B,C,D}$ sind alle verschieden.
4. Es gibt genau einen Mörder.
5. Wenn ${\displaystyle {}A}$ nicht der Mörder ist, dann ist ${\displaystyle {}D}$ nicht der Mörder.
6. ${\displaystyle {}A}$ ist genau dann der Mörder, wenn ${\displaystyle {}B}$ der Mörder ist.