zebra.cnf

c  The Zebra problem.
c
c  1.  Five people have five different pets, smoke five different brands of cigarettes, 
c      have five different favorite drinks and live in five different houses.
c  2.  The Englishman lives in the red house.
c  3.  The Spaniard has a dog.
c  4.  The Ukranian drinks tea.
c  5.  The Norwegian lives in the leftmost house.
c  6.  The Japanese smokes Parliaments.
c  7.  The Norwegian lives next to the blue house.
c  8.  Coffee is drunk in the green house.
c  9.  The snail owner smokes Old Gold.
c  10. The inhabitant of the yellow house smokes Kools.
c  11. The Lucky Strikes smoker drinks orange juice.
c  12. Milk is drunk in the middle house.
c  13. The green house is immediately to the right of the ivory house.
c  14. The Chesterfield smoker lives next door to the fox owner.
c  15. The Kools smoker lives next door to where the horse is kept.
c
c  Given these conditions, determine who owns the zebra and who drinks water.
c
c  Encoded in CNF by Jon Freeman, November 1994.
c
p cnf 155 1135
(Englishman_house0 | Englishman_house1 | Englishman_house2 | Englishman_house3 | Englishman_house4)
(~Englishman_house0 | ~Englishman_house1)
(~Englishman_house0 | ~Englishman_house2)
(~Englishman_house0 | ~Englishman_house3)
(~Englishman_house0 | ~Englishman_house4)
(~Englishman_house1 | ~Englishman_house2)
(~Englishman_house1 | ~Englishman_house3)
(~Englishman_house1 | ~Englishman_house4)
(~Englishman_house2 | ~Englishman_house3)
(~Englishman_house2 | ~Englishman_house4)
(~Englishman_house3 | ~Englishman_house4)
(Japanese_house0 | Japanese_house1 | Japanese_house2 | Japanese_house3 | Japanese_house4)
(~Japanese_house0 | ~Japanese_house1)
(~Japanese_house0 | ~Japanese_house2)
(~Japanese_house0 | ~Japanese_house3)
(~Japanese_house0 | ~Japanese_house4)
(~Japanese_house1 | ~Japanese_house2)
(~Japanese_house1 | ~Japanese_house3)
(~Japanese_house1 | ~Japanese_house4)
(~Japanese_house2 | ~Japanese_house3)
(~Japanese_house2 | ~Japanese_house4)
(~Japanese_house3 | ~Japanese_house4)
(Norwegian_house0 | Norwegian_house1 | Norwegian_house2 | Norwegian_house3 | Norwegian_house4)
(~Norwegian_house0 | ~Norwegian_house1)
(~Norwegian_house0 | ~Norwegian_house2)
(~Norwegian_house0 | ~Norwegian_house3)
(~Norwegian_house0 | ~Norwegian_house4)
(~Norwegian_house1 | ~Norwegian_house2)
(~Norwegian_house1 | ~Norwegian_house3)
(~Norwegian_house1 | ~Norwegian_house4)
(~Norwegian_house2 | ~Norwegian_house3)
(~Norwegian_house2 | ~Norwegian_house4)
(~Norwegian_house3 | ~Norwegian_house4)
(Spaniard_house0 | Spaniard_house1 | Spaniard_house2 | Spaniard_house3 | Spaniard_house4)
(~Spaniard_house0 | ~Spaniard_house1)
(~Spaniard_house0 | ~Spaniard_house2)
(~Spaniard_house0 | ~Spaniard_house3)
(~Spaniard_house0 | ~Spaniard_house4)
(~Spaniard_house1 | ~Spaniard_house2)
(~Spaniard_house1 | ~Spaniard_house3)
(~Spaniard_house1 | ~Spaniard_house4)
(~Spaniard_house2 | ~Spaniard_house3)
(~Spaniard_house2 | ~Spaniard_house4)
(~Spaniard_house3 | ~Spaniard_house4)
(Ukrainian_house0 | Ukrainian_house1 | Ukrainian_house2 | Ukrainian_house3 | Ukrainian_house4)
(~Ukrainian_house0 | ~Ukrainian_house1)
(~Ukrainian_house0 | ~Ukrainian_house2)
(~Ukrainian_house0 | ~Ukrainian_house3)
(~Ukrainian_house0 | ~Ukrainian_house4)
(~Ukrainian_house1 | ~Ukrainian_house2)
(~Ukrainian_house1 | ~Ukrainian_house3)
(~Ukrainian_house1 | ~Ukrainian_house4)
(~Ukrainian_house2 | ~Ukrainian_house3)
(~Ukrainian_house2 | ~Ukrainian_house4)
(~Ukrainian_house3 | ~Ukrainian_house4)
(Englishman_redHouse | Englishman_greenHouse | Englishman_ivoryHouse | Englishman_yellowHouse | Englishman_blueHouse)
(~Englishman_redHouse | ~Englishman_greenHouse)
(~Englishman_redHouse | ~Englishman_ivoryHouse)
(~Englishman_redHouse | ~Englishman_yellowHouse)
(~Englishman_redHouse | ~Englishman_blueHouse)
(~Englishman_greenHouse | ~Englishman_ivoryHouse)
(~Englishman_greenHouse | ~Englishman_yellowHouse)
(~Englishman_greenHouse | ~Englishman_blueHouse)
(~Englishman_ivoryHouse | ~Englishman_yellowHouse)
(~Englishman_ivoryHouse | ~Englishman_blueHouse)
(~Englishman_yellowHouse | ~Englishman_blueHouse)
(Japanese_redHouse | Japanese_greenHouse | Japanese_ivoryHouse | Japanese_yellowHouse | Japanese_blueHouse)
(~Japanese_redHouse | ~Japanese_greenHouse)
(~Japanese_redHouse | ~Japanese_ivoryHouse)
(~Japanese_redHouse | ~Japanese_yellowHouse)
(~Japanese_redHouse | ~Japanese_blueHouse)
(~Japanese_greenHouse | ~Japanese_ivoryHouse)
(~Japanese_greenHouse | ~Japanese_yellowHouse)
(~Japanese_greenHouse | ~Japanese_blueHouse)
(~Japanese_ivoryHouse | ~Japanese_yellowHouse)
(~Japanese_ivoryHouse | ~Japanese_blueHouse)
(~Japanese_yellowHouse | ~Japanese_blueHouse)
(Norwegian_redHouse | Norwegian_greenHouse | Norwegian_ivoryHouse | Norwegian_yellowHouse | Norwegian_blueHouse)
(~Norwegian_redHouse | ~Norwegian_greenHouse)
(~Norwegian_redHouse | ~Norwegian_ivoryHouse)
(~Norwegian_redHouse | ~Norwegian_yellowHouse)
(~Norwegian_redHouse | ~Norwegian_blueHouse)
(~Norwegian_greenHouse | ~Norwegian_ivoryHouse)
(~Norwegian_greenHouse | ~Norwegian_yellowHouse)
(~Norwegian_greenHouse | ~Norwegian_blueHouse)
(~Norwegian_ivoryHouse | ~Norwegian_yellowHouse)
(~Norwegian_ivoryHouse | ~Norwegian_blueHouse)
(~Norwegian_yellowHouse | ~Norwegian_blueHouse)
(Spaniard_redHouse | Spaniard_greenHouse | Spaniard_ivoryHouse | Spaniard_yellowHouse | Spaniard_blueHouse)
(~Spaniard_redHouse | ~Spaniard_greenHouse)
(~Spaniard_redHouse | ~Spaniard_ivoryHouse)
(~Spaniard_redHouse | ~Spaniard_yellowHouse)
(~Spaniard_redHouse | ~Spaniard_blueHouse)
(~Spaniard_greenHouse | ~Spaniard_ivoryHouse)
(~Spaniard_greenHouse | ~Spaniard_yellowHouse)
(~Spaniard_greenHouse | ~Spaniard_blueHouse)
(~Spaniard_ivoryHouse | ~Spaniard_yellowHouse)
(~Spaniard_ivoryHouse | ~Spaniard_blueHouse)
(~Spaniard_yellowHouse | ~Spaniard_blueHouse)
(Ukrainian_redHouse | Ukrainian_greenHouse | Ukrainian_ivoryHouse | Ukrainian_yellowHouse | Ukrainian_blueHouse)
(~Ukrainian_redHouse | ~Ukrainian_greenHouse)
(~Ukrainian_redHouse | ~Ukrainian_ivoryHouse)
(~Ukrainian_redHouse | ~Ukrainian_yellowHouse)
(~Ukrainian_redHouse | ~Ukrainian_blueHouse)
(~Ukrainian_greenHouse | ~Ukrainian_ivoryHouse)
(~Ukrainian_greenHouse | ~Ukrainian_yellowHouse)
(~Ukrainian_greenHouse | ~Ukrainian_blueHouse)
(~Ukrainian_ivoryHouse | ~Ukrainian_yellowHouse)
(~Ukrainian_ivoryHouse | ~Ukrainian_blueHouse)
(~Ukrainian_yellowHouse | ~Ukrainian_blueHouse)
(Englishman_zebra | Englishman_dog | Englishman_horse | Englishman_fox | Englishman_snails)
(~Englishman_zebra | ~Englishman_dog)
(~Englishman_zebra | ~Englishman_horse)
(~Englishman_zebra | ~Englishman_fox)
(~Englishman_zebra | ~Englishman_snails)
(~Englishman_dog | ~Englishman_horse)
(~Englishman_dog | ~Englishman_fox)
(~Englishman_dog | ~Englishman_snails)
(~Englishman_horse | ~Englishman_fox)
(~Englishman_horse | ~Englishman_snails)
(~Englishman_fox | ~Englishman_snails)
(Japanese_zebra | Japanese_dog | Japanese_horse | Japanese_fox | Japanese_snails)
(~Japanese_zebra | ~Japanese_dog)
(~Japanese_zebra | ~Japanese_horse)
(~Japanese_zebra | ~Japanese_fox)
(~Japanese_zebra | ~Japanese_snails)
(~Japanese_dog | ~Japanese_horse)
(~Japanese_dog | ~Japanese_fox)
(~Japanese_dog | ~Japanese_snails)
(~Japanese_horse | ~Japanese_fox)
(~Japanese_horse | ~Japanese_snails)
(~Japanese_fox | ~Japanese_snails)
(Norwegian_zebra | Norwegian_dog | Norwegian_horse | Norwegian_fox | Norwegian_snails)
(~Norwegian_zebra | ~Norwegian_dog)
(~Norwegian_zebra | ~Norwegian_horse)
(~Norwegian_zebra | ~Norwegian_fox)
(~Norwegian_zebra | ~Norwegian_snails)
(~Norwegian_dog | ~Norwegian_horse)
(~Norwegian_dog | ~Norwegian_fox)
(~Norwegian_dog | ~Norwegian_snails)
(~Norwegian_horse | ~Norwegian_fox)
(~Norwegian_horse | ~Norwegian_snails)
(~Norwegian_fox | ~Norwegian_snails)
(Spaniard_zebra | Spaniard_dog | Spaniard_horse | Spaniard_fox | Spaniard_snails)
(~Spaniard_zebra | ~Spaniard_dog)
(~Spaniard_zebra | ~Spaniard_horse)
(~Spaniard_zebra | ~Spaniard_fox)
(~Spaniard_zebra | ~Spaniard_snails)
(~Spaniard_dog | ~Spaniard_horse)
(~Spaniard_dog | ~Spaniard_fox)
(~Spaniard_dog | ~Spaniard_snails)
(~Spaniard_horse | ~Spaniard_fox)
(~Spaniard_horse | ~Spaniard_snails)
(~Spaniard_fox | ~Spaniard_snails)
(Ukrainian_zebra | Ukrainian_dog | Ukrainian_horse | Ukrainian_fox | Ukrainian_snails)
(~Ukrainian_zebra | ~Ukrainian_dog)
(~Ukrainian_zebra | ~Ukrainian_horse)
(~Ukrainian_zebra | ~Ukrainian_fox)
(~Ukrainian_zebra | ~Ukrainian_snails)
(~Ukrainian_dog | ~Ukrainian_horse)
(~Ukrainian_dog | ~Ukrainian_fox)
(~Ukrainian_dog | ~Ukrainian_snails)
(~Ukrainian_horse | ~Ukrainian_fox)
(~Ukrainian_horse | ~Ukrainian_snails)
(~Ukrainian_fox | ~Ukrainian_snails)
(Englishman_coffee | Englishman_tea | Englishman_orangeJuice | Englishman_water | Englishman_milk)
(~Englishman_coffee | ~Englishman_tea)
(~Englishman_coffee | ~Englishman_orangeJuice)
(~Englishman_coffee | ~Englishman_water)
(~Englishman_coffee | ~Englishman_milk)
(~Englishman_tea | ~Englishman_orangeJuice)
(~Englishman_tea | ~Englishman_water)
(~Englishman_tea | ~Englishman_milk)
(~Englishman_orangeJuice | ~Englishman_water)
(~Englishman_orangeJuice | ~Englishman_milk)
(~Englishman_water | ~Englishman_milk)
(Japanese_coffee | Japanese_tea | Japanese_orangeJuice | Japanese_water | Japanese_milk)
(~Japanese_coffee | ~Japanese_tea)
(~Japanese_coffee | ~Japanese_orangeJuice)
(~Japanese_coffee | ~Japanese_water)
(~Japanese_coffee | ~Japanese_milk)
(~Japanese_tea | ~Japanese_orangeJuice)
(~Japanese_tea | ~Japanese_water)
(~Japanese_tea | ~Japanese_milk)
(~Japanese_orangeJuice | ~Japanese_water)
(~Japanese_orangeJuice | ~Japanese_milk)
(~Japanese_water | ~Japanese_milk)
(Norwegian_coffee | Norwegian_tea | Norwegian_orangeJuice | Norwegian_water | Norwegian_milk)
(~Norwegian_coffee | ~Norwegian_tea)
(~Norwegian_coffee | ~Norwegian_orangeJuice)
(~Norwegian_coffee | ~Norwegian_water)
(~Norwegian_coffee | ~Norwegian_milk)
(~Norwegian_tea | ~Norwegian_orangeJuice)
(~Norwegian_tea | ~Norwegian_water)
(~Norwegian_tea | ~Norwegian_milk)
(~Norwegian_orangeJuice | ~Norwegian_water)
(~Norwegian_orangeJuice | ~Norwegian_milk)
(~Norwegian_water | ~Norwegian_milk)
(Spaniard_coffee | Spaniard_tea | Spaniard_orangeJuice | Spaniard_water | Spaniard_milk)
(~Spaniard_coffee | ~Spaniard_tea)
(~Spaniard_coffee | ~Spaniard_orangeJuice)
(~Spaniard_coffee | ~Spaniard_water)
(~Spaniard_coffee | ~Spaniard_milk)
(~Spaniard_tea | ~Spaniard_orangeJuice)
(~Spaniard_tea | ~Spaniard_water)
(~Spaniard_tea | ~Spaniard_milk)
(~Spaniard_orangeJuice | ~Spaniard_water)
(~Spaniard_orangeJuice | ~Spaniard_milk)
(~Spaniard_water | ~Spaniard_milk)
(Ukrainian_coffee | Ukrainian_tea | Ukrainian_orangeJuice | Ukrainian_water | Ukrainian_milk)
(~Ukrainian_coffee | ~Ukrainian_tea)
(~Ukrainian_coffee | ~Ukrainian_orangeJuice)
(~Ukrainian_coffee | ~Ukrainian_water)
(~Ukrainian_coffee | ~Ukrainian_milk)
(~Ukrainian_tea | ~Ukrainian_orangeJuice)
(~Ukrainian_tea | ~Ukrainian_water)
(~Ukrainian_tea | ~Ukrainian_milk)
(~Ukrainian_orangeJuice | ~Ukrainian_water)
(~Ukrainian_orangeJuice | ~Ukrainian_milk)
(~Ukrainian_water | ~Ukrainian_milk)
(Englishman_oldGold | Englishman_parliament | Englishman_kool | Englishman_luckyStrike | Englishman_chesterfield)
(~Englishman_oldGold | ~Englishman_parliament)
(~Englishman_oldGold | ~Englishman_kool)
(~Englishman_oldGold | ~Englishman_luckyStrike)
(~Englishman_oldGold | ~Englishman_chesterfield)
(~Englishman_parliament | ~Englishman_kool)
(~Englishman_parliament | ~Englishman_luckyStrike)
(~Englishman_parliament | ~Englishman_chesterfield)
(~Englishman_kool | ~Englishman_luckyStrike)
(~Englishman_kool | ~Englishman_chesterfield)
(~Englishman_luckyStrike | ~Englishman_chesterfield)
(Japanese_oldGold | Japanese_parliament | Japanese_kool | Japanese_luckyStrike | Japanese_chesterfield)
(~Japanese_oldGold | ~Japanese_parliament)
(~Japanese_oldGold | ~Japanese_kool)
(~Japanese_oldGold | ~Japanese_luckyStrike)
(~Japanese_oldGold | ~Japanese_chesterfield)
(~Japanese_parliament | ~Japanese_kool)
(~Japanese_parliament | ~Japanese_luckyStrike)
(~Japanese_parliament | ~Japanese_chesterfield)
(~Japanese_kool | ~Japanese_luckyStrike)
(~Japanese_kool | ~Japanese_chesterfield)
(~Japanese_luckyStrike | ~Japanese_chesterfield)
(Norwegian_oldGold | Norwegian_parliament | Norwegian_kool | Norwegian_luckyStrike | Norwegian_chesterfield)
(~Norwegian_oldGold | ~Norwegian_parliament)
(~Norwegian_oldGold | ~Norwegian_kool)
(~Norwegian_oldGold | ~Norwegian_luckyStrike)
(~Norwegian_oldGold | ~Norwegian_chesterfield)
(~Norwegian_parliament | ~Norwegian_kool)
(~Norwegian_parliament | ~Norwegian_luckyStrike)
(~Norwegian_parliament | ~Norwegian_chesterfield)
(~Norwegian_kool | ~Norwegian_luckyStrike)
(~Norwegian_kool | ~Norwegian_chesterfield)
(~Norwegian_luckyStrike | ~Norwegian_chesterfield)
(Spaniard_oldGold | Spaniard_parliament | Spaniard_kool | Spaniard_luckyStrike | Spaniard_chesterfield)
(~Spaniard_oldGold | ~Spaniard_parliament)
(~Spaniard_oldGold | ~Spaniard_kool)
(~Spaniard_oldGold | ~Spaniard_luckyStrike)
(~Spaniard_oldGold | ~Spaniard_chesterfield)
(~Spaniard_parliament | ~Spaniard_kool)
(~Spaniard_parliament | ~Spaniard_luckyStrike)
(~Spaniard_parliament | ~Spaniard_chesterfield)
(~Spaniard_kool | ~Spaniard_luckyStrike)
(~Spaniard_kool | ~Spaniard_chesterfield)
(~Spaniard_luckyStrike | ~Spaniard_chesterfield)
(Ukrainian_oldGold | Ukrainian_parliament | Ukrainian_kool | Ukrainian_luckyStrike | Ukrainian_chesterfield)
(~Ukrainian_oldGold | ~Ukrainian_parliament)
(~Ukrainian_oldGold | ~Ukrainian_kool)
(~Ukrainian_oldGold | ~Ukrainian_luckyStrike)
(~Ukrainian_oldGold | ~Ukrainian_chesterfield)
(~Ukrainian_parliament | ~Ukrainian_kool)
(~Ukrainian_parliament | ~Ukrainian_luckyStrike)
(~Ukrainian_parliament | ~Ukrainian_chesterfield)
(~Ukrainian_kool | ~Ukrainian_luckyStrike)
(~Ukrainian_kool | ~Ukrainian_chesterfield)
(~Ukrainian_luckyStrike | ~Ukrainian_chesterfield)
(~Englishman_house0 | ~Japanese_house1 | E_immLeft_J)
(~Englishman_house1 | ~Japanese_house2 | E_immLeft_J)
(~Englishman_house2 | ~Japanese_house3 | E_immLeft_J)
(~Englishman_house3 | ~Japanese_house4 | E_immLeft_J)
(~Englishman_house0 | ~Norwegian_house1 | E_immLeft_N)
(~Englishman_house1 | ~Norwegian_house2 | E_immLeft_N)
(~Englishman_house2 | ~Norwegian_house3 | E_immLeft_N)
(~Englishman_house3 | ~Norwegian_house4 | E_immLeft_N)
(~Englishman_house0 | ~Spaniard_house1 | E_immLeft_S)
(~Englishman_house1 | ~Spaniard_house2 | E_immLeft_S)
(~Englishman_house2 | ~Spaniard_house3 | E_immLeft_S)
(~Englishman_house3 | ~Spaniard_house4 | E_immLeft_S)
(~Englishman_house0 | ~Ukrainian_house1 | E_immLeft_U)
(~Englishman_house1 | ~Ukrainian_house2 | E_immLeft_U)
(~Englishman_house2 | ~Ukrainian_house3 | E_immLeft_U)
(~Englishman_house3 | ~Ukrainian_house4 | E_immLeft_U)
(~Japanese_house0 | ~Englishman_house1 | J_immLeft_E)
(~Japanese_house1 | ~Englishman_house2 | J_immLeft_E)
(~Japanese_house2 | ~Englishman_house3 | J_immLeft_E)
(~Japanese_house3 | ~Englishman_house4 | J_immLeft_E)
(~Japanese_house0 | ~Norwegian_house1 | J_immLeft_N)
(~Japanese_house1 | ~Norwegian_house2 | J_immLeft_N)
(~Japanese_house2 | ~Norwegian_house3 | J_immLeft_N)
(~Japanese_house3 | ~Norwegian_house4 | J_immLeft_N)
(~Japanese_house0 | ~Spaniard_house1 | J_immLeft_S)
(~Japanese_house1 | ~Spaniard_house2 | J_immLeft_S)
(~Japanese_house2 | ~Spaniard_house3 | J_immLeft_S)
(~Japanese_house3 | ~Spaniard_house4 | J_immLeft_S)
(~Japanese_house0 | ~Ukrainian_house1 | J_immLeft_U)
(~Japanese_house1 | ~Ukrainian_house2 | J_immLeft_U)
(~Japanese_house2 | ~Ukrainian_house3 | J_immLeft_U)
(~Japanese_house3 | ~Ukrainian_house4 | J_immLeft_U)
(~Norwegian_house0 | ~Englishman_house1 | N_immLeft_E)
(~Norwegian_house1 | ~Englishman_house2 | N_immLeft_E)
(~Norwegian_house2 | ~Englishman_house3 | N_immLeft_E)
(~Norwegian_house3 | ~Englishman_house4 | N_immLeft_E)
(~Norwegian_house0 | ~Japanese_house1 | N_immLeft_J)
(~Norwegian_house1 | ~Japanese_house2 | N_immLeft_J)
(~Norwegian_house2 | ~Japanese_house3 | N_immLeft_J)
(~Norwegian_house3 | ~Japanese_house4 | N_immLeft_J)
(~Norwegian_house0 | ~Spaniard_house1 | N_immLeft_S)
(~Norwegian_house1 | ~Spaniard_house2 | N_immLeft_S)
(~Norwegian_house2 | ~Spaniard_house3 | N_immLeft_S)
(~Norwegian_house3 | ~Spaniard_house4 | N_immLeft_S)
(~Norwegian_house0 | ~Ukrainian_house1 | N_immLeft_U)
(~Norwegian_house1 | ~Ukrainian_house2 | N_immLeft_U)
(~Norwegian_house2 | ~Ukrainian_house3 | N_immLeft_U)
(~Norwegian_house3 | ~Ukrainian_house4 | N_immLeft_U)
(~Spaniard_house0 | ~Englishman_house1 | S_immLeft_E)
(~Spaniard_house1 | ~Englishman_house2 | S_immLeft_E)
(~Spaniard_house2 | ~Englishman_house3 | S_immLeft_E)
(~Spaniard_house3 | ~Englishman_house4 | S_immLeft_E)
(~Spaniard_house0 | ~Japanese_house1 | S_immLeft_J)
(~Spaniard_house1 | ~Japanese_house2 | S_immLeft_J)
(~Spaniard_house2 | ~Japanese_house3 | S_immLeft_J)
(~Spaniard_house3 | ~Japanese_house4 | S_immLeft_J)
(~Spaniard_house0 | ~Norwegian_house1 | S_immLeft_N)
(~Spaniard_house1 | ~Norwegian_house2 | S_immLeft_N)
(~Spaniard_house2 | ~Norwegian_house3 | S_immLeft_N)
(~Spaniard_house3 | ~Norwegian_house4 | S_immLeft_N)
(~Spaniard_house0 | ~Ukrainian_house1 | S_immLeft_U)
(~Spaniard_house1 | ~Ukrainian_house2 | S_immLeft_U)
(~Spaniard_house2 | ~Ukrainian_house3 | S_immLeft_U)
(~Spaniard_house3 | ~Ukrainian_house4 | S_immLeft_U)
(~Ukrainian_house0 | ~Englishman_house1 | U_immLeft_E)
(~Ukrainian_house1 | ~Englishman_house2 | U_immLeft_E)
(~Ukrainian_house2 | ~Englishman_house3 | U_immLeft_E)
(~Ukrainian_house3 | ~Englishman_house4 | U_immLeft_E)
(~Ukrainian_house0 | ~Japanese_house1 | U_immLeft_J)
(~Ukrainian_house1 | ~Japanese_house2 | U_immLeft_J)
(~Ukrainian_house2 | ~Japanese_house3 | U_immLeft_J)
(~Ukrainian_house3 | ~Japanese_house4 | U_immLeft_J)
(~Ukrainian_house0 | ~Norwegian_house1 | U_immLeft_N)
(~Ukrainian_house1 | ~Norwegian_house2 | U_immLeft_N)
(~Ukrainian_house2 | ~Norwegian_house3 | U_immLeft_N)
(~Ukrainian_house3 | ~Norwegian_house4 | U_immLeft_N)
(~Ukrainian_house0 | ~Spaniard_house1 | U_immLeft_S)
(~Ukrainian_house1 | ~Spaniard_house2 | U_immLeft_S)
(~Ukrainian_house2 | ~Spaniard_house3 | U_immLeft_S)
(~Ukrainian_house3 | ~Spaniard_house4 | U_immLeft_S)
(~Englishman_house0 | ~Japanese_house2 | ~E_immLeft_J)
(~Englishman_house0 | ~Japanese_house3 | ~E_immLeft_J)
(~Englishman_house0 | ~Japanese_house4 | ~E_immLeft_J)
(~Englishman_house1 | ~Japanese_house0 | ~E_immLeft_J)
(~Englishman_house1 | ~Japanese_house3 | ~E_immLeft_J)
(~Englishman_house1 | ~Japanese_house4 | ~E_immLeft_J)
(~Englishman_house2 | ~Japanese_house0 | ~E_immLeft_J)
(~Englishman_house2 | ~Japanese_house1 | ~E_immLeft_J)
(~Englishman_house2 | ~Japanese_house4 | ~E_immLeft_J)
(~Englishman_house3 | ~Japanese_house0 | ~E_immLeft_J)
(~Englishman_house3 | ~Japanese_house1 | ~E_immLeft_J)
(~Englishman_house3 | ~Japanese_house2 | ~E_immLeft_J)
(~Englishman_house4 | ~Japanese_house0 | ~E_immLeft_J)
(~Englishman_house4 | ~Japanese_house1 | ~E_immLeft_J)
(~Englishman_house4 | ~Japanese_house2 | ~E_immLeft_J)
(~Englishman_house4 | ~Japanese_house3 | ~E_immLeft_J)
(~Englishman_house0 | ~Norwegian_house2 | ~E_immLeft_N)
(~Englishman_house0 | ~Norwegian_house3 | ~E_immLeft_N)
(~Englishman_house0 | ~Norwegian_house4 | ~E_immLeft_N)
(~Englishman_house1 | ~Norwegian_house0 | ~E_immLeft_N)
(~Englishman_house1 | ~Norwegian_house3 | ~E_immLeft_N)
(~Englishman_house1 | ~Norwegian_house4 | ~E_immLeft_N)
(~Englishman_house2 | ~Norwegian_house0 | ~E_immLeft_N)
(~Englishman_house2 | ~Norwegian_house1 | ~E_immLeft_N)
(~Englishman_house2 | ~Norwegian_house4 | ~E_immLeft_N)
(~Englishman_house3 | ~Norwegian_house0 | ~E_immLeft_N)
(~Englishman_house3 | ~Norwegian_house1 | ~E_immLeft_N)
(~Englishman_house3 | ~Norwegian_house2 | ~E_immLeft_N)
(~Englishman_house4 | ~Norwegian_house0 | ~E_immLeft_N)
(~Englishman_house4 | ~Norwegian_house1 | ~E_immLeft_N)
(~Englishman_house4 | ~Norwegian_house2 | ~E_immLeft_N)
(~Englishman_house4 | ~Norwegian_house3 | ~E_immLeft_N)
(~Englishman_house0 | ~Spaniard_house2 | ~E_immLeft_S)
(~Englishman_house0 | ~Spaniard_house3 | ~E_immLeft_S)
(~Englishman_house0 | ~Spaniard_house4 | ~E_immLeft_S)
(~Englishman_house1 | ~Spaniard_house0 | ~E_immLeft_S)
(~Englishman_house1 | ~Spaniard_house3 | ~E_immLeft_S)
(~Englishman_house1 | ~Spaniard_house4 | ~E_immLeft_S)
(~Englishman_house2 | ~Spaniard_house0 | ~E_immLeft_S)
(~Englishman_house2 | ~Spaniard_house1 | ~E_immLeft_S)
(~Englishman_house2 | ~Spaniard_house4 | ~E_immLeft_S)
(~Englishman_house3 | ~Spaniard_house0 | ~E_immLeft_S)
(~Englishman_house3 | ~Spaniard_house1 | ~E_immLeft_S)
(~Englishman_house3 | ~Spaniard_house2 | ~E_immLeft_S)
(~Englishman_house4 | ~Spaniard_house0 | ~E_immLeft_S)
(~Englishman_house4 | ~Spaniard_house1 | ~E_immLeft_S)
(~Englishman_house4 | ~Spaniard_house2 | ~E_immLeft_S)
(~Englishman_house4 | ~Spaniard_house3 | ~E_immLeft_S)
(~Englishman_house0 | ~Ukrainian_house2 | ~E_immLeft_U)
(~Englishman_house0 | ~Ukrainian_house3 | ~E_immLeft_U)
(~Englishman_house0 | ~Ukrainian_house4 | ~E_immLeft_U)
(~Englishman_house1 | ~Ukrainian_house0 | ~E_immLeft_U)
(~Englishman_house1 | ~Ukrainian_house3 | ~E_immLeft_U)
(~Englishman_house1 | ~Ukrainian_house4 | ~E_immLeft_U)
(~Englishman_house2 | ~Ukrainian_house0 | ~E_immLeft_U)
(~Englishman_house2 | ~Ukrainian_house1 | ~E_immLeft_U)
(~Englishman_house2 | ~Ukrainian_house4 | ~E_immLeft_U)
(~Englishman_house3 | ~Ukrainian_house0 | ~E_immLeft_U)
(~Englishman_house3 | ~Ukrainian_house1 | ~E_immLeft_U)
(~Englishman_house3 | ~Ukrainian_house2 | ~E_immLeft_U)
(~Englishman_house4 | ~Ukrainian_house0 | ~E_immLeft_U)
(~Englishman_house4 | ~Ukrainian_house1 | ~E_immLeft_U)
(~Englishman_house4 | ~Ukrainian_house2 | ~E_immLeft_U)
(~Englishman_house4 | ~Ukrainian_house3 | ~E_immLeft_U)
(~Japanese_house0 | ~Englishman_house2 | ~J_immLeft_E)
(~Japanese_house0 | ~Englishman_house3 | ~J_immLeft_E)
(~Japanese_house0 | ~Englishman_house4 | ~J_immLeft_E)
(~Japanese_house1 | ~Englishman_house0 | ~J_immLeft_E)
(~Japanese_house1 | ~Englishman_house3 | ~J_immLeft_E)
(~Japanese_house1 | ~Englishman_house4 | ~J_immLeft_E)
(~Japanese_house2 | ~Englishman_house0 | ~J_immLeft_E)
(~Japanese_house2 | ~Englishman_house1 | ~J_immLeft_E)
(~Japanese_house2 | ~Englishman_house4 | ~J_immLeft_E)
(~Japanese_house3 | ~Englishman_house0 | ~J_immLeft_E)
(~Japanese_house3 | ~Englishman_house1 | ~J_immLeft_E)
(~Japanese_house3 | ~Englishman_house2 | ~J_immLeft_E)
(~Japanese_house4 | ~Englishman_house0 | ~J_immLeft_E)
(~Japanese_house4 | ~Englishman_house1 | ~J_immLeft_E)
(~Japanese_house4 | ~Englishman_house2 | ~J_immLeft_E)
(~Japanese_house4 | ~Englishman_house3 | ~J_immLeft_E)
(~Japanese_house0 | ~Norwegian_house2 | ~J_immLeft_N)
(~Japanese_house0 | ~Norwegian_house3 | ~J_immLeft_N)
(~Japanese_house0 | ~Norwegian_house4 | ~J_immLeft_N)
(~Japanese_house1 | ~Norwegian_house0 | ~J_immLeft_N)
(~Japanese_house1 | ~Norwegian_house3 | ~J_immLeft_N)
(~Japanese_house1 | ~Norwegian_house4 | ~J_immLeft_N)
(~Japanese_house2 | ~Norwegian_house0 | ~J_immLeft_N)
(~Japanese_house2 | ~Norwegian_house1 | ~J_immLeft_N)
(~Japanese_house2 | ~Norwegian_house4 | ~J_immLeft_N)
(~Japanese_house3 | ~Norwegian_house0 | ~J_immLeft_N)
(~Japanese_house3 | ~Norwegian_house1 | ~J_immLeft_N)
(~Japanese_house3 | ~Norwegian_house2 | ~J_immLeft_N)
(~Japanese_house4 | ~Norwegian_house0 | ~J_immLeft_N)
(~Japanese_house4 | ~Norwegian_house1 | ~J_immLeft_N)
(~Japanese_house4 | ~Norwegian_house2 | ~J_immLeft_N)
(~Japanese_house4 | ~Norwegian_house3 | ~J_immLeft_N)
(~Japanese_house0 | ~Spaniard_house2 | ~J_immLeft_S)
(~Japanese_house0 | ~Spaniard_house3 | ~J_immLeft_S)
(~Japanese_house0 | ~Spaniard_house4 | ~J_immLeft_S)
(~Japanese_house1 | ~Spaniard_house0 | ~J_immLeft_S)
(~Japanese_house1 | ~Spaniard_house3 | ~J_immLeft_S)
(~Japanese_house1 | ~Spaniard_house4 | ~J_immLeft_S)
(~Japanese_house2 | ~Spaniard_house0 | ~J_immLeft_S)
(~Japanese_house2 | ~Spaniard_house1 | ~J_immLeft_S)
(~Japanese_house2 | ~Spaniard_house4 | ~J_immLeft_S)
(~Japanese_house3 | ~Spaniard_house0 | ~J_immLeft_S)
(~Japanese_house3 | ~Spaniard_house1 | ~J_immLeft_S)
(~Japanese_house3 | ~Spaniard_house2 | ~J_immLeft_S)
(~Japanese_house4 | ~Spaniard_house0 | ~J_immLeft_S)
(~Japanese_house4 | ~Spaniard_house1 | ~J_immLeft_S)
(~Japanese_house4 | ~Spaniard_house2 | ~J_immLeft_S)
(~Japanese_house4 | ~Spaniard_house3 | ~J_immLeft_S)
(~Japanese_house0 | ~Ukrainian_house2 | ~J_immLeft_U)
(~Japanese_house0 | ~Ukrainian_house3 | ~J_immLeft_U)
(~Japanese_house0 | ~Ukrainian_house4 | ~J_immLeft_U)
(~Japanese_house1 | ~Ukrainian_house0 | ~J_immLeft_U)
(~Japanese_house1 | ~Ukrainian_house3 | ~J_immLeft_U)
(~Japanese_house1 | ~Ukrainian_house4 | ~J_immLeft_U)
(~Japanese_house2 | ~Ukrainian_house0 | ~J_immLeft_U)
(~Japanese_house2 | ~Ukrainian_house1 | ~J_immLeft_U)
(~Japanese_house2 | ~Ukrainian_house4 | ~J_immLeft_U)
(~Japanese_house3 | ~Ukrainian_house0 | ~J_immLeft_U)
(~Japanese_house3 | ~Ukrainian_house1 | ~J_immLeft_U)
(~Japanese_house3 | ~Ukrainian_house2 | ~J_immLeft_U)
(~Japanese_house4 | ~Ukrainian_house0 | ~J_immLeft_U)
(~Japanese_house4 | ~Ukrainian_house1 | ~J_immLeft_U)
(~Japanese_house4 | ~Ukrainian_house2 | ~J_immLeft_U)
(~Japanese_house4 | ~Ukrainian_house3 | ~J_immLeft_U)
(~Norwegian_house0 | ~Englishman_house2 | ~N_immLeft_E)
(~Norwegian_house0 | ~Englishman_house3 | ~N_immLeft_E)
(~Norwegian_house0 | ~Englishman_house4 | ~N_immLeft_E)
(~Norwegian_house1 | ~Englishman_house0 | ~N_immLeft_E)
(~Norwegian_house1 | ~Englishman_house3 | ~N_immLeft_E)
(~Norwegian_house1 | ~Englishman_house4 | ~N_immLeft_E)
(~Norwegian_house2 | ~Englishman_house0 | ~N_immLeft_E)
(~Norwegian_house2 | ~Englishman_house1 | ~N_immLeft_E)
(~Norwegian_house2 | ~Englishman_house4 | ~N_immLeft_E)
(~Norwegian_house3 | ~Englishman_house0 | ~N_immLeft_E)
(~Norwegian_house3 | ~Englishman_house1 | ~N_immLeft_E)
(~Norwegian_house3 | ~Englishman_house2 | ~N_immLeft_E)
(~Norwegian_house4 | ~Englishman_house0 | ~N_immLeft_E)
(~Norwegian_house4 | ~Englishman_house1 | ~N_immLeft_E)
(~Norwegian_house4 | ~Englishman_house2 | ~N_immLeft_E)
(~Norwegian_house4 | ~Englishman_house3 | ~N_immLeft_E)
(~Norwegian_house0 | ~Japanese_house2 | ~N_immLeft_J)
(~Norwegian_house0 | ~Japanese_house3 | ~N_immLeft_J)
(~Norwegian_house0 | ~Japanese_house4 | ~N_immLeft_J)
(~Norwegian_house1 | ~Japanese_house0 | ~N_immLeft_J)
(~Norwegian_house1 | ~Japanese_house3 | ~N_immLeft_J)
(~Norwegian_house1 | ~Japanese_house4 | ~N_immLeft_J)
(~Norwegian_house2 | ~Japanese_house0 | ~N_immLeft_J)
(~Norwegian_house2 | ~Japanese_house1 | ~N_immLeft_J)
(~Norwegian_house2 | ~Japanese_house4 | ~N_immLeft_J)
(~Norwegian_house3 | ~Japanese_house0 | ~N_immLeft_J)
(~Norwegian_house3 | ~Japanese_house1 | ~N_immLeft_J)
(~Norwegian_house3 | ~Japanese_house2 | ~N_immLeft_J)
(~Norwegian_house4 | ~Japanese_house0 | ~N_immLeft_J)
(~Norwegian_house4 | ~Japanese_house1 | ~N_immLeft_J)
(~Norwegian_house4 | ~Japanese_house2 | ~N_immLeft_J)
(~Norwegian_house4 | ~Japanese_house3 | ~N_immLeft_J)
(~Norwegian_house0 | ~Spaniard_house2 | ~N_immLeft_S)
(~Norwegian_house0 | ~Spaniard_house3 | ~N_immLeft_S)
(~Norwegian_house0 | ~Spaniard_house4 | ~N_immLeft_S)
(~Norwegian_house1 | ~Spaniard_house0 | ~N_immLeft_S)
(~Norwegian_house1 | ~Spaniard_house3 | ~N_immLeft_S)
(~Norwegian_house1 | ~Spaniard_house4 | ~N_immLeft_S)
(~Norwegian_house2 | ~Spaniard_house0 | ~N_immLeft_S)
(~Norwegian_house2 | ~Spaniard_house1 | ~N_immLeft_S)
(~Norwegian_house2 | ~Spaniard_house4 | ~N_immLeft_S)
(~Norwegian_house3 | ~Spaniard_house0 | ~N_immLeft_S)
(~Norwegian_house3 | ~Spaniard_house1 | ~N_immLeft_S)
(~Norwegian_house3 | ~Spaniard_house2 | ~N_immLeft_S)
(~Norwegian_house4 | ~Spaniard_house0 | ~N_immLeft_S)
(~Norwegian_house4 | ~Spaniard_house1 | ~N_immLeft_S)
(~Norwegian_house4 | ~Spaniard_house2 | ~N_immLeft_S)
(~Norwegian_house4 | ~Spaniard_house3 | ~N_immLeft_S)
(~Norwegian_house0 | ~Ukrainian_house2 | ~N_immLeft_U)
(~Norwegian_house0 | ~Ukrainian_house3 | ~N_immLeft_U)
(~Norwegian_house0 | ~Ukrainian_house4 | ~N_immLeft_U)
(~Norwegian_house1 | ~Ukrainian_house0 | ~N_immLeft_U)
(~Norwegian_house1 | ~Ukrainian_house3 | ~N_immLeft_U)
(~Norwegian_house1 | ~Ukrainian_house4 | ~N_immLeft_U)
(~Norwegian_house2 | ~Ukrainian_house0 | ~N_immLeft_U)
(~Norwegian_house2 | ~Ukrainian_house1 | ~N_immLeft_U)
(~Norwegian_house2 | ~Ukrainian_house4 | ~N_immLeft_U)
(~Norwegian_house3 | ~Ukrainian_house0 | ~N_immLeft_U)
(~Norwegian_house3 | ~Ukrainian_house1 | ~N_immLeft_U)
(~Norwegian_house3 | ~Ukrainian_house2 | ~N_immLeft_U)
(~Norwegian_house4 | ~Ukrainian_house0 | ~N_immLeft_U)
(~Norwegian_house4 | ~Ukrainian_house1 | ~N_immLeft_U)
(~Norwegian_house4 | ~Ukrainian_house2 | ~N_immLeft_U)
(~Norwegian_house4 | ~Ukrainian_house3 | ~N_immLeft_U)
(~Spaniard_house0 | ~Englishman_house2 | ~S_immLeft_E)
(~Spaniard_house0 | ~Englishman_house3 | ~S_immLeft_E)
(~Spaniard_house0 | ~Englishman_house4 | ~S_immLeft_E)
(~Spaniard_house1 | ~Englishman_house0 | ~S_immLeft_E)
(~Spaniard_house1 | ~Englishman_house3 | ~S_immLeft_E)
(~Spaniard_house1 | ~Englishman_house4 | ~S_immLeft_E)
(~Spaniard_house2 | ~Englishman_house0 | ~S_immLeft_E)
(~Spaniard_house2 | ~Englishman_house1 | ~S_immLeft_E)
(~Spaniard_house2 | ~Englishman_house4 | ~S_immLeft_E)
(~Spaniard_house3 | ~Englishman_house0 | ~S_immLeft_E)
(~Spaniard_house3 | ~Englishman_house1 | ~S_immLeft_E)
(~Spaniard_house3 | ~Englishman_house2 | ~S_immLeft_E)
(~Spaniard_house4 | ~Englishman_house0 | ~S_immLeft_E)
(~Spaniard_house4 | ~Englishman_house1 | ~S_immLeft_E)
(~Spaniard_house4 | ~Englishman_house2 | ~S_immLeft_E)
(~Spaniard_house4 | ~Englishman_house3 | ~S_immLeft_E)
(~Spaniard_house0 | ~Japanese_house2 | ~S_immLeft_J)
(~Spaniard_house0 | ~Japanese_house3 | ~S_immLeft_J)
(~Spaniard_house0 | ~Japanese_house4 | ~S_immLeft_J)
(~Spaniard_house1 | ~Japanese_house0 | ~S_immLeft_J)
(~Spaniard_house1 | ~Japanese_house3 | ~S_immLeft_J)
(~Spaniard_house1 | ~Japanese_house4 | ~S_immLeft_J)
(~Spaniard_house2 | ~Japanese_house0 | ~S_immLeft_J)
(~Spaniard_house2 | ~Japanese_house1 | ~S_immLeft_J)
(~Spaniard_house2 | ~Japanese_house4 | ~S_immLeft_J)
(~Spaniard_house3 | ~Japanese_house0 | ~S_immLeft_J)
(~Spaniard_house3 | ~Japanese_house1 | ~S_immLeft_J)
(~Spaniard_house3 | ~Japanese_house2 | ~S_immLeft_J)
(~Spaniard_house4 | ~Japanese_house0 | ~S_immLeft_J)
(~Spaniard_house4 | ~Japanese_house1 | ~S_immLeft_J)
(~Spaniard_house4 | ~Japanese_house2 | ~S_immLeft_J)
(~Spaniard_house4 | ~Japanese_house3 | ~S_immLeft_J)
(~Spaniard_house0 | ~Norwegian_house2 | ~S_immLeft_N)
(~Spaniard_house0 | ~Norwegian_house3 | ~S_immLeft_N)
(~Spaniard_house0 | ~Norwegian_house4 | ~S_immLeft_N)
(~Spaniard_house1 | ~Norwegian_house0 | ~S_immLeft_N)
(~Spaniard_house1 | ~Norwegian_house3 | ~S_immLeft_N)
(~Spaniard_house1 | ~Norwegian_house4 | ~S_immLeft_N)
(~Spaniard_house2 | ~Norwegian_house0 | ~S_immLeft_N)
(~Spaniard_house2 | ~Norwegian_house1 | ~S_immLeft_N)
(~Spaniard_house2 | ~Norwegian_house4 | ~S_immLeft_N)
(~Spaniard_house3 | ~Norwegian_house0 | ~S_immLeft_N)
(~Spaniard_house3 | ~Norwegian_house1 | ~S_immLeft_N)
(~Spaniard_house3 | ~Norwegian_house2 | ~S_immLeft_N)
(~Spaniard_house4 | ~Norwegian_house0 | ~S_immLeft_N)
(~Spaniard_house4 | ~Norwegian_house1 | ~S_immLeft_N)
(~Spaniard_house4 | ~Norwegian_house2 | ~S_immLeft_N)
(~Spaniard_house4 | ~Norwegian_house3 | ~S_immLeft_N)
(~Spaniard_house0 | ~Ukrainian_house2 | ~S_immLeft_U)
(~Spaniard_house0 | ~Ukrainian_house3 | ~S_immLeft_U)
(~Spaniard_house0 | ~Ukrainian_house4 | ~S_immLeft_U)
(~Spaniard_house1 | ~Ukrainian_house0 | ~S_immLeft_U)
(~Spaniard_house1 | ~Ukrainian_house3 | ~S_immLeft_U)
(~Spaniard_house1 | ~Ukrainian_house4 | ~S_immLeft_U)
(~Spaniard_house2 | ~Ukrainian_house0 | ~S_immLeft_U)
(~Spaniard_house2 | ~Ukrainian_house1 | ~S_immLeft_U)
(~Spaniard_house2 | ~Ukrainian_house4 | ~S_immLeft_U)
(~Spaniard_house3 | ~Ukrainian_house0 | ~S_immLeft_U)
(~Spaniard_house3 | ~Ukrainian_house1 | ~S_immLeft_U)
(~Spaniard_house3 | ~Ukrainian_house2 | ~S_immLeft_U)
(~Spaniard_house4 | ~Ukrainian_house0 | ~S_immLeft_U)
(~Spaniard_house4 | ~Ukrainian_house1 | ~S_immLeft_U)
(~Spaniard_house4 | ~Ukrainian_house2 | ~S_immLeft_U)
(~Spaniard_house4 | ~Ukrainian_house3 | ~S_immLeft_U)
(~Ukrainian_house0 | ~Englishman_house2 | ~U_immLeft_E)
(~Ukrainian_house0 | ~Englishman_house3 | ~U_immLeft_E)
(~Ukrainian_house0 | ~Englishman_house4 | ~U_immLeft_E)
(~Ukrainian_house1 | ~Englishman_house0 | ~U_immLeft_E)
(~Ukrainian_house1 | ~Englishman_house3 | ~U_immLeft_E)
(~Ukrainian_house1 | ~Englishman_house4 | ~U_immLeft_E)
(~Ukrainian_house2 | ~Englishman_house0 | ~U_immLeft_E)
(~Ukrainian_house2 | ~Englishman_house1 | ~U_immLeft_E)
(~Ukrainian_house2 | ~Englishman_house4 | ~U_immLeft_E)
(~Ukrainian_house3 | ~Englishman_house0 | ~U_immLeft_E)
(~Ukrainian_house3 | ~Englishman_house1 | ~U_immLeft_E)
(~Ukrainian_house3 | ~Englishman_house2 | ~U_immLeft_E)
(~Ukrainian_house4 | ~Englishman_house0 | ~U_immLeft_E)
(~Ukrainian_house4 | ~Englishman_house1 | ~U_immLeft_E)
(~Ukrainian_house4 | ~Englishman_house2 | ~U_immLeft_E)
(~Ukrainian_house4 | ~Englishman_house3 | ~U_immLeft_E)
(~Ukrainian_house0 | ~Japanese_house2 | ~U_immLeft_J)
(~Ukrainian_house0 | ~Japanese_house3 | ~U_immLeft_J)
(~Ukrainian_house0 | ~Japanese_house4 | ~U_immLeft_J)
(~Ukrainian_house1 | ~Japanese_house0 | ~U_immLeft_J)
(~Ukrainian_house1 | ~Japanese_house3 | ~U_immLeft_J)
(~Ukrainian_house1 | ~Japanese_house4 | ~U_immLeft_J)
(~Ukrainian_house2 | ~Japanese_house0 | ~U_immLeft_J)
(~Ukrainian_house2 | ~Japanese_house1 | ~U_immLeft_J)
(~Ukrainian_house2 | ~Japanese_house4 | ~U_immLeft_J)
(~Ukrainian_house3 | ~Japanese_house0 | ~U_immLeft_J)
(~Ukrainian_house3 | ~Japanese_house1 | ~U_immLeft_J)
(~Ukrainian_house3 | ~Japanese_house2 | ~U_immLeft_J)
(~Ukrainian_house4 | ~Japanese_house0 | ~U_immLeft_J)
(~Ukrainian_house4 | ~Japanese_house1 | ~U_immLeft_J)
(~Ukrainian_house4 | ~Japanese_house2 | ~U_immLeft_J)
(~Ukrainian_house4 | ~Japanese_house3 | ~U_immLeft_J)
(~Ukrainian_house0 | ~Norwegian_house2 | ~U_immLeft_N)
(~Ukrainian_house0 | ~Norwegian_house3 | ~U_immLeft_N)
(~Ukrainian_house0 | ~Norwegian_house4 | ~U_immLeft_N)
(~Ukrainian_house1 | ~Norwegian_house0 | ~U_immLeft_N)
(~Ukrainian_house1 | ~Norwegian_house3 | ~U_immLeft_N)
(~Ukrainian_house1 | ~Norwegian_house4 | ~U_immLeft_N)
(~Ukrainian_house2 | ~Norwegian_house0 | ~U_immLeft_N)
(~Ukrainian_house2 | ~Norwegian_house1 | ~U_immLeft_N)
(~Ukrainian_house2 | ~Norwegian_house4 | ~U_immLeft_N)
(~Ukrainian_house3 | ~Norwegian_house0 | ~U_immLeft_N)
(~Ukrainian_house3 | ~Norwegian_house1 | ~U_immLeft_N)
(~Ukrainian_house3 | ~Norwegian_house2 | ~U_immLeft_N)
(~Ukrainian_house4 | ~Norwegian_house0 | ~U_immLeft_N)
(~Ukrainian_house4 | ~Norwegian_house1 | ~U_immLeft_N)
(~Ukrainian_house4 | ~Norwegian_house2 | ~U_immLeft_N)
(~Ukrainian_house4 | ~Norwegian_house3 | ~U_immLeft_N)
(~Ukrainian_house0 | ~Spaniard_house2 | ~U_immLeft_S)
(~Ukrainian_house0 | ~Spaniard_house3 | ~U_immLeft_S)
(~Ukrainian_house0 | ~Spaniard_house4 | ~U_immLeft_S)
(~Ukrainian_house1 | ~Spaniard_house0 | ~U_immLeft_S)
(~Ukrainian_house1 | ~Spaniard_house3 | ~U_immLeft_S)
(~Ukrainian_house1 | ~Spaniard_house4 | ~U_immLeft_S)
(~Ukrainian_house2 | ~Spaniard_house0 | ~U_immLeft_S)
(~Ukrainian_house2 | ~Spaniard_house1 | ~U_immLeft_S)
(~Ukrainian_house2 | ~Spaniard_house4 | ~U_immLeft_S)
(~Ukrainian_house3 | ~Spaniard_house0 | ~U_immLeft_S)
(~Ukrainian_house3 | ~Spaniard_house1 | ~U_immLeft_S)
(~Ukrainian_house3 | ~Spaniard_house2 | ~U_immLeft_S)
(~Ukrainian_house4 | ~Spaniard_house0 | ~U_immLeft_S)
(~Ukrainian_house4 | ~Spaniard_house1 | ~U_immLeft_S)
(~Ukrainian_house4 | ~Spaniard_house2 | ~U_immLeft_S)
(~Ukrainian_house4 | ~Spaniard_house3 | ~U_immLeft_S)
(~E_immLeft_J | E_nextTo_J)
(~E_immLeft_N | E_nextTo_N)
(~E_immLeft_S | E_nextTo_S)
(~E_immLeft_U | E_nextTo_U)
(~J_immLeft_N | J_nextTo_N)
(~J_immLeft_S | J_nextTo_S)
(~J_immLeft_U | J_nextTo_U)
(~N_immLeft_S | N_nextTo_S)
(~N_immLeft_U | N_nextTo_U)
(~S_immLeft_U | S_nextTo_U)
(~J_immLeft_E | E_nextTo_J)
(~N_immLeft_E | E_nextTo_N)
(~S_immLeft_E | E_nextTo_S)
(~U_immLeft_E | E_nextTo_U)
(~N_immLeft_J | J_nextTo_N)
(~S_immLeft_J | J_nextTo_S)
(~U_immLeft_J | J_nextTo_U)
(~S_immLeft_N | N_nextTo_S)
(~U_immLeft_N | N_nextTo_U)
(~U_immLeft_S | S_nextTo_U)
(E_immLeft_J | J_immLeft_E | ~E_nextTo_J)
(E_immLeft_N | N_immLeft_E | ~E_nextTo_N)
(E_immLeft_S | S_immLeft_E | ~E_nextTo_S)
(E_immLeft_U | U_immLeft_E | ~E_nextTo_U)
(J_immLeft_N | N_immLeft_J | ~J_nextTo_N)
(J_immLeft_S | S_immLeft_J | ~J_nextTo_S)
(J_immLeft_U | U_immLeft_J | ~J_nextTo_U)
(N_immLeft_S | S_immLeft_N | ~N_nextTo_S)
(N_immLeft_U | U_immLeft_N | ~N_nextTo_U)
(S_immLeft_U | U_immLeft_S | ~S_nextTo_U)
(~Englishman_house0 | ~Japanese_house0)
(~Englishman_house0 | ~Norwegian_house0)
(~Englishman_house0 | ~Spaniard_house0)
(~Englishman_house0 | ~Ukrainian_house0)
(~Japanese_house0 | ~Norwegian_house0)
(~Japanese_house0 | ~Spaniard_house0)
(~Japanese_house0 | ~Ukrainian_house0)
(~Norwegian_house0 | ~Spaniard_house0)
(~Norwegian_house0 | ~Ukrainian_house0)
(~Spaniard_house0 | ~Ukrainian_house0)
(~Englishman_house1 | ~Japanese_house1)
(~Englishman_house1 | ~Norwegian_house1)
(~Englishman_house1 | ~Spaniard_house1)
(~Englishman_house1 | ~Ukrainian_house1)
(~Japanese_house1 | ~Norwegian_house1)
(~Japanese_house1 | ~Spaniard_house1)
(~Japanese_house1 | ~Ukrainian_house1)
(~Norwegian_house1 | ~Spaniard_house1)
(~Norwegian_house1 | ~Ukrainian_house1)
(~Spaniard_house1 | ~Ukrainian_house1)
(~Englishman_house2 | ~Japanese_house2)
(~Englishman_house2 | ~Norwegian_house2)
(~Englishman_house2 | ~Spaniard_house2)
(~Englishman_house2 | ~Ukrainian_house2)
(~Japanese_house2 | ~Norwegian_house2)
(~Japanese_house2 | ~Spaniard_house2)
(~Japanese_house2 | ~Ukrainian_house2)
(~Norwegian_house2 | ~Spaniard_house2)
(~Norwegian_house2 | ~Ukrainian_house2)
(~Spaniard_house2 | ~Ukrainian_house2)
(~Englishman_house3 | ~Japanese_house3)
(~Englishman_house3 | ~Norwegian_house3)
(~Englishman_house3 | ~Spaniard_house3)
(~Englishman_house3 | ~Ukrainian_house3)
(~Japanese_house3 | ~Norwegian_house3)
(~Japanese_house3 | ~Spaniard_house3)
(~Japanese_house3 | ~Ukrainian_house3)
(~Norwegian_house3 | ~Spaniard_house3)
(~Norwegian_house3 | ~Ukrainian_house3)
(~Spaniard_house3 | ~Ukrainian_house3)
(~Englishman_house4 | ~Japanese_house4)
(~Englishman_house4 | ~Norwegian_house4)
(~Englishman_house4 | ~Spaniard_house4)
(~Englishman_house4 | ~Ukrainian_house4)
(~Japanese_house4 | ~Norwegian_house4)
(~Japanese_house4 | ~Spaniard_house4)
(~Japanese_house4 | ~Ukrainian_house4)
(~Norwegian_house4 | ~Spaniard_house4)
(~Norwegian_house4 | ~Ukrainian_house4)
(~Spaniard_house4 | ~Ukrainian_house4)
(~Englishman_redHouse | ~Japanese_redHouse)
(~Englishman_redHouse | ~Norwegian_redHouse)
(~Englishman_redHouse | ~Spaniard_redHouse)
(~Englishman_redHouse | ~Ukrainian_redHouse)
(~Japanese_redHouse | ~Norwegian_redHouse)
(~Japanese_redHouse | ~Spaniard_redHouse)
(~Japanese_redHouse | ~Ukrainian_redHouse)
(~Norwegian_redHouse | ~Spaniard_redHouse)
(~Norwegian_redHouse | ~Ukrainian_redHouse)
(~Spaniard_redHouse | ~Ukrainian_redHouse)
(~Englishman_greenHouse | ~Japanese_greenHouse)
(~Englishman_greenHouse | ~Norwegian_greenHouse)
(~Englishman_greenHouse | ~Spaniard_greenHouse)
(~Englishman_greenHouse | ~Ukrainian_greenHouse)
(~Japanese_greenHouse | ~Norwegian_greenHouse)
(~Japanese_greenHouse | ~Spaniard_greenHouse)
(~Japanese_greenHouse | ~Ukrainian_greenHouse)
(~Norwegian_greenHouse | ~Spaniard_greenHouse)
(~Norwegian_greenHouse | ~Ukrainian_greenHouse)
(~Spaniard_greenHouse | ~Ukrainian_greenHouse)
(~Englishman_ivoryHouse | ~Japanese_ivoryHouse)
(~Englishman_ivoryHouse | ~Norwegian_ivoryHouse)
(~Englishman_ivoryHouse | ~Spaniard_ivoryHouse)
(~Englishman_ivoryHouse | ~Ukrainian_ivoryHouse)
(~Japanese_ivoryHouse | ~Norwegian_ivoryHouse)
(~Japanese_ivoryHouse | ~Spaniard_ivoryHouse)
(~Japanese_ivoryHouse | ~Ukrainian_ivoryHouse)
(~Norwegian_ivoryHouse | ~Spaniard_ivoryHouse)
(~Norwegian_ivoryHouse | ~Ukrainian_ivoryHouse)
(~Spaniard_ivoryHouse | ~Ukrainian_ivoryHouse)
(~Englishman_yellowHouse | ~Japanese_yellowHouse)
(~Englishman_yellowHouse | ~Norwegian_yellowHouse)
(~Englishman_yellowHouse | ~Spaniard_yellowHouse)
(~Englishman_yellowHouse | ~Ukrainian_yellowHouse)
(~Japanese_yellowHouse | ~Norwegian_yellowHouse)
(~Japanese_yellowHouse | ~Spaniard_yellowHouse)
(~Japanese_yellowHouse | ~Ukrainian_yellowHouse)
(~Norwegian_yellowHouse | ~Spaniard_yellowHouse)
(~Norwegian_yellowHouse | ~Ukrainian_yellowHouse)
(~Spaniard_yellowHouse | ~Ukrainian_yellowHouse)
(~Englishman_blueHouse | ~Japanese_blueHouse)
(~Englishman_blueHouse | ~Norwegian_blueHouse)
(~Englishman_blueHouse | ~Spaniard_blueHouse)
(~Englishman_blueHouse | ~Ukrainian_blueHouse)
(~Japanese_blueHouse | ~Norwegian_blueHouse)
(~Japanese_blueHouse | ~Spaniard_blueHouse)
(~Japanese_blueHouse | ~Ukrainian_blueHouse)
(~Norwegian_blueHouse | ~Spaniard_blueHouse)
(~Norwegian_blueHouse | ~Ukrainian_blueHouse)
(~Spaniard_blueHouse | ~Ukrainian_blueHouse)
(~Englishman_zebra | ~Japanese_zebra)
(~Englishman_zebra | ~Norwegian_zebra)
(~Englishman_zebra | ~Spaniard_zebra)
(~Englishman_zebra | ~Ukrainian_zebra)
(~Japanese_zebra | ~Norwegian_zebra)
(~Japanese_zebra | ~Spaniard_zebra)
(~Japanese_zebra | ~Ukrainian_zebra)
(~Norwegian_zebra | ~Spaniard_zebra)
(~Norwegian_zebra | ~Ukrainian_zebra)
(~Spaniard_zebra | ~Ukrainian_zebra)
(~Englishman_dog | ~Japanese_dog)
(~Englishman_dog | ~Norwegian_dog)
(~Englishman_dog | ~Spaniard_dog)
(~Englishman_dog | ~Ukrainian_dog)
(~Japanese_dog | ~Norwegian_dog)
(~Japanese_dog | ~Spaniard_dog)
(~Japanese_dog | ~Ukrainian_dog)
(~Norwegian_dog | ~Spaniard_dog)
(~Norwegian_dog | ~Ukrainian_dog)
(~Spaniard_dog | ~Ukrainian_dog)
(~Englishman_horse | ~Japanese_horse)
(~Englishman_horse | ~Norwegian_horse)
(~Englishman_horse | ~Spaniard_horse)
(~Englishman_horse | ~Ukrainian_horse)
(~Japanese_horse | ~Norwegian_horse)
(~Japanese_horse | ~Spaniard_horse)
(~Japanese_horse | ~Ukrainian_horse)
(~Norwegian_horse | ~Spaniard_horse)
(~Norwegian_horse | ~Ukrainian_horse)
(~Spaniard_horse | ~Ukrainian_horse)
(~Englishman_fox | ~Japanese_fox)
(~Englishman_fox | ~Norwegian_fox)
(~Englishman_fox | ~Spaniard_fox)
(~Englishman_fox | ~Ukrainian_fox)
(~Japanese_fox | ~Norwegian_fox)
(~Japanese_fox | ~Spaniard_fox)
(~Japanese_fox | ~Ukrainian_fox)
(~Norwegian_fox | ~Spaniard_fox)
(~Norwegian_fox | ~Ukrainian_fox)
(~Spaniard_fox | ~Ukrainian_fox)
(~Englishman_snails | ~Japanese_snails)
(~Englishman_snails | ~Norwegian_snails)
(~Englishman_snails | ~Spaniard_snails)
(~Englishman_snails | ~Ukrainian_snails)
(~Japanese_snails | ~Norwegian_snails)
(~Japanese_snails | ~Spaniard_snails)
(~Japanese_snails | ~Ukrainian_snails)
(~Norwegian_snails | ~Spaniard_snails)
(~Norwegian_snails | ~Ukrainian_snails)
(~Spaniard_snails | ~Ukrainian_snails)
(~Englishman_coffee | ~Japanese_coffee)
(~Englishman_coffee | ~Norwegian_coffee)
(~Englishman_coffee | ~Spaniard_coffee)
(~Englishman_coffee | ~Ukrainian_coffee)
(~Japanese_coffee | ~Norwegian_coffee)
(~Japanese_coffee | ~Spaniard_coffee)
(~Japanese_coffee | ~Ukrainian_coffee)
(~Norwegian_coffee | ~Spaniard_coffee)
(~Norwegian_coffee | ~Ukrainian_coffee)
(~Spaniard_coffee | ~Ukrainian_coffee)
(~Englishman_tea | ~Japanese_tea)
(~Englishman_tea | ~Norwegian_tea)
(~Englishman_tea | ~Spaniard_tea)
(~Englishman_tea | ~Ukrainian_tea)
(~Japanese_tea | ~Norwegian_tea)
(~Japanese_tea | ~Spaniard_tea)
(~Japanese_tea | ~Ukrainian_tea)
(~Norwegian_tea | ~Spaniard_tea)
(~Norwegian_tea | ~Ukrainian_tea)
(~Spaniard_tea | ~Ukrainian_tea)
(~Englishman_orangeJuice | ~Japanese_orangeJuice)
(~Englishman_orangeJuice | ~Norwegian_orangeJuice)
(~Englishman_orangeJuice | ~Spaniard_orangeJuice)
(~Englishman_orangeJuice | ~Ukrainian_orangeJuice)
(~Japanese_orangeJuice | ~Norwegian_orangeJuice)
(~Japanese_orangeJuice | ~Spaniard_orangeJuice)
(~Japanese_orangeJuice | ~Ukrainian_orangeJuice)
(~Norwegian_orangeJuice | ~Spaniard_orangeJuice)
(~Norwegian_orangeJuice | ~Ukrainian_orangeJuice)
(~Spaniard_orangeJuice | ~Ukrainian_orangeJuice)
(~Englishman_water | ~Japanese_water)
(~Englishman_water | ~Norwegian_water)
(~Englishman_water | ~Spaniard_water)
(~Englishman_water | ~Ukrainian_water)
(~Japanese_water | ~Norwegian_water)
(~Japanese_water | ~Spaniard_water)
(~Japanese_water | ~Ukrainian_water)
(~Norwegian_water | ~Spaniard_water)
(~Norwegian_water | ~Ukrainian_water)
(~Spaniard_water | ~Ukrainian_water)
(~Englishman_milk | ~Japanese_milk)
(~Englishman_milk | ~Norwegian_milk)
(~Englishman_milk | ~Spaniard_milk)
(~Englishman_milk | ~Ukrainian_milk)
(~Japanese_milk | ~Norwegian_milk)
(~Japanese_milk | ~Spaniard_milk)
(~Japanese_milk | ~Ukrainian_milk)
(~Norwegian_milk | ~Spaniard_milk)
(~Norwegian_milk | ~Ukrainian_milk)
(~Spaniard_milk | ~Ukrainian_milk)
(~Englishman_oldGold | ~Japanese_oldGold)
(~Englishman_oldGold | ~Norwegian_oldGold)
(~Englishman_oldGold | ~Spaniard_oldGold)
(~Englishman_oldGold | ~Ukrainian_oldGold)
(~Japanese_oldGold | ~Norwegian_oldGold)
(~Japanese_oldGold | ~Spaniard_oldGold)
(~Japanese_oldGold | ~Ukrainian_oldGold)
(~Norwegian_oldGold | ~Spaniard_oldGold)
(~Norwegian_oldGold | ~Ukrainian_oldGold)
(~Spaniard_oldGold | ~Ukrainian_oldGold)
(~Englishman_parliament | ~Japanese_parliament)
(~Englishman_parliament | ~Norwegian_parliament)
(~Englishman_parliament | ~Spaniard_parliament)
(~Englishman_parliament | ~Ukrainian_parliament)
(~Japanese_parliament | ~Norwegian_parliament)
(~Japanese_parliament | ~Spaniard_parliament)
(~Japanese_parliament | ~Ukrainian_parliament)
(~Norwegian_parliament | ~Spaniard_parliament)
(~Norwegian_parliament | ~Ukrainian_parliament)
(~Spaniard_parliament | ~Ukrainian_parliament)
(~Englishman_kool | ~Japanese_kool)
(~Englishman_kool | ~Norwegian_kool)
(~Englishman_kool | ~Spaniard_kool)
(~Englishman_kool | ~Ukrainian_kool)
(~Japanese_kool | ~Norwegian_kool)
(~Japanese_kool | ~Spaniard_kool)
(~Japanese_kool | ~Ukrainian_kool)
(~Norwegian_kool | ~Spaniard_kool)
(~Norwegian_kool | ~Ukrainian_kool)
(~Spaniard_kool | ~Ukrainian_kool)
(~Englishman_luckyStrike | ~Japanese_luckyStrike)
(~Englishman_luckyStrike | ~Norwegian_luckyStrike)
(~Englishman_luckyStrike | ~Spaniard_luckyStrike)
(~Englishman_luckyStrike | ~Ukrainian_luckyStrike)
(~Japanese_luckyStrike | ~Norwegian_luckyStrike)
(~Japanese_luckyStrike | ~Spaniard_luckyStrike)
(~Japanese_luckyStrike | ~Ukrainian_luckyStrike)
(~Norwegian_luckyStrike | ~Spaniard_luckyStrike)
(~Norwegian_luckyStrike | ~Ukrainian_luckyStrike)
(~Spaniard_luckyStrike | ~Ukrainian_luckyStrike)
(~Englishman_chesterfield | ~Japanese_chesterfield)
(~Englishman_chesterfield | ~Norwegian_chesterfield)
(~Englishman_chesterfield | ~Spaniard_chesterfield)
(~Englishman_chesterfield | ~Ukrainian_chesterfield)
(~Japanese_chesterfield | ~Norwegian_chesterfield)
(~Japanese_chesterfield | ~Spaniard_chesterfield)
(~Japanese_chesterfield | ~Ukrainian_chesterfield)
(~Norwegian_chesterfield | ~Spaniard_chesterfield)
(~Norwegian_chesterfield | ~Ukrainian_chesterfield)
(~Spaniard_chesterfield | ~Ukrainian_chesterfield)
(Englishman_redHouse)
(Spaniard_dog)
(Ukrainian_tea)
(Norwegian_house0)
(Japanese_parliament)
(~Norwegian_blueHouse)
(~Englishman_blueHouse | E_nextTo_N)
(~Japanese_blueHouse | J_nextTo_N)
(~Spaniard_blueHouse | N_nextTo_S)
(~Ukrainian_blueHouse | N_nextTo_U)
(~Englishman_coffee | ~Japanese_greenHouse)
(~Englishman_coffee | ~Norwegian_greenHouse)
(~Englishman_coffee | ~Spaniard_greenHouse)
(~Englishman_coffee | ~Ukrainian_greenHouse)
(~Japanese_coffee | ~Englishman_greenHouse)
(~Japanese_coffee | ~Norwegian_greenHouse)
(~Japanese_coffee | ~Spaniard_greenHouse)
(~Japanese_coffee | ~Ukrainian_greenHouse)
(~Norwegian_coffee | ~Englishman_greenHouse)
(~Norwegian_coffee | ~Japanese_greenHouse)
(~Norwegian_coffee | ~Spaniard_greenHouse)
(~Norwegian_coffee | ~Ukrainian_greenHouse)
(~Spaniard_coffee | ~Englishman_greenHouse)
(~Spaniard_coffee | ~Japanese_greenHouse)
(~Spaniard_coffee | ~Norwegian_greenHouse)
(~Spaniard_coffee | ~Ukrainian_greenHouse)
(~Ukrainian_coffee | ~Englishman_greenHouse)
(~Ukrainian_coffee | ~Japanese_greenHouse)
(~Ukrainian_coffee | ~Norwegian_greenHouse)
(~Ukrainian_coffee | ~Spaniard_greenHouse)
(~Englishman_snails | ~Japanese_oldGold)
(~Englishman_snails | ~Norwegian_oldGold)
(~Englishman_snails | ~Spaniard_oldGold)
(~Englishman_snails | ~Ukrainian_oldGold)
(~Japanese_snails | ~Englishman_oldGold)
(~Japanese_snails | ~Norwegian_oldGold)
(~Japanese_snails | ~Spaniard_oldGold)
(~Japanese_snails | ~Ukrainian_oldGold)
(~Norwegian_snails | ~Englishman_oldGold)
(~Norwegian_snails | ~Japanese_oldGold)
(~Norwegian_snails | ~Spaniard_oldGold)
(~Norwegian_snails | ~Ukrainian_oldGold)
(~Spaniard_snails | ~Englishman_oldGold)
(~Spaniard_snails | ~Japanese_oldGold)
(~Spaniard_snails | ~Norwegian_oldGold)
(~Spaniard_snails | ~Ukrainian_oldGold)
(~Ukrainian_snails | ~Englishman_oldGold)
(~Ukrainian_snails | ~Japanese_oldGold)
(~Ukrainian_snails | ~Norwegian_oldGold)
(~Ukrainian_snails | ~Spaniard_oldGold)
(~Englishman_yellowHouse | ~Japanese_kool)
(~Englishman_yellowHouse | ~Norwegian_kool)
(~Englishman_yellowHouse | ~Spaniard_kool)
(~Englishman_yellowHouse | ~Ukrainian_kool)
(~Japanese_yellowHouse | ~Englishman_kool)
(~Japanese_yellowHouse | ~Norwegian_kool)
(~Japanese_yellowHouse | ~Spaniard_kool)
(~Japanese_yellowHouse | ~Ukrainian_kool)
(~Norwegian_yellowHouse | ~Englishman_kool)
(~Norwegian_yellowHouse | ~Japanese_kool)
(~Norwegian_yellowHouse | ~Spaniard_kool)
(~Norwegian_yellowHouse | ~Ukrainian_kool)
(~Spaniard_yellowHouse | ~Englishman_kool)
(~Spaniard_yellowHouse | ~Japanese_kool)
(~Spaniard_yellowHouse | ~Norwegian_kool)
(~Spaniard_yellowHouse | ~Ukrainian_kool)
(~Ukrainian_yellowHouse | ~Englishman_kool)
(~Ukrainian_yellowHouse | ~Japanese_kool)
(~Ukrainian_yellowHouse | ~Norwegian_kool)
(~Ukrainian_yellowHouse | ~Spaniard_kool)
(~Englishman_luckyStrike | ~Japanese_orangeJuice)
(~Englishman_luckyStrike | ~Norwegian_orangeJuice)
(~Englishman_luckyStrike | ~Spaniard_orangeJuice)
(~Englishman_luckyStrike | ~Ukrainian_orangeJuice)
(~Japanese_luckyStrike | ~Englishman_orangeJuice)
(~Japanese_luckyStrike | ~Norwegian_orangeJuice)
(~Japanese_luckyStrike | ~Spaniard_orangeJuice)
(~Japanese_luckyStrike | ~Ukrainian_orangeJuice)
(~Norwegian_luckyStrike | ~Englishman_orangeJuice)
(~Norwegian_luckyStrike | ~Japanese_orangeJuice)
(~Norwegian_luckyStrike | ~Spaniard_orangeJuice)
(~Norwegian_luckyStrike | ~Ukrainian_orangeJuice)
(~Spaniard_luckyStrike | ~Englishman_orangeJuice)
(~Spaniard_luckyStrike | ~Japanese_orangeJuice)
(~Spaniard_luckyStrike | ~Norwegian_orangeJuice)
(~Spaniard_luckyStrike | ~Ukrainian_orangeJuice)
(~Ukrainian_luckyStrike | ~Englishman_orangeJuice)
(~Ukrainian_luckyStrike | ~Japanese_orangeJuice)
(~Ukrainian_luckyStrike | ~Norwegian_orangeJuice)
(~Ukrainian_luckyStrike | ~Spaniard_orangeJuice)
(~Englishman_milk | ~Japanese_house2)
(~Englishman_milk | ~Norwegian_house2)
(~Englishman_milk | ~Spaniard_house2)
(~Englishman_milk | ~Ukrainian_house2)
(~Japanese_milk | ~Englishman_house2)
(~Japanese_milk | ~Norwegian_house2)
(~Japanese_milk | ~Spaniard_house2)
(~Japanese_milk | ~Ukrainian_house2)
(~Norwegian_milk | ~Englishman_house2)
(~Norwegian_milk | ~Japanese_house2)
(~Norwegian_milk | ~Spaniard_house2)
(~Norwegian_milk | ~Ukrainian_house2)
(~Spaniard_milk | ~Englishman_house2)
(~Spaniard_milk | ~Japanese_house2)
(~Spaniard_milk | ~Norwegian_house2)
(~Spaniard_milk | ~Ukrainian_house2)
(~Ukrainian_milk | ~Englishman_house2)
(~Ukrainian_milk | ~Japanese_house2)
(~Ukrainian_milk | ~Norwegian_house2)
(~Ukrainian_milk | ~Spaniard_house2)
(~Englishman_ivoryHouse | ~Japanese_greenHouse | E_immLeft_J)
(~Englishman_ivoryHouse | ~Norwegian_greenHouse | E_immLeft_N)
(~Englishman_ivoryHouse | ~Spaniard_greenHouse | E_immLeft_S)
(~Englishman_ivoryHouse | ~Ukrainian_greenHouse | E_immLeft_U)
(~Japanese_ivoryHouse | ~Englishman_greenHouse | J_immLeft_E)
(~Japanese_ivoryHouse | ~Norwegian_greenHouse | J_immLeft_N)
(~Japanese_ivoryHouse | ~Spaniard_greenHouse | J_immLeft_S)
(~Japanese_ivoryHouse | ~Ukrainian_greenHouse | J_immLeft_U)
(~Norwegian_ivoryHouse | ~Englishman_greenHouse | N_immLeft_E)
(~Norwegian_ivoryHouse | ~Japanese_greenHouse | N_immLeft_J)
(~Norwegian_ivoryHouse | ~Spaniard_greenHouse | N_immLeft_S)
(~Norwegian_ivoryHouse | ~Ukrainian_greenHouse | N_immLeft_U)
(~Spaniard_ivoryHouse | ~Englishman_greenHouse | S_immLeft_E)
(~Spaniard_ivoryHouse | ~Japanese_greenHouse | S_immLeft_J)
(~Spaniard_ivoryHouse | ~Norwegian_greenHouse | S_immLeft_N)
(~Spaniard_ivoryHouse | ~Ukrainian_greenHouse | S_immLeft_U)
(~Ukrainian_ivoryHouse | ~Englishman_greenHouse | U_immLeft_E)
(~Ukrainian_ivoryHouse | ~Japanese_greenHouse | U_immLeft_J)
(~Ukrainian_ivoryHouse | ~Norwegian_greenHouse | U_immLeft_N)
(~Ukrainian_ivoryHouse | ~Spaniard_greenHouse | U_immLeft_S)
(~Englishman_chesterfield | ~Englishman_fox)
(~Japanese_chesterfield | ~Japanese_fox)
(~Norwegian_chesterfield | ~Norwegian_fox)
(~Spaniard_chesterfield | ~Spaniard_fox)
(~Ukrainian_chesterfield | ~Ukrainian_fox)
(~Englishman_chesterfield | ~Japanese_fox | E_nextTo_J)
(~Englishman_chesterfield | ~Norwegian_fox | E_nextTo_N)
(~Englishman_chesterfield | ~Spaniard_fox | E_nextTo_S)
(~Englishman_chesterfield | ~Ukrainian_fox | E_nextTo_U)
(~Japanese_chesterfield | ~Englishman_fox | E_nextTo_J)
(~Japanese_chesterfield | ~Norwegian_fox | J_nextTo_N)
(~Japanese_chesterfield | ~Spaniard_fox | J_nextTo_S)
(~Japanese_chesterfield | ~Ukrainian_fox | J_nextTo_U)
(~Norwegian_chesterfield | ~Englishman_fox | E_nextTo_N)
(~Norwegian_chesterfield | ~Japanese_fox | J_nextTo_N)
(~Norwegian_chesterfield | ~Spaniard_fox | N_nextTo_S)
(~Norwegian_chesterfield | ~Ukrainian_fox | N_nextTo_U)
(~Spaniard_chesterfield | ~Englishman_fox | E_nextTo_S)
(~Spaniard_chesterfield | ~Japanese_fox | J_nextTo_S)
(~Spaniard_chesterfield | ~Norwegian_fox | N_nextTo_S)
(~Spaniard_chesterfield | ~Ukrainian_fox | S_nextTo_U)
(~Ukrainian_chesterfield | ~Englishman_fox | E_nextTo_U)
(~Ukrainian_chesterfield | ~Japanese_fox | J_nextTo_U)
(~Ukrainian_chesterfield | ~Norwegian_fox | N_nextTo_U)
(~Ukrainian_chesterfield | ~Spaniard_fox | S_nextTo_U)
(~Englishman_kool | ~Englishman_horse)
(~Japanese_kool | ~Japanese_horse)
(~Norwegian_kool | ~Norwegian_horse)
(~Spaniard_kool | ~Spaniard_horse)
(~Ukrainian_kool | ~Ukrainian_horse)
(~Englishman_kool | ~Japanese_horse | E_nextTo_J)
(~Englishman_kool | ~Norwegian_horse | E_nextTo_N)
(~Englishman_kool | ~Spaniard_horse | E_nextTo_S)
(~Englishman_kool | ~Ukrainian_horse | E_nextTo_U)
(~Japanese_kool | ~Englishman_horse | E_nextTo_J)
(~Japanese_kool | ~Norwegian_horse | J_nextTo_N)
(~Japanese_kool | ~Spaniard_horse | J_nextTo_S)
(~Japanese_kool | ~Ukrainian_horse | J_nextTo_U)
(~Norwegian_kool | ~Englishman_horse | E_nextTo_N)
(~Norwegian_kool | ~Japanese_horse | J_nextTo_N)
(~Norwegian_kool | ~Spaniard_horse | N_nextTo_S)
(~Norwegian_kool | ~Ukrainian_horse | N_nextTo_U)
(~Spaniard_kool | ~Englishman_horse | E_nextTo_S)
(~Spaniard_kool | ~Japanese_horse | J_nextTo_S)
(~Spaniard_kool | ~Norwegian_horse | N_nextTo_S)
(~Spaniard_kool | ~Ukrainian_horse | S_nextTo_U)
(~Ukrainian_kool | ~Englishman_horse | E_nextTo_U)
(~Ukrainian_kool | ~Japanese_horse | J_nextTo_U)
(~Ukrainian_kool | ~Norwegian_horse | N_nextTo_U)
(~Ukrainian_kool | ~Spaniard_horse | S_nextTo_U)