Einsteins Rätsel

Einstein schrieb dieses Rätsel im letzten Jahrhundert.

Es gibt 5 Häuser mit verschiedenen Farben. In jedem Haus wohnt eine Person anderer Nationalität. Jeder der 5 Bewohner trinkt ein bestimmtes Getränk, raucht eine Zigarettenmarke und hat ein Haustier. Keiner der Besitzer hat das gleiche Haustier, raucht die gleiche Zigaretten oder trinkt das gleiche Getränk - alle Objekte sind also einzigartig.

Die Frage ist “Wer besitzt den Fisch?”

Hinweise

Der Brite lebt im roten Haus.
Das Haustier des Schweden ist ein Hund.
Der Däne trinkt Tee.
Das grüne Haus befindet sich links des weißen Hauses.
Der Besitzer des grünen Hauses trinkt Kaffee.
Der Pall-Mall-Raucher besitzt einen Vogel.
Der Besitzer des gelben Hauses raucht Dunhill.
Im mittleren Haus wird Milch getrunken.
Der Norweger lebt im ersten Haus.
Die Person, die Blend raucht, lebt neben einem Haus mit Katze.
Der Pferde-Besitzer lebt neben dem Dunhill-Raucher.
Der Bluemaster-Raucher trinkt Bier.
Der Deutsche raucht Prince.
Der Norweger lebt neben einem blauen Haus.
Der Blend-Raucher hat einen Wasser-trinkenden Nachbar.

Lösungen

Die manuelle Lösung kann hier gefunden werden: Lösung.

Alternativ habe ich das Problem auch als Constraint-Satisfaction-Problem modelliert: CSP-Datei. Zum lösen benötigt man zum Beispiel SavileRow.