Habe das Rätsel gerade mit einem Freund in ca. 5 Stunden gelöst.

Vorgehensweise:
- alle Bedingungen in eine eigene Abkürzungs-Notation umformuliert
- mehrere Aussagen zusammengefasst und verknüpft, dadurch eine geschlussfolgert
- durch eine Annahme die restlichen Aussagen fast eindeutig durch Ausschließen und Verknüpfen herausbekommen
- durch eine weitere Annahme die letzten vier Aussagen durch Ausschluss eindeutig festgelegt
- Lösung nachgeschaut und gefreut dass sie übereinstimmt

Bilanz:
- 9 Blätter vollgeschrieben
- 2 Tafeln Schokolade gegessen
- 2 weiteren Leuten das Rätsel aufgedrückt
- 5 Mal fast aufgegeben
- 934 mal wahnsinnig geworden