Elskaren puzzle
Elskaren puzzle
10 persons live in a suburb. All are of different nationality, prefer different pets, and have their houses painted in different colors. Furthermore, everyone has his own cigarette brand, and drives a car from a different manufacturer.

Properties
- position
- 1 2 3 4 5 6 7 8 9 10 ; left_side = { 1 2 3 4 5 }
- color
- black blue brown green grey pink purple red white yellow
- nationality
- danish english french german japan norwegian polish russian spanish swedish
- pet
- cat dog donkey fish guinea_pig horse monkey rabbit spider bird
- cigarette
- blend camel chesterfield commerce john_silver kent look marlboro pall_mall prince
- car
- bmw fiat ford jaguar opel porsche rolls_royce saab skoda volvo
Rules
1. The Frenchman drives Volvo. (equivalence nationality = french car = volvo )
2. The Pole lives in the blue house. (equivalence nationality = polish color = blue )
3. The Japanese smokes Look. (equivalence cigarette = look nationality = japan )
4. The Spaniard owns a donkey. (equivalence nationality = spanish pet = donkey )
5. The Prince-smoker drives a SAAB. (equivalence cigarette = prince car = saab )
6. The Englishman has guinea pigs. (equivalence nationality = english pet = guinea_pig )
7. The BMW-owner keeps fish. (equivalence car = bmw pet = fish )
8. The blue house is facing the red. (facing color = blue color = red )
9. The Fiat-owner lives between the guinea pig owner and the rabbit owner. (neighbor car = fiat pet = guinea_pig ) (neighbor car = fiat pet = rabbit )
10. The Ford-owner is a neighbor to the John Silver smoker. (neighbor car = ford cigarette = john_silver )
11. The Blend-smoker lives in a white house. (equivalence cigarette = blend color = white )
12. The Look-smoker is a neighbor to the red house. (neighbor cigarette = look color = red )
13. The cat-owner is living in the house facing the Chesterfield smoker. (facing pet = cat cigarette = chesterfield )
14. The Pall Mall-smoker is neightbor to the dog owner. (neighbor cigarette = pall_mall pet = dog )
15. The house of the horse owner is facing the house of the Jaguar owner. (facing pet = horse car = jaguar )
16. The purple house on the left side keeps birds. (equivalence color = purple pet = bird ) (property_in color = purple position = left_side )
17. The guy driving Opel is living in a yellow house. (equivalence car = opel color = yellow )
18. The brown house resides in the lower left corner. (equivalence position = 0 color = brown )
19. The rabbit owner lives neighbor to the Kent smoker. (neighbor cigarette = kent pet = rabbit )
20. Neighbor to the black house is the Camel smoker. (neighbor cigarette = camel color = black )
21. The bird owner is neighbor to the Skoda owner. (neighbor pet = bird car = skoda )
22. The Commerce smoker is neighbor to the Russian. (neighbor cigarette = commerce nationality = russian )
23. The green house is located between the red house and the pink house. (neighbor color = green color = pink ) (neighbor color = red color = green )
24. The Kent smoker is living facing the black house. (facing cigarette = kent color = black )
25. The Dane is living neighbor to the Englishman. (neighbor nationality = danish nationality = english )
26. The Marlborough smoker lives facing the Pole. (facing cigarette = marlboro nationality = polish )
27. The dog owner is not neighbor to the Japanese. (not_neighbor pet = dog nationality = japan )
28. The person driving SAAB lives in a grey house. (equivalence car = saab color = grey )
29. The pink house is facing the brown. (facing color = pink color = brown )
30. The Porsche owner lives in a red house. (equivalence car = porsche color = red )
31. The Swede is neighbor to the Volvo owner. (neighbor nationality = swedish car = volvo )
32. The Russian is neighbor to the Norwegian. (neighbor nationality = russian nationality = norwegian )
33. In the house located in the upper left corner, Prince is being smoked. (equivalence position = 4 cigarette = prince )
34. The monkey owner is a neighbor of the brown house. (neighbor pet = monkey color = brown )
35. The monkley owner lives between the Skoda owner and the spider owner. (neighbor pet = monkey car = skoda ) (neighbor pet = monkey pet = spider )
36. The Swede is not the cat owner. (exclusion nationality = swedish pet = cat )
37. The dog owner is a neightbor of the cat owner. (neighbor pet = dog pet = cat )