ich würd ja, nach längerem -- allerdings verkaterten -- Nachdenken, dazu tendieren, dass das unter den gegebenen Informationen nicht lösbar ist. Die Information "Es existiert ein X, dessen Augen blau sind" ist in den Modellen der Bewohner ja schon vorhanden, sprich es wird keine weiterer Fakt hinzugefügt. Und da es vorher schon nicht lösbar war, bleibt es das auch. Aber Logik ist bei mir auch schon 5 Semester her...