Table puzzle
Table puzzle
Acht Personen, von denen eine den zahnärztlichen Beruf ausübt, sitzen um den unten numerierten Plätzen und unterhalten sich. Aus ihrem Gespräch geht folgendes hervor - hier ist mit "Nachbar" einer Person stehts eine unmittelbar neben ihr sitzende Person (Mann oder Frau) gemeint.

Properties
- position
- 1 2 3 4 5 6 7 8 ; places_4_8 = { 4 8 }
- first_name
- Julia Bettina Eva Yvonne Andreas Matthias Stefan Cornelius ; men = { Andreas Matthias Stefan Cornelius } ; women = { Julia Bettina Eva Yvonne } ; matthias_bettina = { Bettina Matthias }
- last_name
- Lorch Falk Horn Pauli Reimann Dahn Winter Vogel
- job
- Zahnarzt Optiker Gaertner Kuerschner Notar Uhrmacher Ingenieur Tischler
Rules
1. Andreas Lorch ist der rechte Nachbar der Optikerin mit Vornamen Julia, die direkt gegenüber Herrn Falk sitzt. (equivalence first_name = Andreas last_name = Lorch ) (to_right first_name = Julia first_name = Andreas ) (equivalence first_name = Julia job = Optiker ) (gegenueber first_name = Julia last_name = Falk ) (property_in last_name = Falk first_name = men )
2. Von der Person mit dem Nachnamen Horn, und der Person, die den Gärtnerberuf ausübt, heißt eine Matthias und die andere Bettina. (property_in last_name = Horn first_name = matthias_bettina ) (property_in job = Gaertner first_name = matthias_bettina ) (exclusion job = Gaertner last_name = Horn )
3. Auf dem mit 4 bezeichneten Platz sitzt entweder Stephan oder die Kürschnerin (property_in job = Kuerschner first_name = women )
4. Herr Pauli, der Eva direkt gegenübersitzt, ist der rechte Nachbar der Person, die den Notarberuf ausübt, und Paulis rechter Nachbar ist die Urmacherin. (property_in last_name = Pauli first_name = men ) (gegenueber last_name = Pauli first_name = Eva ) (to_right job = Notar last_name = Pauli ) (to_right last_name = Pauli job = Uhrmacher ) (property_in job = Uhrmacher first_name = women )
5. Herr Falk ist nicht der Notar, und die Person mit dem Nachnamen Reimann ist nicht Gärtner. (exclusion last_name = Falk job = Notar ) (exclusion last_name = Reimann job = Gaertner )
6. Die Person mit dem Nachnamen Reimann sitzt Yvonne direkt gegenüber. (gegenueber last_name = Reimann first_name = Yvonne )
7. Cornelius sitzt nicht auf Platz 1. Frau Dahn ist Ingenieurin. (exclusion first_name = Cornelius position = 0 ) (property_in last_name = Dahn first_name = women ) (equivalence last_name = Dahn job = Ingenieur )
8. Auf Platz 6. sitzt die Person mit dem Nachnamen Winter. (equivalence position = 5 last_name = Winter )
9. Die Person, die den Tischlerberuf ausübt, ist nicht Cornelius. (exclusion job = Tischler first_name = Cornelius )
10. Auf Platz 8. sitzt die Person mit den Nachnamen Vogel; sie ist entweder Küschner(in) oder hat den Vornamen Stephan. (equivalence position = 7 last_name = Vogel )
48a. (property_in first_name = Stefan position = places_4_8 )
48b. (property_in job = Kuerschner position = places_4_8 )