einstein-solver/sol.txt

HAT
[
  [ 'checkn', 0, 0, 0, 0, 'Nationality Norwegian House 0' ],
  [ 'checkn', 3, 3, 2, 2, 'Drinks Milk House 2' ],
  [
    'checkBoth',
    0,
    1,
    0,
    3,
    'Nationality Norwegian Besides Color Blue'
  ],
  [ 'check', 0, 1, 3, 0, 'Nationality Englishman Color Red' ],
  [ 'checkBoth', 2, 3, 1, 0, 'Smokes Blend Besides Drinks Water' ],
  [ 'check', 0, 4, 2, 0, 'Nationality Swede Animals Dogs' ],
  [ 'check', 0, 3, 1, 3, 'Nationality Dane Drinks Tea' ],
  [ 'checkLeft', 1, 1, 4, 1, 'Color Green Before Color White' ],
  [ 'check', 1, 3, 4, 4, 'Color Green Drinks Coffee' ],
  [ 'check', 2, 4, 4, 1, 'Smokes PallMall Animals Birds' ],
  [ 'check', 1, 2, 2, 2, 'Color Yellow Smokes Dunhill' ],
  [ 'check', 0, 2, 4, 0, 'Nationality German Smokes Prince' ],
  [ 'checkBoth', 2, 4, 1, 2, 'Smokes Blend Besides Animals Cats' ],
  [ 'checkBoth', 4, 2, 3, 2, 'Animals Horses Besides Smokes Dunhill' ],
  [ 'check', 2, 3, 3, 1, 'Smokes BlueMasters Drinks Bier' ]
]
0 1 1 12 0 0 0 0 0 [
  'false check 0 4 2 0 Nationality Swede Animals Dogs',
  'false check 0 3 1 3 Nationality Dane Drinks Tea',
  'false check 0 2 4 0 Nationality German Smokes Prince',
  'false checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'false check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'true check 1 2 2 2 Color Yellow Smokes Dunhill',
  'false checkLeft 1 1 4 1 Color Green Before Color White',
  'false check 2 4 4 1 Smokes PallMall Animals Birds',
  'true checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'true checkn 3 3 2 2 Drinks Milk House 2'
]
0  1 :: 0 0 0 0 0 0,0,0,0,0
31 2 2 12 0 0 0 0 30 [
  'true check 0 4 2 0 Nationality Swede Animals Dogs',
  'false check 0 3 1 3 Nationality Dane Drinks Tea',
  'false check 0 2 4 0 Nationality German Smokes Prince',
  'false checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'false check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'true check 1 2 2 2 Color Yellow Smokes Dunhill',
  'false checkLeft 1 1 4 1 Color Green Before Color White',
  'false check 2 4 4 1 Smokes PallMall Animals Birds',
  'true checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'true checkn 3 3 2 2 Drinks Milk House 2'
]
10000000  2 :: 0 53 94 5 40 0,0,0,0,0 | 0,0,0,0,30
20000000  2 :: 0 106 68 11 80 0,0,0,0,0 | 0,0,0,0,30
20736031 3 3 12 0 0 0 12 30 [
  'true check 0 4 2 0 Nationality Swede Animals Dogs',
  'true check 0 3 1 3 Nationality Dane Drinks Tea',
  'false check 0 2 4 0 Nationality German Smokes Prince',
  'false checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'false check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'true check 1 2 2 2 Color Yellow Smokes Dunhill',
  'false checkLeft 1 1 4 1 Color Green Before Color White',
  'false check 2 4 4 1 Smokes PallMall Animals Birds',
  'true checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'false checkn 3 3 2 2 Drinks Milk House 2'
]
21211231 4 4 12 0 0 33 12 30 [
  'true check 0 4 2 0 Nationality Swede Animals Dogs',
  'true check 0 3 1 3 Nationality Dane Drinks Tea',
  'true check 0 2 4 0 Nationality German Smokes Prince',
  'false checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'false check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'false check 1 2 2 2 Color Yellow Smokes Dunhill',
  'false checkLeft 1 1 4 1 Color Green Before Color White',
  'false check 2 4 4 1 Smokes PallMall Animals Birds',
  'false checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'false checkn 3 3 2 2 Drinks Milk House 2'
]
21212671 5 5 12 0 12 33 12 30 [
  'true check 0 4 2 0 Nationality Swede Animals Dogs',
  'true check 0 3 1 3 Nationality Dane Drinks Tea',
  'true check 0 2 4 0 Nationality German Smokes Prince',
  'true checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'false check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'false check 1 2 2 2 Color Yellow Smokes Dunhill',
  'false checkLeft 1 1 4 1 Color Green Before Color White',
  'false check 2 4 4 1 Smokes PallMall Animals Birds',
  'false checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'false checkn 3 3 2 2 Drinks Milk House 2'
]
21215791 8 8 12 0 38 33 12 30 [
  'true check 0 4 2 0 Nationality Swede Animals Dogs',
  'true check 0 3 1 3 Nationality Dane Drinks Tea',
  'true check 0 2 4 0 Nationality German Smokes Prince',
  'true checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'true check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'false check 1 2 2 2 Color Yellow Smokes Dunhill',
  'false checkLeft 1 1 4 1 Color Green Before Color White',
  'false check 2 4 4 1 Smokes PallMall Animals Birds',
  'false checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'false checkn 3 3 2 2 Drinks Milk House 2'
]
21302191 9 9 12 0 38 39 12 30 [
  'true check 0 4 2 0 Nationality Swede Animals Dogs',
  'true check 0 3 1 3 Nationality Dane Drinks Tea',
  'true check 0 2 4 0 Nationality German Smokes Prince',
  'true checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'true check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'true check 1 2 2 2 Color Yellow Smokes Dunhill',
  'false checkLeft 1 1 4 1 Color Green Before Color White',
  'false check 2 4 4 1 Smokes PallMall Animals Birds',
  'false checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'false checkn 3 3 2 2 Drinks Milk House 2'
]
30000000  9 :: 0 40 43 17 0 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
40000000  9 :: 0 93 17 23 40 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
50000000  9 :: 0 26 112 28 80 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
60000000  9 :: 0 80 86 34 0 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
70000000  9 :: 0 13 61 40 40 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
80000000  9 :: 0 66 35 46 80 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
90000000  9 :: 0 0 10 52 0 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
100000000  9 :: 0 53 104 57 40 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
110000000  9 :: 0 106 78 63 80 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
120000000  9 :: 0 40 53 69 0 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
130000000  9 :: 0 93 27 75 40 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
140000000  9 :: 0 26 2 81 80 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
150000000  9 :: 0 80 96 86 0 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
160000000  9 :: 0 13 71 92 40 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
170000000  9 :: 0 66 45 98 80 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
180000000  9 :: 0 0 20 104 0 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
190000000  9 :: 0 53 114 109 40 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
200000000  9 :: 0 106 88 115 80 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
210000000  9 :: 1 40 63 1 0 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
220000000  9 :: 1 93 37 7 40 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
230000000  9 :: 1 26 12 13 80 0,0,0,0,0 | 0,0,0,0,30 | 0,0,0,12,30 | 0,0,33,12,30 | 0,12,33,12,30 | 0,38,33,12,30 | 0,38,39,12,30
235822231 10 10 12 1 65 56 16 30 [
  'true check 0 4 2 0 Nationality Swede Animals Dogs',
  'true check 0 3 1 3 Nationality Dane Drinks Tea',
  'true check 0 2 4 0 Nationality German Smokes Prince',
  'true checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'true check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'true check 1 2 2 2 Color Yellow Smokes Dunhill',
  'true checkLeft 1 1 4 1 Color Green Before Color White',
  'false check 2 4 4 1 Smokes PallMall Animals Birds',
  'true checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'false checkn 3 3 2 2 Drinks Milk House 2'
]
235822262 12 12 12 1 65 56 16 61 [
  'true check 0 4 2 0 Nationality Swede Animals Dogs',
  'true check 0 3 1 3 Nationality Dane Drinks Tea',
  'true check 0 2 4 0 Nationality German Smokes Prince',
  'true checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'true check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'true check 1 2 2 2 Color Yellow Smokes Dunhill',
  'true checkLeft 1 1 4 1 Color Green Before Color White',
  'true check 2 4 4 1 Smokes PallMall Animals Birds',
  'true checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'false checkn 3 3 2 2 Drinks Milk House 2'
]
SOLUTION FOUND
235822263 12 12 1 65 56 16 61 [
  'true check 0 4 2 0 Nationality Swede Animals Dogs',
  'true check 0 3 1 3 Nationality Dane Drinks Tea',
  'true check 0 2 4 0 Nationality German Smokes Prince',
  'true checkBoth 0 1 0 3 Nationality Norwegian Besides Color Blue',
  'true check 0 1 3 0 Nationality Englishman Color Red',
  'true checkn 0 0 0 0 Nationality Norwegian House 0',
  'true check 1 3 4 4 Color Green Drinks Coffee',
  'true check 1 2 2 2 Color Yellow Smokes Dunhill',
  'true checkLeft 1 1 4 1 Color Green Before Color White',
  'true check 2 4 4 1 Smokes PallMall Animals Birds',
  'true checkBoth 2 3 1 0 Smokes Blend Besides Drinks Water',
  'false checkn 3 3 2 2 Drinks Milk House 2'
]
                        1            2            3            4            5
Nationality:1           Norwegian         Dane        Swede       German   Englishman
Color:65                   Yellow         Blue        Green        White          Red
Smokes:56                 Dunhill        Blend  BlueMasters       Prince     PallMall
Drinks:16                   Water          Tea       Coffee         Bier         Milk
Animals:61                   Cats       Horses         Dogs         Fish        Birds