diff --git a/zebra.cnf b/zebra.cnf new file mode 100644 index 0000000..e46e25d --- /dev/null +++ b/zebra.cnf @@ -0,0 +1,1159 @@ +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) \ No newline at end of file