Предъявлена расстановка пяти домов: цвета, жители, напитки, сигареты и животные. Удовлетворяет ли она пятнадцати посылкам зебра-паззла, кто пьёт воду и кто держит зебру?

Формализация не ищет решение, а проверяет предъявленную расстановку. В канонической расстановке все пятнадцать посылок соблюдены и мир замкнут: цвета, национальности, напитки, сигареты и животные различны. Ни вода, ни зебра ни одной посылкой не названы: оба ответа выводятся правилом остатка условия 16, и достаются они норвежцу из первого дома и японцу из пятого. Расстановка, где у испанца нет собаки, ломает посылку 2, и право отвечает «не установлено» ровно на неё.

This is an assistant explanation, not a calculation result. Check the grounds and sources below.

At a glance

Select a result to explore its grounds

Расстановка есть решение: условие 16 и все пятнадцать посылокConditionEstablishedExecution: ComputedLogical result: Established Кто пьёт водуCollectionurn:case:zebra:zhitel:1Execution: Computed Кто держит зебруCollectionurn:case:zebra:zhitel:5Execution: Computed Другая расстановка: посылка 2 «у испанца собака»ConditionNot establishedExecution: ComputedLogical result: Not established

Detailed analysis

Condition

Расстановка есть решение: условие 16 и все пятнадцать посылок

Context date 2026-08-31

Calculation result

Established

Input parameters

What we are finding

предъявленная расстановка есть решение: условие 16 соблюдено и все пятнадцать посылок выполнены

Input facts

дом входит в предъявленную делу расстановку
d: 1
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 1p: 1
дом окрашен в этот цвет
d: 1c: Zheltyy
житель входит в предъявленную делу расстановку
z: 1
житель живёт в этом доме
z: 1d: 1
житель принадлежит к этой национальности
z: 1n: Norvezhets
житель курит этот сорт сигарет
z: 1k: Kool
расстановка называет животное этого жителя
z: 1
расстановка называет животным этого жителя именно это
z: 1a: Lisa
дом входит в предъявленную делу расстановку
d: 2
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 2p: 2
дом окрашен в этот цвет
d: 2c: Siniy
житель входит в предъявленную делу расстановку
z: 2
житель живёт в этом доме
z: 2d: 2
житель принадлежит к этой национальности
z: 2n: Ukrainets
житель курит этот сорт сигарет
z: 2k: Chesterfield
расстановка называет напиток этого жителя
z: 2
расстановка называет напитком этого жителя именно этот
z: 2k: Chay
расстановка называет животное этого жителя
z: 2
расстановка называет животным этого жителя именно это
z: 2a: Loshad
дом входит в предъявленную делу расстановку
d: 3
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 3p: 3
дом окрашен в этот цвет
d: 3c: Krasnyy
житель входит в предъявленную делу расстановку
z: 3
житель живёт в этом доме
z: 3d: 3
житель принадлежит к этой национальности
z: 3n: Anglichanin
житель курит этот сорт сигарет
z: 3k: OldGold
расстановка называет напиток этого жителя
z: 3
расстановка называет напитком этого жителя именно этот
z: 3k: Moloko
расстановка называет животное этого жителя
z: 3
расстановка называет животным этого жителя именно это
z: 3a: Ulitki
дом входит в предъявленную делу расстановку
d: 4
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 4p: 4
дом окрашен в этот цвет
d: 4c: SlonovayaKost
житель входит в предъявленную делу расстановку
z: 4
житель живёт в этом доме
z: 4d: 4
житель принадлежит к этой национальности
z: 4n: Ispanets
житель курит этот сорт сигарет
z: 4k: LuckyStrike
расстановка называет напиток этого жителя
z: 4
расстановка называет напитком этого жителя именно этот
z: 4k: ApelsinovyySok
расстановка называет животное этого жителя
z: 4
расстановка называет животным этого жителя именно это
z: 4a: Sobaka
дом входит в предъявленную делу расстановку
d: 5
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 5p: 5
дом окрашен в этот цвет
d: 5c: Zelenyy
житель входит в предъявленную делу расстановку
z: 5
житель живёт в этом доме
z: 5d: 5
житель принадлежит к этой национальности
z: 5n: Yaponets
житель курит этот сорт сигарет
z: 5k: Parliament
расстановка называет напиток этого жителя
z: 5
расстановка называет напитком этого жителя именно этот
z: 5k: Kofe

Package: Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [],
  "facts": [
    {
      "args": [
        "urn:case:zebra:dom:1"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        1
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        "Zheltyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "urn:case:zebra:dom:1"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Norvezhets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Kool"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Lisa"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:2"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        2
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        "Siniy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "urn:case:zebra:dom:2"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Ukrainets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chesterfield"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chay"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Loshad"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:3"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        3
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        "Krasnyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "urn:case:zebra:dom:3"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Anglichanin"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "OldGold"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Moloko"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Ulitki"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:4"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        4
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        "SlonovayaKost"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "urn:case:zebra:dom:4"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Ispanets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "LuckyStrike"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "ApelsinovyySok"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Sobaka"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:5"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        5
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        "Zelenyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "urn:case:zebra:dom:5"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Yaponets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Parliament"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Kofe"
      ],
      "predicate": "zayavlen_napitok"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "logic-zebra",
  "predicate": "reshenie_verno",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path134 steps

1
дом входит в предъявленную делу расстановку
d: urn:case:zebra:dom:1
case fact
2
дом входит в предъявленную делу расстановку
d: urn:case:zebra:dom:2
case fact
3
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: urn:case:zebra:dom:2; p: 2
case fact
4
дом окрашен в этот цвет
d: urn:case:zebra:dom:2; c: urn:logic:clir:zebra#Siniy
case fact
5
названный расстановкой цвет занят
этот цвет достался какому-то дому расстановки: c: urn:logic:clir:zebra#Siniy
art. 16
Identifier
urn:logic:clir:zebra#TsvetZanyat
rule
6
занятый цвет достался ровно одному дому (условие 16)
этот цвет достался ровно одному дому (условие 16): c: urn:logic:clir:zebra#Siniy
art. 16
Identifier
urn:logic:clir:zebra#TsvetRovnoUOdnogo
rule
7
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:2
case fact
8
житель живёт в этом доме
z: urn:case:zebra:zhitel:2; d: urn:case:zebra:dom:2
case fact
9
житель занимает позицию своего дома (условие 16)
позиция жителя есть позиция его дома (условие 16): z: urn:case:zebra:zhitel:2; p: 2
art. 16
Identifier
urn:logic:clir:zebra#PozitsiyaZhitelya
rule
10
житель принадлежит к этой национальности
z: urn:case:zebra:zhitel:2; n: urn:logic:clir:zebra#Ukrainets
case fact
11
названная расстановкой национальность занята
эта национальность досталась какому-то жителю расстановки: n: urn:logic:clir:zebra#Ukrainets
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostZanyata
rule
12
занятая национальность досталась ровно одному жителю (условие 16)
эта национальность досталась ровно одному жителю (условие 16): n: urn:logic:clir:zebra#Ukrainets
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostRovnoUOdnogo
rule
13
житель курит этот сорт сигарет
z: urn:case:zebra:zhitel:2; k: urn:logic:clir:zebra#Chesterfield
case fact
14
названный расстановкой сорт сигарет занят
этот сорт сигарет достался какому-то жителю расстановки: k: urn:logic:clir:zebra#Chesterfield
art. 16
Identifier
urn:logic:clir:zebra#SortZanyat
rule
15
занятый сорт сигарет достался ровно одному жителю (условие 16)
этот сорт сигарет достался ровно одному жителю (условие 16): k: urn:logic:clir:zebra#Chesterfield
art. 16
Identifier
urn:logic:clir:zebra#SortRovnoUOdnogo
rule
16
расстановка называет напиток этого жителя
z: urn:case:zebra:zhitel:2
case fact
17
расстановка называет напитком этого жителя именно этот
z: urn:case:zebra:zhitel:2; k: urn:logic:clir:zebra#Chay
case fact
18
названный расстановкой напиток занят
этот напиток назван расстановкой какому-то жителю: k: urn:logic:clir:zebra#Chay
art. 16
Identifier
urn:logic:clir:zebra#NapitokZanyat
rule
19
занятый напиток назван ровно одному жителю (условие 16)
этот напиток назван ровно одному жителю (условие 16): k: urn:logic:clir:zebra#Chay
art. 16
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
rule
20
названный расстановкой напиток и есть напиток жителя
житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:2; k: urn:logic:clir:zebra#Chay
art. 16
Identifier
urn:logic:clir:zebra#NapitokZayavlennyy
rule
21
украинец пьёт чай (посылка 5)
посылка с этим номером соблюдена предъявленной расстановкой: n: 5
art. 5
Identifier
urn:logic:clir:zebra#Posylka05
rule
22
расстановка называет животное этого жителя
z: urn:case:zebra:zhitel:2
case fact
23
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: urn:case:zebra:dom:1; p: 1
case fact
24
расстановка называет животным этого жителя именно это
z: urn:case:zebra:zhitel:2; a: urn:logic:clir:zebra#Loshad
case fact
25
названное расстановкой животное занято
это животное названо расстановкой какому-то жителю: a: urn:logic:clir:zebra#Loshad
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
rule
26
занятое животное названо ровно одному жителю (условие 16)
это животное названо ровно одному жителю (условие 16): a: urn:logic:clir:zebra#Loshad
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
rule
27
названное расстановкой животное и есть животное жителя
житель держит это животное — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:2; a: urn:logic:clir:zebra#Loshad
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZayavlennoe
rule
28
дом входит в предъявленную делу расстановку
d: urn:case:zebra:dom:3
case fact
29
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: urn:case:zebra:dom:3; p: 3
case fact
30
дом окрашен в этот цвет
d: urn:case:zebra:dom:3; c: urn:logic:clir:zebra#Krasnyy
case fact
31
названный расстановкой цвет занят
этот цвет достался какому-то дому расстановки: c: urn:logic:clir:zebra#Krasnyy
art. 16
Identifier
urn:logic:clir:zebra#TsvetZanyat
rule
32
занятый цвет достался ровно одному дому (условие 16)
этот цвет достался ровно одному дому (условие 16): c: urn:logic:clir:zebra#Krasnyy
art. 16
Identifier
urn:logic:clir:zebra#TsvetRovnoUOdnogo
rule
33
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:3
case fact
34
житель живёт в этом доме
z: urn:case:zebra:zhitel:3; d: urn:case:zebra:dom:3
case fact
35
житель принадлежит к этой национальности
z: urn:case:zebra:zhitel:3; n: urn:logic:clir:zebra#Anglichanin
case fact
36
названная расстановкой национальность занята
эта национальность досталась какому-то жителю расстановки: n: urn:logic:clir:zebra#Anglichanin
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostZanyata
rule
37
занятая национальность досталась ровно одному жителю (условие 16)
эта национальность досталась ровно одному жителю (условие 16): n: urn:logic:clir:zebra#Anglichanin
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostRovnoUOdnogo
rule
38
англичанин живёт в красном доме (посылка 2)
посылка с этим номером соблюдена предъявленной расстановкой: n: 2
art. 2
Identifier
urn:logic:clir:zebra#Posylka02
rule
39
житель курит этот сорт сигарет
z: urn:case:zebra:zhitel:3; k: urn:logic:clir:zebra#OldGold
case fact
40
названный расстановкой сорт сигарет занят
этот сорт сигарет достался какому-то жителю расстановки: k: urn:logic:clir:zebra#OldGold
art. 16
Identifier
urn:logic:clir:zebra#SortZanyat
rule
41
занятый сорт сигарет достался ровно одному жителю (условие 16)
этот сорт сигарет достался ровно одному жителю (условие 16): k: urn:logic:clir:zebra#OldGold
art. 16
Identifier
urn:logic:clir:zebra#SortRovnoUOdnogo
rule
42
расстановка называет напиток этого жителя
z: urn:case:zebra:zhitel:3
case fact
43
расстановка называет напитком этого жителя именно этот
z: urn:case:zebra:zhitel:3; k: urn:logic:clir:zebra#Moloko
case fact
44
названный расстановкой напиток занят
этот напиток назван расстановкой какому-то жителю: k: urn:logic:clir:zebra#Moloko
art. 16
Identifier
urn:logic:clir:zebra#NapitokZanyat
rule
45
занятый напиток назван ровно одному жителю (условие 16)
этот напиток назван ровно одному жителю (условие 16): k: urn:logic:clir:zebra#Moloko
art. 16
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
rule
46
названный расстановкой напиток и есть напиток жителя
житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:3; k: urn:logic:clir:zebra#Moloko
art. 16
Identifier
urn:logic:clir:zebra#NapitokZayavlennyy
rule
47
в среднем доме — том, чья позиция третья, — пьют молоко (посылка 9, условие 16)
посылка с этим номером соблюдена предъявленной расстановкой: n: 9
art. 9, art. 16
Identifier
urn:logic:clir:zebra#Posylka09
rule
48
дом окрашен в этот цвет
d: urn:case:zebra:dom:1; c: urn:logic:clir:zebra#Zheltyy
case fact
49
названный расстановкой цвет занят
этот цвет достался какому-то дому расстановки: c: urn:logic:clir:zebra#Zheltyy
art. 16
Identifier
urn:logic:clir:zebra#TsvetZanyat
rule
50
занятый цвет достался ровно одному дому (условие 16)
этот цвет достался ровно одному дому (условие 16): c: urn:logic:clir:zebra#Zheltyy
art. 16
Identifier
urn:logic:clir:zebra#TsvetRovnoUOdnogo
rule
51
расстановка называет животное этого жителя
z: urn:case:zebra:zhitel:3
case fact
52
расстановка называет животным этого жителя именно это
z: urn:case:zebra:zhitel:3; a: urn:logic:clir:zebra#Ulitki
case fact
53
названное расстановкой животное занято
это животное названо расстановкой какому-то жителю: a: urn:logic:clir:zebra#Ulitki
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
rule
54
занятое животное названо ровно одному жителю (условие 16)
это животное названо ровно одному жителю (условие 16): a: urn:logic:clir:zebra#Ulitki
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
rule
55
названное расстановкой животное и есть животное жителя
житель держит это животное — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:3; a: urn:logic:clir:zebra#Ulitki
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZayavlennoe
rule
56
курящий Old Gold держит улиток (посылка 7)
посылка с этим номером соблюдена предъявленной расстановкой: n: 7
art. 7
Identifier
urn:logic:clir:zebra#Posylka07
rule
57
дом входит в предъявленную делу расстановку
d: urn:case:zebra:dom:4
case fact
58
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: urn:case:zebra:dom:4; p: 4
case fact
59
дом окрашен в этот цвет
d: urn:case:zebra:dom:4; c: urn:logic:clir:zebra#SlonovayaKost
case fact
60
названный расстановкой цвет занят
этот цвет достался какому-то дому расстановки: c: urn:logic:clir:zebra#SlonovayaKost
art. 16
Identifier
urn:logic:clir:zebra#TsvetZanyat
rule
61
занятый цвет достался ровно одному дому (условие 16)
этот цвет достался ровно одному дому (условие 16): c: urn:logic:clir:zebra#SlonovayaKost
art. 16
Identifier
urn:logic:clir:zebra#TsvetRovnoUOdnogo
rule
62
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:4
case fact
63
житель принадлежит к этой национальности
z: urn:case:zebra:zhitel:4; n: urn:logic:clir:zebra#Ispanets
case fact
64
названная расстановкой национальность занята
эта национальность досталась какому-то жителю расстановки: n: urn:logic:clir:zebra#Ispanets
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostZanyata
rule
65
занятая национальность досталась ровно одному жителю (условие 16)
эта национальность досталась ровно одному жителю (условие 16): n: urn:logic:clir:zebra#Ispanets
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostRovnoUOdnogo
rule
66
житель курит этот сорт сигарет
z: urn:case:zebra:zhitel:4; k: urn:logic:clir:zebra#LuckyStrike
case fact
67
названный расстановкой сорт сигарет занят
этот сорт сигарет достался какому-то жителю расстановки: k: urn:logic:clir:zebra#LuckyStrike
art. 16
Identifier
urn:logic:clir:zebra#SortZanyat
rule
68
занятый сорт сигарет достался ровно одному жителю (условие 16)
этот сорт сигарет достался ровно одному жителю (условие 16): k: urn:logic:clir:zebra#LuckyStrike
art. 16
Identifier
urn:logic:clir:zebra#SortRovnoUOdnogo
rule
69
расстановка называет напиток этого жителя
z: urn:case:zebra:zhitel:4
case fact
70
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:1
case fact
71
расстановка называет напитком этого жителя именно этот
z: urn:case:zebra:zhitel:4; k: urn:logic:clir:zebra#ApelsinovyySok
case fact
72
названный расстановкой напиток занят
этот напиток назван расстановкой какому-то жителю: k: urn:logic:clir:zebra#ApelsinovyySok
art. 16
Identifier
urn:logic:clir:zebra#NapitokZanyat
rule
73
занятый напиток назван ровно одному жителю (условие 16)
этот напиток назван ровно одному жителю (условие 16): k: urn:logic:clir:zebra#ApelsinovyySok
art. 16
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
rule
74
названный расстановкой напиток и есть напиток жителя
житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:4; k: urn:logic:clir:zebra#ApelsinovyySok
art. 16
Identifier
urn:logic:clir:zebra#NapitokZayavlennyy
rule
75
курящий Lucky Strike пьёт апельсиновый сок (посылка 13)
посылка с этим номером соблюдена предъявленной расстановкой: n: 13
art. 13
Identifier
urn:logic:clir:zebra#Posylka13
rule
76
расстановка называет животное этого жителя
z: urn:case:zebra:zhitel:4
case fact
77
расстановка называет животным этого жителя именно это
z: urn:case:zebra:zhitel:4; a: urn:logic:clir:zebra#Sobaka
case fact
78
названное расстановкой животное занято
это животное названо расстановкой какому-то жителю: a: urn:logic:clir:zebra#Sobaka
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
rule
79
занятое животное названо ровно одному жителю (условие 16)
это животное названо ровно одному жителю (условие 16): a: urn:logic:clir:zebra#Sobaka
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
rule
80
названное расстановкой животное и есть животное жителя
житель держит это животное — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:4; a: urn:logic:clir:zebra#Sobaka
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZayavlennoe
rule
81
испанец держит собаку (посылка 3)
посылка с этим номером соблюдена предъявленной расстановкой: n: 3
art. 3
Identifier
urn:logic:clir:zebra#Posylka03
rule
82
дом входит в предъявленную делу расстановку
d: urn:case:zebra:dom:5
case fact
83
домов пять (посылка 1)
посылка с этим номером соблюдена предъявленной расстановкой: n: 1
art. 1
Identifier
urn:logic:clir:zebra#Posylka01
rule
84
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: urn:case:zebra:dom:5; p: 5
case fact
85
позиции с первой по пятую заняты ровно по одному дому (условие 16)
каждую из пяти позиций ряда занимает ровно один дом (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#PozitsiiZanyaty
rule
86
дом окрашен в этот цвет
d: urn:case:zebra:dom:5; c: urn:logic:clir:zebra#Zelenyy
case fact
87
зелёный дом стоит непосредственно справа от дома цвета слоновой кости, то есть позицией на единицу большей (посылка 6, условие 16)
посылка с этим номером соблюдена предъявленной расстановкой: n: 6
art. 6, art. 16
Identifier
urn:logic:clir:zebra#Posylka06
rule
88
названный расстановкой цвет занят
этот цвет достался какому-то дому расстановки: c: urn:logic:clir:zebra#Zelenyy
art. 16
Identifier
urn:logic:clir:zebra#TsvetZanyat
rule
89
занятый цвет достался ровно одному дому (условие 16)
этот цвет достался ровно одному дому (условие 16): c: urn:logic:clir:zebra#Zelenyy
art. 16
Identifier
urn:logic:clir:zebra#TsvetRovnoUOdnogo
rule
90
красный, зелёный, слоновой кости, жёлтый и синий достались ровно одному дому каждый (условие 16)
цвета домов различны: каждый из пяти цветов у ровно одного дома (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#TsvetaRazlichny
rule
91
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:5
case fact
92
жителей в расстановке ровно пятеро (условие 16)
расстановка называет ровно пятерых жителей (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#ZhiteleyPyat
rule
93
житель живёт в этом доме
z: urn:case:zebra:zhitel:5; d: urn:case:zebra:dom:5
case fact
94
житель принадлежит к этой национальности
z: urn:case:zebra:zhitel:5; n: urn:logic:clir:zebra#Yaponets
case fact
95
названная расстановкой национальность занята
эта национальность досталась какому-то жителю расстановки: n: urn:logic:clir:zebra#Yaponets
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostZanyata
rule
96
занятая национальность досталась ровно одному жителю (условие 16)
эта национальность досталась ровно одному жителю (условие 16): n: urn:logic:clir:zebra#Yaponets
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostRovnoUOdnogo
rule
97
житель курит этот сорт сигарет
z: urn:case:zebra:zhitel:5; k: urn:logic:clir:zebra#Parliament
case fact
98
японец курит Parliament (посылка 14)
посылка с этим номером соблюдена предъявленной расстановкой: n: 14
art. 14
Identifier
urn:logic:clir:zebra#Posylka14
rule
99
названный расстановкой сорт сигарет занят
этот сорт сигарет достался какому-то жителю расстановки: k: urn:logic:clir:zebra#Parliament
art. 16
Identifier
urn:logic:clir:zebra#SortZanyat
rule
100
занятый сорт сигарет достался ровно одному жителю (условие 16)
этот сорт сигарет достался ровно одному жителю (условие 16): k: urn:logic:clir:zebra#Parliament
art. 16
Identifier
urn:logic:clir:zebra#SortRovnoUOdnogo
rule
101
житель живёт в этом доме
z: urn:case:zebra:zhitel:1; d: urn:case:zebra:dom:1
case fact
102
житель занимает позицию своего дома (условие 16)
позиция жителя есть позиция его дома (условие 16): z: urn:case:zebra:zhitel:1; p: 1
art. 16
Identifier
urn:logic:clir:zebra#PozitsiyaZhitelya
rule
103
расстановка называет напиток этого жителя
z: urn:case:zebra:zhitel:5
case fact
104
расстановка называет напиток ровно четверым жителям (условие 16)
напитки названы ровно у четверых жителей (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#ChetveroNazvaliNapitok
rule
105
расстановка называет напитком этого жителя именно этот
z: urn:case:zebra:zhitel:5; k: urn:logic:clir:zebra#Kofe
case fact
106
названный расстановкой напиток занят
этот напиток назван расстановкой какому-то жителю: k: urn:logic:clir:zebra#Kofe
art. 16
Identifier
urn:logic:clir:zebra#NapitokZanyat
rule
107
занятый напиток назван ровно одному жителю (условие 16)
этот напиток назван ровно одному жителю (условие 16): k: urn:logic:clir:zebra#Kofe
art. 16
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
rule
108
кофе, чай, молоко и апельсиновый сок названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
напитки различны: четыре названных у ровно одного жителя каждый, пятый житель остаётся без названного напитка (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#NapitkiRazlichny
rule
109
названный расстановкой напиток и есть напиток жителя
житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:5; k: urn:logic:clir:zebra#Kofe
art. 16
Identifier
urn:logic:clir:zebra#NapitokZayavlennyy
rule
110
в зелёном доме пьют кофе (посылка 4)
посылка с этим номером соблюдена предъявленной расстановкой: n: 4
art. 4
Identifier
urn:logic:clir:zebra#Posylka04
rule
111
житель принадлежит к этой национальности
z: urn:case:zebra:zhitel:1; n: urn:logic:clir:zebra#Norvezhets
case fact
112
названная расстановкой национальность занята
эта национальность досталась какому-то жителю расстановки: n: urn:logic:clir:zebra#Norvezhets
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostZanyata
rule
113
занятая национальность досталась ровно одному жителю (условие 16)
эта национальность досталась ровно одному жителю (условие 16): n: urn:logic:clir:zebra#Norvezhets
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostRovnoUOdnogo
rule
114
англичанин, испанец, украинец, норвежец и японец — ровно по одному жителю каждый (условие 16)
национальности жителей различны: каждая из пяти у ровно одного жителя (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#NatsionalnostiRazlichny
rule
115
норвежец живёт в первом доме — том, чья позиция первая (посылка 10, условие 16)
посылка с этим номером соблюдена предъявленной расстановкой: n: 10
art. 10, art. 16
Identifier
urn:logic:clir:zebra#Posylka10
rule
116
норвежец живёт левее синего дома на одну позицию (посылка 15, условие 16)
посылка с этим номером соблюдена предъявленной расстановкой: n: 15
art. 15, art. 16
Identifier
urn:logic:clir:zebra#Posylka15Levee
rule
117
житель курит этот сорт сигарет
z: urn:case:zebra:zhitel:1; k: urn:logic:clir:zebra#Kool
case fact
118
в жёлтом доме курят Kool (посылка 8)
посылка с этим номером соблюдена предъявленной расстановкой: n: 8
art. 8
Identifier
urn:logic:clir:zebra#Posylka08
rule
119
курящий Kool живёт левее держащего лошадь на одну позицию (посылка 12, условие 16)
посылка с этим номером соблюдена предъявленной расстановкой: n: 12
art. 12, art. 16
Identifier
urn:logic:clir:zebra#Posylka12Levee
rule
120
названный расстановкой сорт сигарет занят
этот сорт сигарет достался какому-то жителю расстановки: k: urn:logic:clir:zebra#Kool
art. 16
Identifier
urn:logic:clir:zebra#SortZanyat
rule
121
занятый сорт сигарет достался ровно одному жителю (условие 16)
этот сорт сигарет достался ровно одному жителю (условие 16): k: urn:logic:clir:zebra#Kool
art. 16
Identifier
urn:logic:clir:zebra#SortRovnoUOdnogo
rule
122
Old Gold, Kool, Chesterfield, Lucky Strike и Parliament — ровно по одному жителю каждый (условие 16)
сорта сигарет различны: каждый из пяти у ровно одного жителя (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#SortaRazlichny
rule
123
расстановка называет животное этого жителя
z: urn:case:zebra:zhitel:1
case fact
124
расстановка называет животное ровно четверым жителям (условие 16)
животные названы ровно у четверых жителей (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#ChetveroNazvaliZhivotnoe
rule
125
расстановка называет животным этого жителя именно это
z: urn:case:zebra:zhitel:1; a: urn:logic:clir:zebra#Lisa
case fact
126
названное расстановкой животное занято
это животное названо расстановкой какому-то жителю: a: urn:logic:clir:zebra#Lisa
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
rule
127
занятое животное названо ровно одному жителю (условие 16)
это животное названо ровно одному жителю (условие 16): a: urn:logic:clir:zebra#Lisa
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
rule
128
названное расстановкой животное и есть животное жителя
житель держит это животное — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:1; a: urn:logic:clir:zebra#Lisa
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZayavlennoe
rule
129
курящий Chesterfield живёт правее держащего лису на одну позицию (посылка 11, условие 16)
посылка с этим номером соблюдена предъявленной расстановкой: n: 11
art. 11, art. 16
Identifier
urn:logic:clir:zebra#Posylka11Pravee
rule
130
соблюдены все пятнадцать посылок изложения
предъявленная расстановка удовлетворяет всем пятнадцати посылкам:
art. 1, art. 2, art. 3, art. 4, art. 5, art. 6, art. 7, art. 8, art. 9, art. 10, art. 11, art. 12, art. 13, art. 14, art. 15
Identifier
urn:logic:clir:zebra#PosylkiSoblyudeny
rule
131
собака, улитки, лиса и лошадь названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
животные различны: четыре названных у ровно одного жителя каждое, пятый житель остаётся без названного животного (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnyeRazlichny
rule
132
позиции заняты, жителей пятеро и все пять признаков различны — условие 16 соблюдено
условие 16 соблюдено целиком: ряд домов полон и все пять признаков разобраны без повторов:
art. 16
Identifier
urn:logic:clir:zebra#MirZamknut
rule
133
расстановка, замкнувшая условие 16 и удовлетворившая всем пятнадцати посылкам, есть решение
предъявленная расстановка есть решение: условие 16 соблюдено и все пятнадцать посылок выполнены:
art. 16
Identifier
urn:logic:clir:zebra#ReshenieVerno
rule
134
Query evaluation
query

verified by the engine: 84 · case fact: 50 · Full graph: 142 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина

расстановка называет напиток ровно четверым жителям (условие 16)
Identifier
urn:logic:clir:zebra#ChetveroNazvaliNapitok
расстановка называет животное ровно четверым жителям (условие 16)
Identifier
urn:logic:clir:zebra#ChetveroNazvaliZhivotnoe
позиции заняты, жителей пятеро и все пять признаков различны — условие 16 соблюдено
Identifier
urn:logic:clir:zebra#MirZamknut
кофе, чай, молоко и апельсиновый сок названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
Identifier
urn:logic:clir:zebra#NapitkiRazlichny
занятый напиток назван ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
названный расстановкой напиток занят
Identifier
urn:logic:clir:zebra#NapitokZanyat
названный расстановкой напиток и есть напиток жителя
Identifier
urn:logic:clir:zebra#NapitokZayavlennyy
занятая национальность досталась ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#NatsionalnostRovnoUOdnogo
названная расстановкой национальность занята
Identifier
urn:logic:clir:zebra#NatsionalnostZanyata
англичанин, испанец, украинец, норвежец и японец — ровно по одному жителю каждый (условие 16)
Identifier
urn:logic:clir:zebra#NatsionalnostiRazlichny
домов пять (посылка 1)
Identifier
urn:logic:clir:zebra#Posylka01
англичанин живёт в красном доме (посылка 2)
Identifier
urn:logic:clir:zebra#Posylka02
испанец держит собаку (посылка 3)
Identifier
urn:logic:clir:zebra#Posylka03
в зелёном доме пьют кофе (посылка 4)
Identifier
urn:logic:clir:zebra#Posylka04
украинец пьёт чай (посылка 5)
Identifier
urn:logic:clir:zebra#Posylka05
зелёный дом стоит непосредственно справа от дома цвета слоновой кости, то есть позицией на единицу большей (посылка 6, условие 16)
Identifier
urn:logic:clir:zebra#Posylka06
курящий Old Gold держит улиток (посылка 7)
Identifier
urn:logic:clir:zebra#Posylka07
в жёлтом доме курят Kool (посылка 8)
Identifier
urn:logic:clir:zebra#Posylka08
в среднем доме — том, чья позиция третья, — пьют молоко (посылка 9, условие 16)
Identifier
urn:logic:clir:zebra#Posylka09
норвежец живёт в первом доме — том, чья позиция первая (посылка 10, условие 16)
Identifier
urn:logic:clir:zebra#Posylka10
курящий Chesterfield живёт правее держащего лису на одну позицию (посылка 11, условие 16)
Identifier
urn:logic:clir:zebra#Posylka11Pravee
курящий Kool живёт левее держащего лошадь на одну позицию (посылка 12, условие 16)
Identifier
urn:logic:clir:zebra#Posylka12Levee
курящий Lucky Strike пьёт апельсиновый сок (посылка 13)
Identifier
urn:logic:clir:zebra#Posylka13
японец курит Parliament (посылка 14)
Identifier
urn:logic:clir:zebra#Posylka14
норвежец живёт левее синего дома на одну позицию (посылка 15, условие 16)
Identifier
urn:logic:clir:zebra#Posylka15Levee
соблюдены все пятнадцать посылок изложения
Identifier
urn:logic:clir:zebra#PosylkiSoblyudeny
позиции с первой по пятую заняты ровно по одному дому (условие 16)
Identifier
urn:logic:clir:zebra#PozitsiiZanyaty
житель занимает позицию своего дома (условие 16)
Identifier
urn:logic:clir:zebra#PozitsiyaZhitelya
расстановка, замкнувшая условие 16 и удовлетворившая всем пятнадцати посылкам, есть решение
Identifier
urn:logic:clir:zebra#ReshenieVerno
занятый сорт сигарет достался ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#SortRovnoUOdnogo
названный расстановкой сорт сигарет занят
Identifier
urn:logic:clir:zebra#SortZanyat
Old Gold, Kool, Chesterfield, Lucky Strike и Parliament — ровно по одному жителю каждый (условие 16)
Identifier
urn:logic:clir:zebra#SortaRazlichny
занятый цвет достался ровно одному дому (условие 16)
Identifier
urn:logic:clir:zebra#TsvetRovnoUOdnogo
названный расстановкой цвет занят
Identifier
urn:logic:clir:zebra#TsvetZanyat
красный, зелёный, слоновой кости, жёлтый и синий достались ровно одному дому каждый (условие 16)
Identifier
urn:logic:clir:zebra#TsvetaRazlichny
жителей в расстановке ровно пятеро (условие 16)
Identifier
urn:logic:clir:zebra#ZhiteleyPyat
занятое животное названо ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
названное расстановкой животное занято
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
названное расстановкой животное и есть животное жителя
Identifier
urn:logic:clir:zebra#ZhivotnoeZayavlennoe
собака, улитки, лиса и лошадь названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
Identifier
urn:logic:clir:zebra#ZhivotnyeRazlichny

Other rules in the evaluation2

Applied in the overall evaluation, but not on the proof path for this answer.

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина

житель, чей напиток не назван при соблюдённом условии 16, пьёт оставшийся напиток — воду (условие 16, вопрос 17)
Identifier
urn:logic:clir:zebra#VodaOstatkom
житель, чьё животное не названо при соблюдённом условии 16, держит оставшееся животное — зебру (условие 16, вопрос 18)
Identifier
urn:logic:clir:zebra#ZebraOstatkom

Derived result for this query

предъявленная расстановка есть решение: условие 16 соблюдено и все пятнадцать посылок выполнены

87 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Closed list: перечень жителей, чей напиток назван, исчерпывается расстановкой (условие 16)

closed predicate расстановка называет напиток этого жителя · snapshot urn:logic:zebra:snapshot:rasstanovka · complete as of 0001-01-01T00:00:00Z

in the list

urn:case:zebra:zhitel:2
urn:case:zebra:zhitel:3
urn:case:zebra:zhitel:4
urn:case:zebra:zhitel:5

not in the list (explicit negative by closure)

urn:case:zebra:zhitel:1

The list is closed by a §70 declaration: a missing record in the snapshot yields an explicit negative with an anti-membership certificate (§231.1). The lists are proof-graph nodes as recorded by the evaluation.

Closed list: перечень жителей, чьё животное названо, исчерпывается расстановкой (условие 16)

closed predicate расстановка называет животное этого жителя · snapshot urn:logic:zebra:snapshot:rasstanovka · complete as of 0001-01-01T00:00:00Z

in the list

urn:case:zebra:zhitel:2
urn:case:zebra:zhitel:3
urn:case:zebra:zhitel:4
urn:case:zebra:zhitel:1

not in the list (explicit negative by closure)

urn:case:zebra:zhitel:5

Proof graph · 6 layer

Proof nodes: 142 · assertion 53, rule_application 88, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 16

Article 1

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина — EXECUTABLE 16 §33.1

Посылка 1. Домов пять.

Original data · JSON

{
  "contentHash": "sha256:2765d57cc312441c7c1c719b16c046a812efc3574484899118555e585c8a752d",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P1",
  "kind": "fragment",
  "locator": "article/1",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:29ff7d4d72e5baa96f378f72b28bf8abbb297f6d018449b3137496671a30729e",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 1. Домов пять."
    }
  ]
}

Article 10

Посылка 10. Норвежец живёт в первом доме.

Original data · JSON

{
  "contentHash": "sha256:a12b66faa3cd8750f3519a0dd57029bd454d32c01e8c9160f9f282617b6317df",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:c67257a06d65cbe9ad3fd6d48a52d7ef1f636ec53fe43ef18f676525fb1d6533",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 10. Норвежец живёт в первом доме."
    }
  ]
}

Article 11

Посылка 11. Курящий «Chesterfield» живёт по соседству с тем, кто держит лису.

Original data · JSON

{
  "contentHash": "sha256:9435752e49b3ed641be89466654f529c654e72f169939d7b71e15160387ccf80",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P11",
  "kind": "fragment",
  "locator": "article/11",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:b2d2aac26092f262f9fe95466dfa021d75b76f273700e495979263d70cffd214",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 11. Курящий «Chesterfield» живёт по соседству с тем, кто держит лису."
    }
  ]
}

Article 12

Посылка 12. «Kool» курят по соседству с домом, где держат лошадь.

Original data · JSON

{
  "contentHash": "sha256:5d19d77f26a3ba5217bd4fa05bbbd175e9658ce54f4d7d2afeab2c0f56aef2d1",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P12",
  "kind": "fragment",
  "locator": "article/12",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:03ab096668eafa82c22cce5ca73e81c60db5f8eab59b0824eb35630132916050",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 12. «Kool» курят по соседству с домом, где держат лошадь."
    }
  ]
}

Article 13

Посылка 13. Курящий «Lucky Strike» пьёт апельсиновый сок.

Original data · JSON

{
  "contentHash": "sha256:23d9117fc45a7d94c03e3a0002d03892663d011c08a8e1b876a762f6987472c9",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P13",
  "kind": "fragment",
  "locator": "article/13",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:6d893b7668723aa2813a0d99282ef1838848140895b66e395c7f18969f64bc55",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 13. Курящий «Lucky Strike» пьёт апельсиновый сок."
    }
  ]
}

Article 14

Посылка 14. Японец курит «Parliament».

Original data · JSON

{
  "contentHash": "sha256:79e83dd6a2e660c78c63e60dab3304602e8d02baf7e70301dcd3edb45160833a",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P14",
  "kind": "fragment",
  "locator": "article/14",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:e6628264e67e207d8610f6699dfa186e86e9e605b3ef2609d4f462b7c46ef4ed",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 14. Японец курит «Parliament»."
    }
  ]
}

Article 15

Посылка 15. Норвежец живёт по соседству с синим домом.

Original data · JSON

{
  "contentHash": "sha256:e7b8629c165e4c9d4e99e4ec8b2ec43f360c3484ef69d9f2abd0113808b20aa3",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P15",
  "kind": "fragment",
  "locator": "article/15",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:39e259be43342ea1744110fc697778658fc9f38bc0d6642b7dd89550b8372da9",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 15. Норвежец живёт по соседству с синим домом."
    }
  ]
}

Article 16

Условие 16. Ряд домов, счёт позиций и различность признаков. Дома стоят в ряд и занимают позиции с первой по пятую; каждую позицию занимает ровно один дом. Позиции считаются от наблюдателя слева направо: дом, стоящий справа от другого, занимает позицию на единицу большую. Слово «справа» в посылке 6 означает правую сторону наблюдателя, а не правую сторону жителей. Соседними признаются дома, чьи позиции различаются на единицу, и соседними признаются их жители. Цвета домов различны, и цветов пять: красный, зелёный, слоновой кости, жёлтый, синий. Жители домов принадлежат к разным национальностям, и национальностей пять: англичанин, испанец, украинец, норвежец, японец. Жители пьют разные напитки, и напитков пять: кофе, чай, молоко, апельсиновый сок, вода. Жители курят разные сигареты, и сортов сигарет пять: «Old Gold», «Kool», «Chesterfield», «Lucky Strike», «Parliament». Жители держат разных животных, и животных пять: собака, улитки, лиса, лошадь, зебра. Ни один цвет, ни одна национальность, ни один напиток, ни один сорт сигарет и ни одно животное не достаются двоим: каждое из пяти значений каждого признака достаётся ровно одному дому либо ровно одному жителю. Отсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется.

Original data · JSON

{
  "contentHash": "sha256:b5256f09097c1d725d5f1e6b6caffff4d667d3769532f041eb185bece5ee769c",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P16",
  "kind": "fragment",
  "locator": "article/16",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:05b512b716396a1657708ecb45eb69331f260e81f6ff42f6183ab0e42554859f",
      "language": "ru-KZ",
      "status": "official",
      "text": "Условие 16. Ряд домов, счёт позиций и различность признаков.\n\nДома стоят в ряд и занимают позиции с первой по пятую; каждую позицию занимает ровно один дом. Позиции считаются от наблюдателя слева направо: дом, стоящий справа от другого, занимает позицию на единицу большую. Слово «справа» в посылке 6 означает правую сторону наблюдателя, а не правую сторону жителей. Соседними признаются дома, чьи позиции различаются на единицу, и соседними признаются их жители.\n\nЦвета домов различны, и цветов пять: красный, зелёный, слоновой кости, жёлтый, синий. Жители домов принадлежат к разным национальностям, и национальностей пять: англичанин, испанец, украинец, норвежец, японец. Жители пьют разные напитки, и напитков пять: кофе, чай, молоко, апельсиновый сок, вода. Жители курят разные сигареты, и сортов сигарет пять: «Old Gold», «Kool», «Chesterfield», «Lucky Strike», «Parliament». Жители держат разных животных, и животных пять: собака, улитки, лиса, лошадь, зебра.\n\nНи один цвет, ни одна национальность, ни один напиток, ни один сорт сигарет и ни одно животное не достаются двоим: каждое из пяти значений каждого признака достаётся ровно одному дому либо ровно одному жителю.\n\nОтсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется."
    }
  ]
}

Article 2

Посылка 2. Англичанин живёт в красном доме.

Original data · JSON

{
  "contentHash": "sha256:9e679c6a82dc95f255f4aabed78d3002552e56ec3ddb90550f254c28fa71b904",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:1e9a8a753c02819c29c5f5d49201553fa240acff1dc15847dbdb706e54e8b883",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 2. Англичанин живёт в красном доме."
    }
  ]
}

Article 3

Посылка 3. Испанец держит собаку.

Original data · JSON

{
  "contentHash": "sha256:c8609bfa08549346defae6bef964ca1628d7ef94df05f859e08e88f5640e2166",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:00279b7b4004ee9d9435d40af54a07ab64cc90e10762f16f342f22e9b6232f47",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 3. Испанец держит собаку."
    }
  ]
}

Article 4

Посылка 4. В зелёном доме пьют кофе.

Original data · JSON

{
  "contentHash": "sha256:432ec36a4fe759eb66ed4de09d3a1293fda9964ccc068ff3bf296d8bf4eceba6",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P4",
  "kind": "fragment",
  "locator": "article/4",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:fb548c6635275a131b5cea51b53747f60c2fb87a6d2c7a412cc87d22f3638197",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 4. В зелёном доме пьют кофе."
    }
  ]
}

Article 5

Посылка 5. Украинец пьёт чай.

Original data · JSON

{
  "contentHash": "sha256:0e803f2a195c7ca1df92d558cb01280831022fb9c15fd54024533dc2b1b453da",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P5",
  "kind": "fragment",
  "locator": "article/5",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:ba985f616a79f264faebd0a6893d9b536dec4f7060609612e9d54dfc5e8a44ec",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 5. Украинец пьёт чай."
    }
  ]
}

Article 6

Посылка 6. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости.

Original data · JSON

{
  "contentHash": "sha256:8072e19dc1f016f69401c267c9eef046002ab28ca8801c78362c1e3dc9648ef1",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P6",
  "kind": "fragment",
  "locator": "article/6",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:d40b1080f3f0e8f5d08f61a60b85c56ec79ac5137ff92d31790b94c48b10242b",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 6. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости."
    }
  ]
}

Article 7

Посылка 7. Курящий «Old Gold» держит улиток.

Original data · JSON

{
  "contentHash": "sha256:b8c483dec5c221e09e7f79d82529b8b49f1b16131a2c785e111ba95e4c94fd7c",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P7",
  "kind": "fragment",
  "locator": "article/7",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:470762ccdbb89b932bf1b93fc54e67470730b8c4828a6e627a65a499e522da37",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 7. Курящий «Old Gold» держит улиток."
    }
  ]
}

Article 8

Посылка 8. В жёлтом доме курят «Kool».

Original data · JSON

{
  "contentHash": "sha256:48a5050ed5ed6c3c140cdafb1550a941c6698d0574fc5e0a7a3181f1fbb6e6bc",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P8",
  "kind": "fragment",
  "locator": "article/8",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:0a892b6688f8f5d43168f80f51773e59b11dbccda31601c0f6ea3a2ae4615afa",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 8. В жёлтом доме курят «Kool»."
    }
  ]
}

Article 9

Посылка 9. В среднем доме пьют молоко.

Original data · JSON

{
  "contentHash": "sha256:4094fcbaba98bbe18650b845b824a5a4b76b387029ed78001005b412e3bb8ced",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P9",
  "kind": "fragment",
  "locator": "article/9",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:defe1ff214e1d07b33b9039b1a3da4fbdffc332242c02519f65734a59a7a8adc",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 9. В среднем доме пьют молоко."
    }
  ]
}

Packages in the snapshot

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина — EXECUTABLE 16 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

reshenie_verno: TRUE_ONLY — установлено Выведено правом: reshenie_verno() …и ещё 87 выведенных фактов вне предмета вопроса (полный вывод — law_explain) Применены правила: ChetveroNazvaliNapitok, ChetveroNazvaliZhivotnoe, MirZamknut, NapitkiRazlichny, NapitokRovnoUOdnogo, NapitokZanyat, NapitokZayavlennyy, NatsionalnostRovnoUOdnogo, NatsionalnostZanyata, NatsionalnostiRazlichny, Posylka01, Posylka02, Posylka03, Posylka04, Posylka05, Posylka06, Posylka07, Posylka08, Posylka09, Posylka10, Posylka11Pravee, Posylka12Levee, Posylka13, Posylka14, Posylka15Levee, PosylkiSoblyudeny, PozitsiiZanyaty, PozitsiyaZhitelya, ReshenieVerno, SortRovnoUOdnogo, SortZanyat, SortaRazlichny, TsvetRovnoUOdnogo, TsvetZanyat, TsvetaRazlichny, VodaOstatkom, ZebraOstatkom, ZhiteleyPyat, ZhivotnoeRovnoUOdnogo, ZhivotnoeZanyato, ZhivotnoeZayavlennoe, ZhivotnyeRazlichny Право (вне юрисдикции государства): Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — доктрина — EXECUTABLE 16 §33.1 (programHash sha256:e79866e5289f…) proof-граф: 142 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 21,
      "fragments": [
        "urn:logic:clir:zebra#ZEBRA_P1",
        "urn:logic:clir:zebra#ZEBRA_P10",
        "urn:logic:clir:zebra#ZEBRA_P11",
        "urn:logic:clir:zebra#ZEBRA_P12",
        "urn:logic:clir:zebra#ZEBRA_P13",
        "urn:logic:clir:zebra#ZEBRA_P14",
        "urn:logic:clir:zebra#ZEBRA_P15",
        "urn:logic:clir:zebra#ZEBRA_P16",
        "urn:logic:clir:zebra#ZEBRA_P2",
        "urn:logic:clir:zebra#ZEBRA_P3",
        "urn:logic:clir:zebra#ZEBRA_P4",
        "urn:logic:clir:zebra#ZEBRA_P5",
        "urn:logic:clir:zebra#ZEBRA_P6",
        "urn:logic:clir:zebra#ZEBRA_P7",
        "urn:logic:clir:zebra#ZEBRA_P8",
        "urn:logic:clir:zebra#ZEBRA_P9"
      ],
      "jurisdiction": "none",
      "namespace": "urn:logic:clir:zebra",
      "package": "logic-zebra",
      "title": "Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина — EXECUTABLE 16 §33.1"
    }
  ],
  "caseHash": "sha256:6c8abf5cae2261ffa9633d5870c59fa865350b765087f0a146c9ce7dd3b0b748",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:e79866e5289f3e125cf367558cd338a031d3f1f904c1fe51827d4e4af8533660",
  "resultHash": "sha256:585cf26706ab91b52efa8b893b293a503632ab7796d6f9c5039549e312bb4dfb",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:0c14430a27a77b89a310f0fdd6f2dffec474cd0e801a4e1b8b55ffd7548c7827

Original data · JSON

{
  "args": [],
  "facts": [
    {
      "args": [
        "urn:case:zebra:dom:1"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        1
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        "Zheltyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "urn:case:zebra:dom:1"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Norvezhets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Kool"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Lisa"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:2"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        2
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        "Siniy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "urn:case:zebra:dom:2"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Ukrainets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chesterfield"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chay"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Loshad"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:3"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        3
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        "Krasnyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "urn:case:zebra:dom:3"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Anglichanin"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "OldGold"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Moloko"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Ulitki"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:4"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        4
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        "SlonovayaKost"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "urn:case:zebra:dom:4"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Ispanets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "LuckyStrike"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "ApelsinovyySok"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Sobaka"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:5"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        5
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        "Zelenyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "urn:case:zebra:dom:5"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Yaponets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Parliament"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Kofe"
      ],
      "predicate": "zayavlen_napitok"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "logic-zebra",
  "predicate": "reshenie_verno",
  "proof": true
}

Вывод «решение верно» требует замкнутого мира (пять домов, пять жителей, все признаки различны) и всех пятнадцати посылок разом; в основаниях видны все они.

Collection

Кто пьёт воду

Context date 2026-08-31

Calculation result

urn:case:zebra:zhitel:1

Elements
житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16)
1

Original data · JSON

[
  {
    "id": "urn:case:zebra:zhitel:1",
    "kind": "entity_ref"
  }
]

Input parameters

What we are finding

житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16)

Voda

Input facts

дом входит в предъявленную делу расстановку
d: 1
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 1p: 1
дом окрашен в этот цвет
d: 1c: Zheltyy
житель входит в предъявленную делу расстановку
z: 1
житель живёт в этом доме
z: 1d: 1
житель принадлежит к этой национальности
z: 1n: Norvezhets
житель курит этот сорт сигарет
z: 1k: Kool
расстановка называет животное этого жителя
z: 1
расстановка называет животным этого жителя именно это
z: 1a: Lisa
дом входит в предъявленную делу расстановку
d: 2
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 2p: 2
дом окрашен в этот цвет
d: 2c: Siniy
житель входит в предъявленную делу расстановку
z: 2
житель живёт в этом доме
z: 2d: 2
житель принадлежит к этой национальности
z: 2n: Ukrainets
житель курит этот сорт сигарет
z: 2k: Chesterfield
расстановка называет напиток этого жителя
z: 2
расстановка называет напитком этого жителя именно этот
z: 2k: Chay
расстановка называет животное этого жителя
z: 2
расстановка называет животным этого жителя именно это
z: 2a: Loshad
дом входит в предъявленную делу расстановку
d: 3
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 3p: 3
дом окрашен в этот цвет
d: 3c: Krasnyy
житель входит в предъявленную делу расстановку
z: 3
житель живёт в этом доме
z: 3d: 3
житель принадлежит к этой национальности
z: 3n: Anglichanin
житель курит этот сорт сигарет
z: 3k: OldGold
расстановка называет напиток этого жителя
z: 3
расстановка называет напитком этого жителя именно этот
z: 3k: Moloko
расстановка называет животное этого жителя
z: 3
расстановка называет животным этого жителя именно это
z: 3a: Ulitki
дом входит в предъявленную делу расстановку
d: 4
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 4p: 4
дом окрашен в этот цвет
d: 4c: SlonovayaKost
житель входит в предъявленную делу расстановку
z: 4
житель живёт в этом доме
z: 4d: 4
житель принадлежит к этой национальности
z: 4n: Ispanets
житель курит этот сорт сигарет
z: 4k: LuckyStrike
расстановка называет напиток этого жителя
z: 4
расстановка называет напитком этого жителя именно этот
z: 4k: ApelsinovyySok
расстановка называет животное этого жителя
z: 4
расстановка называет животным этого жителя именно это
z: 4a: Sobaka
дом входит в предъявленную делу расстановку
d: 5
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 5p: 5
дом окрашен в этот цвет
d: 5c: Zelenyy
житель входит в предъявленную делу расстановку
z: 5
житель живёт в этом доме
z: 5d: 5
житель принадлежит к этой национальности
z: 5n: Yaponets
житель курит этот сорт сигарет
z: 5k: Parliament
расстановка называет напиток этого жителя
z: 5
расстановка называет напитком этого жителя именно этот
z: 5k: Kofe

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    {
      "kind": "var",
      "var": "v0"
    },
    "Voda"
  ],
  "facts": [
    {
      "args": [
        "urn:case:zebra:dom:1"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        1
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        "Zheltyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "urn:case:zebra:dom:1"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Norvezhets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Kool"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Lisa"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:2"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        2
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        "Siniy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "urn:case:zebra:dom:2"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Ukrainets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chesterfield"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chay"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Loshad"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:3"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        3
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        "Krasnyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "urn:case:zebra:dom:3"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Anglichanin"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "OldGold"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Moloko"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Ulitki"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:4"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        4
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        "SlonovayaKost"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "urn:case:zebra:dom:4"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Ispanets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "LuckyStrike"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "ApelsinovyySok"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Sobaka"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:5"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        5
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        "Zelenyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "urn:case:zebra:dom:5"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Yaponets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Parliament"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Kofe"
      ],
      "predicate": "zayavlen_napitok"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "logic-zebra",
  "predicate": "pyot",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path27 steps

1
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:2
case fact
2
расстановка называет напиток этого жителя
z: urn:case:zebra:zhitel:2
case fact
3
расстановка называет напитком этого жителя именно этот
z: urn:case:zebra:zhitel:2; k: urn:logic:clir:zebra#Chay
case fact
4
названный расстановкой напиток занят
этот напиток назван расстановкой какому-то жителю: k: urn:logic:clir:zebra#Chay
art. 16
Identifier
urn:logic:clir:zebra#NapitokZanyat
rule
5
занятый напиток назван ровно одному жителю (условие 16)
этот напиток назван ровно одному жителю (условие 16): k: urn:logic:clir:zebra#Chay
art. 16
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
rule
6
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:3
case fact
7
расстановка называет напиток этого жителя
z: urn:case:zebra:zhitel:3
case fact
8
расстановка называет напитком этого жителя именно этот
z: urn:case:zebra:zhitel:3; k: urn:logic:clir:zebra#Moloko
case fact
9
названный расстановкой напиток занят
этот напиток назван расстановкой какому-то жителю: k: urn:logic:clir:zebra#Moloko
art. 16
Identifier
urn:logic:clir:zebra#NapitokZanyat
rule
10
занятый напиток назван ровно одному жителю (условие 16)
этот напиток назван ровно одному жителю (условие 16): k: urn:logic:clir:zebra#Moloko
art. 16
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
rule
11
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:4
case fact
12
расстановка называет напиток этого жителя
z: urn:case:zebra:zhitel:4
case fact
13
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:1
case fact
14
расстановка называет напитком этого жителя именно этот
z: urn:case:zebra:zhitel:4; k: urn:logic:clir:zebra#ApelsinovyySok
case fact
15
названный расстановкой напиток занят
этот напиток назван расстановкой какому-то жителю: k: urn:logic:clir:zebra#ApelsinovyySok
art. 16
Identifier
urn:logic:clir:zebra#NapitokZanyat
rule
16
занятый напиток назван ровно одному жителю (условие 16)
этот напиток назван ровно одному жителю (условие 16): k: urn:logic:clir:zebra#ApelsinovyySok
art. 16
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
rule
17
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:5
case fact
18
жителей в расстановке ровно пятеро (условие 16)
расстановка называет ровно пятерых жителей (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#ZhiteleyPyat
rule
19
расстановка называет напиток этого жителя
z: urn:case:zebra:zhitel:5
case fact
20
расстановка называет напиток ровно четверым жителям (условие 16)
напитки названы ровно у четверых жителей (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#ChetveroNazvaliNapitok
rule
21
расстановка называет напитком этого жителя именно этот
z: urn:case:zebra:zhitel:5; k: urn:logic:clir:zebra#Kofe
case fact
22
названный расстановкой напиток занят
этот напиток назван расстановкой какому-то жителю: k: urn:logic:clir:zebra#Kofe
art. 16
Identifier
urn:logic:clir:zebra#NapitokZanyat
rule
23
занятый напиток назван ровно одному жителю (условие 16)
этот напиток назван ровно одному жителю (условие 16): k: urn:logic:clir:zebra#Kofe
art. 16
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
rule
24
кофе, чай, молоко и апельсиновый сок названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
напитки различны: четыре названных у ровно одного жителя каждый, пятый житель остаётся без названного напитка (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#NapitkiRazlichny
rule
25
расстановка называет напиток этого жителя
not расстановка называет напиток этого жителя: z: urn:case:zebra:zhitel:1
origin not recorded
26
житель, чей напиток не назван при соблюдённом условии 16, пьёт оставшийся напиток — воду (условие 16, вопрос 17)
житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:1; k: urn:logic:clir:zebra#Voda
art. 16
Identifier
urn:logic:clir:zebra#VodaOstatkom
rule
27
Query evaluation
Records found: 1
query

verified by the engine: 13 · case fact: 13 · origin not recorded: 1 · Full graph: 142 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина

расстановка называет напиток ровно четверым жителям (условие 16)
Identifier
urn:logic:clir:zebra#ChetveroNazvaliNapitok
кофе, чай, молоко и апельсиновый сок названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
Identifier
urn:logic:clir:zebra#NapitkiRazlichny
занятый напиток назван ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
названный расстановкой напиток занят
Identifier
urn:logic:clir:zebra#NapitokZanyat
житель, чей напиток не назван при соблюдённом условии 16, пьёт оставшийся напиток — воду (условие 16, вопрос 17)
Identifier
urn:logic:clir:zebra#VodaOstatkom
жителей в расстановке ровно пятеро (условие 16)
Identifier
urn:logic:clir:zebra#ZhiteleyPyat

Other rules in the evaluation36

Applied in the overall evaluation, but not on the proof path for this answer.

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина

расстановка называет животное ровно четверым жителям (условие 16)
Identifier
urn:logic:clir:zebra#ChetveroNazvaliZhivotnoe
позиции заняты, жителей пятеро и все пять признаков различны — условие 16 соблюдено
Identifier
urn:logic:clir:zebra#MirZamknut
названный расстановкой напиток и есть напиток жителя
Identifier
urn:logic:clir:zebra#NapitokZayavlennyy
занятая национальность досталась ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#NatsionalnostRovnoUOdnogo
названная расстановкой национальность занята
Identifier
urn:logic:clir:zebra#NatsionalnostZanyata
англичанин, испанец, украинец, норвежец и японец — ровно по одному жителю каждый (условие 16)
Identifier
urn:logic:clir:zebra#NatsionalnostiRazlichny
домов пять (посылка 1)
Identifier
urn:logic:clir:zebra#Posylka01
англичанин живёт в красном доме (посылка 2)
Identifier
urn:logic:clir:zebra#Posylka02
испанец держит собаку (посылка 3)
Identifier
urn:logic:clir:zebra#Posylka03
в зелёном доме пьют кофе (посылка 4)
Identifier
urn:logic:clir:zebra#Posylka04
украинец пьёт чай (посылка 5)
Identifier
urn:logic:clir:zebra#Posylka05
зелёный дом стоит непосредственно справа от дома цвета слоновой кости, то есть позицией на единицу большей (посылка 6, условие 16)
Identifier
urn:logic:clir:zebra#Posylka06
курящий Old Gold держит улиток (посылка 7)
Identifier
urn:logic:clir:zebra#Posylka07
в жёлтом доме курят Kool (посылка 8)
Identifier
urn:logic:clir:zebra#Posylka08
в среднем доме — том, чья позиция третья, — пьют молоко (посылка 9, условие 16)
Identifier
urn:logic:clir:zebra#Posylka09
норвежец живёт в первом доме — том, чья позиция первая (посылка 10, условие 16)
Identifier
urn:logic:clir:zebra#Posylka10
курящий Chesterfield живёт правее держащего лису на одну позицию (посылка 11, условие 16)
Identifier
urn:logic:clir:zebra#Posylka11Pravee
курящий Kool живёт левее держащего лошадь на одну позицию (посылка 12, условие 16)
Identifier
urn:logic:clir:zebra#Posylka12Levee
курящий Lucky Strike пьёт апельсиновый сок (посылка 13)
Identifier
urn:logic:clir:zebra#Posylka13
японец курит Parliament (посылка 14)
Identifier
urn:logic:clir:zebra#Posylka14
норвежец живёт левее синего дома на одну позицию (посылка 15, условие 16)
Identifier
urn:logic:clir:zebra#Posylka15Levee
соблюдены все пятнадцать посылок изложения
Identifier
urn:logic:clir:zebra#PosylkiSoblyudeny
позиции с первой по пятую заняты ровно по одному дому (условие 16)
Identifier
urn:logic:clir:zebra#PozitsiiZanyaty
житель занимает позицию своего дома (условие 16)
Identifier
urn:logic:clir:zebra#PozitsiyaZhitelya
расстановка, замкнувшая условие 16 и удовлетворившая всем пятнадцати посылкам, есть решение
Identifier
urn:logic:clir:zebra#ReshenieVerno
занятый сорт сигарет достался ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#SortRovnoUOdnogo
названный расстановкой сорт сигарет занят
Identifier
urn:logic:clir:zebra#SortZanyat
Old Gold, Kool, Chesterfield, Lucky Strike и Parliament — ровно по одному жителю каждый (условие 16)
Identifier
urn:logic:clir:zebra#SortaRazlichny
занятый цвет достался ровно одному дому (условие 16)
Identifier
urn:logic:clir:zebra#TsvetRovnoUOdnogo
названный расстановкой цвет занят
Identifier
urn:logic:clir:zebra#TsvetZanyat
красный, зелёный, слоновой кости, жёлтый и синий достались ровно одному дому каждый (условие 16)
Identifier
urn:logic:clir:zebra#TsvetaRazlichny
житель, чьё животное не названо при соблюдённом условии 16, держит оставшееся животное — зебру (условие 16, вопрос 18)
Identifier
urn:logic:clir:zebra#ZebraOstatkom
занятое животное названо ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
названное расстановкой животное занято
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
названное расстановкой животное и есть животное жителя
Identifier
urn:logic:clir:zebra#ZhivotnoeZayavlennoe
собака, улитки, лиса и лошадь названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
Identifier
urn:logic:clir:zebra#ZhivotnyeRazlichny

Derived result for this query

житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16)
z: 1k: Voda

Other derived facts4

житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16)
z k
2 Chay
3 Moloko
4 ApelsinovyySok
5 Kofe

Grid by class

Chay

urn:case:zebra:zhitel:2

Moloko

urn:case:zebra:zhitel:3

ApelsinovyySok

urn:case:zebra:zhitel:4

Kofe

urn:case:zebra:zhitel:5

Voda

urn:case:zebra:zhitel:1

житель пьёт этот напиток — по заявлению расстановки либо остатком (условие 16)
z	k
2	Chay
3	Moloko
4	ApelsinovyySok
5	Kofe
1	Voda

83 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Closed list: перечень жителей, чей напиток назван, исчерпывается расстановкой (условие 16)

closed predicate расстановка называет напиток этого жителя · snapshot urn:logic:zebra:snapshot:rasstanovka · complete as of 0001-01-01T00:00:00Z

in the list

urn:case:zebra:zhitel:2
urn:case:zebra:zhitel:3
urn:case:zebra:zhitel:4
urn:case:zebra:zhitel:5

not in the list (explicit negative by closure)

urn:case:zebra:zhitel:1

Closed list: перечень жителей, чьё животное названо, исчерпывается расстановкой (условие 16)

closed predicate расстановка называет животное этого жителя · snapshot urn:logic:zebra:snapshot:rasstanovka · complete as of 0001-01-01T00:00:00Z

in the list

urn:case:zebra:zhitel:2
urn:case:zebra:zhitel:3
urn:case:zebra:zhitel:4
urn:case:zebra:zhitel:1

not in the list (explicit negative by closure)

urn:case:zebra:zhitel:5

Proof graph · 5 layer

Proof nodes: 142 · assertion 53, rule_application 88, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 16

Article 1

Посылка 1. Домов пять.

Original data · JSON

{
  "contentHash": "sha256:2765d57cc312441c7c1c719b16c046a812efc3574484899118555e585c8a752d",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P1",
  "kind": "fragment",
  "locator": "article/1",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:29ff7d4d72e5baa96f378f72b28bf8abbb297f6d018449b3137496671a30729e",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 1. Домов пять."
    }
  ]
}

Article 10

Посылка 10. Норвежец живёт в первом доме.

Original data · JSON

{
  "contentHash": "sha256:a12b66faa3cd8750f3519a0dd57029bd454d32c01e8c9160f9f282617b6317df",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:c67257a06d65cbe9ad3fd6d48a52d7ef1f636ec53fe43ef18f676525fb1d6533",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 10. Норвежец живёт в первом доме."
    }
  ]
}

Article 11

Посылка 11. Курящий «Chesterfield» живёт по соседству с тем, кто держит лису.

Original data · JSON

{
  "contentHash": "sha256:9435752e49b3ed641be89466654f529c654e72f169939d7b71e15160387ccf80",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P11",
  "kind": "fragment",
  "locator": "article/11",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:b2d2aac26092f262f9fe95466dfa021d75b76f273700e495979263d70cffd214",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 11. Курящий «Chesterfield» живёт по соседству с тем, кто держит лису."
    }
  ]
}

Article 12

Посылка 12. «Kool» курят по соседству с домом, где держат лошадь.

Original data · JSON

{
  "contentHash": "sha256:5d19d77f26a3ba5217bd4fa05bbbd175e9658ce54f4d7d2afeab2c0f56aef2d1",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P12",
  "kind": "fragment",
  "locator": "article/12",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:03ab096668eafa82c22cce5ca73e81c60db5f8eab59b0824eb35630132916050",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 12. «Kool» курят по соседству с домом, где держат лошадь."
    }
  ]
}

Article 13

Посылка 13. Курящий «Lucky Strike» пьёт апельсиновый сок.

Original data · JSON

{
  "contentHash": "sha256:23d9117fc45a7d94c03e3a0002d03892663d011c08a8e1b876a762f6987472c9",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P13",
  "kind": "fragment",
  "locator": "article/13",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:6d893b7668723aa2813a0d99282ef1838848140895b66e395c7f18969f64bc55",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 13. Курящий «Lucky Strike» пьёт апельсиновый сок."
    }
  ]
}

Article 14

Посылка 14. Японец курит «Parliament».

Original data · JSON

{
  "contentHash": "sha256:79e83dd6a2e660c78c63e60dab3304602e8d02baf7e70301dcd3edb45160833a",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P14",
  "kind": "fragment",
  "locator": "article/14",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:e6628264e67e207d8610f6699dfa186e86e9e605b3ef2609d4f462b7c46ef4ed",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 14. Японец курит «Parliament»."
    }
  ]
}

Article 15

Посылка 15. Норвежец живёт по соседству с синим домом.

Original data · JSON

{
  "contentHash": "sha256:e7b8629c165e4c9d4e99e4ec8b2ec43f360c3484ef69d9f2abd0113808b20aa3",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P15",
  "kind": "fragment",
  "locator": "article/15",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:39e259be43342ea1744110fc697778658fc9f38bc0d6642b7dd89550b8372da9",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 15. Норвежец живёт по соседству с синим домом."
    }
  ]
}

Article 16

Условие 16. Ряд домов, счёт позиций и различность признаков. Дома стоят в ряд и занимают позиции с первой по пятую; каждую позицию занимает ровно один дом. Позиции считаются от наблюдателя слева направо: дом, стоящий справа от другого, занимает позицию на единицу большую. Слово «справа» в посылке 6 означает правую сторону наблюдателя, а не правую сторону жителей. Соседними признаются дома, чьи позиции различаются на единицу, и соседними признаются их жители. Цвета домов различны, и цветов пять: красный, зелёный, слоновой кости, жёлтый, синий. Жители домов принадлежат к разным национальностям, и национальностей пять: англичанин, испанец, украинец, норвежец, японец. Жители пьют разные напитки, и напитков пять: кофе, чай, молоко, апельсиновый сок, вода. Жители курят разные сигареты, и сортов сигарет пять: «Old Gold», «Kool», «Chesterfield», «Lucky Strike», «Parliament». Жители держат разных животных, и животных пять: собака, улитки, лиса, лошадь, зебра. Ни один цвет, ни одна национальность, ни один напиток, ни один сорт сигарет и ни одно животное не достаются двоим: каждое из пяти значений каждого признака достаётся ровно одному дому либо ровно одному жителю. Отсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется.

Original data · JSON

{
  "contentHash": "sha256:b5256f09097c1d725d5f1e6b6caffff4d667d3769532f041eb185bece5ee769c",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P16",
  "kind": "fragment",
  "locator": "article/16",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:05b512b716396a1657708ecb45eb69331f260e81f6ff42f6183ab0e42554859f",
      "language": "ru-KZ",
      "status": "official",
      "text": "Условие 16. Ряд домов, счёт позиций и различность признаков.\n\nДома стоят в ряд и занимают позиции с первой по пятую; каждую позицию занимает ровно один дом. Позиции считаются от наблюдателя слева направо: дом, стоящий справа от другого, занимает позицию на единицу большую. Слово «справа» в посылке 6 означает правую сторону наблюдателя, а не правую сторону жителей. Соседними признаются дома, чьи позиции различаются на единицу, и соседними признаются их жители.\n\nЦвета домов различны, и цветов пять: красный, зелёный, слоновой кости, жёлтый, синий. Жители домов принадлежат к разным национальностям, и национальностей пять: англичанин, испанец, украинец, норвежец, японец. Жители пьют разные напитки, и напитков пять: кофе, чай, молоко, апельсиновый сок, вода. Жители курят разные сигареты, и сортов сигарет пять: «Old Gold», «Kool», «Chesterfield», «Lucky Strike», «Parliament». Жители держат разных животных, и животных пять: собака, улитки, лиса, лошадь, зебра.\n\nНи один цвет, ни одна национальность, ни один напиток, ни один сорт сигарет и ни одно животное не достаются двоим: каждое из пяти значений каждого признака достаётся ровно одному дому либо ровно одному жителю.\n\nОтсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется."
    }
  ]
}

Article 2

Посылка 2. Англичанин живёт в красном доме.

Original data · JSON

{
  "contentHash": "sha256:9e679c6a82dc95f255f4aabed78d3002552e56ec3ddb90550f254c28fa71b904",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:1e9a8a753c02819c29c5f5d49201553fa240acff1dc15847dbdb706e54e8b883",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 2. Англичанин живёт в красном доме."
    }
  ]
}

Article 3

Посылка 3. Испанец держит собаку.

Original data · JSON

{
  "contentHash": "sha256:c8609bfa08549346defae6bef964ca1628d7ef94df05f859e08e88f5640e2166",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:00279b7b4004ee9d9435d40af54a07ab64cc90e10762f16f342f22e9b6232f47",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 3. Испанец держит собаку."
    }
  ]
}

Article 4

Посылка 4. В зелёном доме пьют кофе.

Original data · JSON

{
  "contentHash": "sha256:432ec36a4fe759eb66ed4de09d3a1293fda9964ccc068ff3bf296d8bf4eceba6",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P4",
  "kind": "fragment",
  "locator": "article/4",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:fb548c6635275a131b5cea51b53747f60c2fb87a6d2c7a412cc87d22f3638197",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 4. В зелёном доме пьют кофе."
    }
  ]
}

Article 5

Посылка 5. Украинец пьёт чай.

Original data · JSON

{
  "contentHash": "sha256:0e803f2a195c7ca1df92d558cb01280831022fb9c15fd54024533dc2b1b453da",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P5",
  "kind": "fragment",
  "locator": "article/5",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:ba985f616a79f264faebd0a6893d9b536dec4f7060609612e9d54dfc5e8a44ec",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 5. Украинец пьёт чай."
    }
  ]
}

Article 6

Посылка 6. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости.

Original data · JSON

{
  "contentHash": "sha256:8072e19dc1f016f69401c267c9eef046002ab28ca8801c78362c1e3dc9648ef1",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P6",
  "kind": "fragment",
  "locator": "article/6",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:d40b1080f3f0e8f5d08f61a60b85c56ec79ac5137ff92d31790b94c48b10242b",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 6. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости."
    }
  ]
}

Article 7

Посылка 7. Курящий «Old Gold» держит улиток.

Original data · JSON

{
  "contentHash": "sha256:b8c483dec5c221e09e7f79d82529b8b49f1b16131a2c785e111ba95e4c94fd7c",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P7",
  "kind": "fragment",
  "locator": "article/7",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:470762ccdbb89b932bf1b93fc54e67470730b8c4828a6e627a65a499e522da37",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 7. Курящий «Old Gold» держит улиток."
    }
  ]
}

Article 8

Посылка 8. В жёлтом доме курят «Kool».

Original data · JSON

{
  "contentHash": "sha256:48a5050ed5ed6c3c140cdafb1550a941c6698d0574fc5e0a7a3181f1fbb6e6bc",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P8",
  "kind": "fragment",
  "locator": "article/8",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:0a892b6688f8f5d43168f80f51773e59b11dbccda31601c0f6ea3a2ae4615afa",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 8. В жёлтом доме курят «Kool»."
    }
  ]
}

Article 9

Посылка 9. В среднем доме пьют молоко.

Original data · JSON

{
  "contentHash": "sha256:4094fcbaba98bbe18650b845b824a5a4b76b387029ed78001005b412e3bb8ced",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P9",
  "kind": "fragment",
  "locator": "article/9",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:defe1ff214e1d07b33b9039b1a3da4fbdffc332242c02519f65734a59a7a8adc",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 9. В среднем доме пьют молоко."
    }
  ]
}

Packages in the snapshot

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина — EXECUTABLE 16 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

Найдено записей: 1. Значения ?v0: urn:case:zebra:zhitel:1 Выведено правом: pyot(urn:case:zebra:zhitel:2, Chay); pyot(urn:case:zebra:zhitel:3, Moloko); pyot(urn:case:zebra:zhitel:4, ApelsinovyySok); pyot(urn:case:zebra:zhitel:5, Kofe); pyot(urn:case:zebra:zhitel:1, Voda) …и ещё 83 выведенных фактов вне предмета вопроса (полный вывод — law_explain) Применены правила: ChetveroNazvaliNapitok, ChetveroNazvaliZhivotnoe, MirZamknut, NapitkiRazlichny, NapitokRovnoUOdnogo, NapitokZanyat, NapitokZayavlennyy, NatsionalnostRovnoUOdnogo, NatsionalnostZanyata, NatsionalnostiRazlichny, Posylka01, Posylka02, Posylka03, Posylka04, Posylka05, Posylka06, Posylka07, Posylka08, Posylka09, Posylka10, Posylka11Pravee, Posylka12Levee, Posylka13, Posylka14, Posylka15Levee, PosylkiSoblyudeny, PozitsiiZanyaty, PozitsiyaZhitelya, ReshenieVerno, SortRovnoUOdnogo, SortZanyat, SortaRazlichny, TsvetRovnoUOdnogo, TsvetZanyat, TsvetaRazlichny, VodaOstatkom, ZebraOstatkom, ZhiteleyPyat, ZhivotnoeRovnoUOdnogo, ZhivotnoeZanyato, ZhivotnoeZayavlennoe, ZhivotnyeRazlichny Право (вне юрисдикции государства): Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — доктрина — EXECUTABLE 16 §33.1 (programHash sha256:e79866e5289f…) proof-граф: 142 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 21,
      "fragments": [
        "urn:logic:clir:zebra#ZEBRA_P1",
        "urn:logic:clir:zebra#ZEBRA_P10",
        "urn:logic:clir:zebra#ZEBRA_P11",
        "urn:logic:clir:zebra#ZEBRA_P12",
        "urn:logic:clir:zebra#ZEBRA_P13",
        "urn:logic:clir:zebra#ZEBRA_P14",
        "urn:logic:clir:zebra#ZEBRA_P15",
        "urn:logic:clir:zebra#ZEBRA_P16",
        "urn:logic:clir:zebra#ZEBRA_P2",
        "urn:logic:clir:zebra#ZEBRA_P3",
        "urn:logic:clir:zebra#ZEBRA_P4",
        "urn:logic:clir:zebra#ZEBRA_P5",
        "urn:logic:clir:zebra#ZEBRA_P6",
        "urn:logic:clir:zebra#ZEBRA_P7",
        "urn:logic:clir:zebra#ZEBRA_P8",
        "urn:logic:clir:zebra#ZEBRA_P9"
      ],
      "jurisdiction": "none",
      "namespace": "urn:logic:clir:zebra",
      "package": "logic-zebra",
      "title": "Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина — EXECUTABLE 16 §33.1"
    }
  ],
  "caseHash": "sha256:6c8abf5cae2261ffa9633d5870c59fa865350b765087f0a146c9ce7dd3b0b748",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:e79866e5289f3e125cf367558cd338a031d3f1f904c1fe51827d4e4af8533660",
  "resultHash": "sha256:f439718d2fed2f67ca0276db9a68ae6c4ca36e6385f679b48a8987787e0494c7",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:5fc5ba7edd69fd3b5291c7671ee5ef849fb85738b534b25ae3054365c7f7bfbc

Original data · JSON

{
  "args": [
    {
      "kind": "var",
      "var": "v0"
    },
    "Voda"
  ],
  "facts": [
    {
      "args": [
        "urn:case:zebra:dom:1"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        1
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        "Zheltyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "urn:case:zebra:dom:1"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Norvezhets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Kool"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Lisa"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:2"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        2
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        "Siniy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "urn:case:zebra:dom:2"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Ukrainets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chesterfield"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chay"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Loshad"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:3"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        3
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        "Krasnyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "urn:case:zebra:dom:3"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Anglichanin"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "OldGold"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Moloko"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Ulitki"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:4"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        4
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        "SlonovayaKost"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "urn:case:zebra:dom:4"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Ispanets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "LuckyStrike"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "ApelsinovyySok"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Sobaka"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:5"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        5
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        "Zelenyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "urn:case:zebra:dom:5"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Yaponets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Parliament"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Kofe"
      ],
      "predicate": "zayavlen_napitok"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "logic-zebra",
  "predicate": "pyot",
  "proof": true
}

Четверо жителей назвали четыре напитка, и пятый пьёт оставшийся: правило остатка срабатывает только при различности напитков, иначе оно молчит.

Collection

Кто держит зебру

Context date 2026-08-31

Calculation result

urn:case:zebra:zhitel:5

Elements
житель держит это животное — по заявлению расстановки либо остатком (условие 16)
5

Original data · JSON

[
  {
    "id": "urn:case:zebra:zhitel:5",
    "kind": "entity_ref"
  }
]

Input parameters

What we are finding

житель держит это животное — по заявлению расстановки либо остатком (условие 16)

Zebra

Input facts

дом входит в предъявленную делу расстановку
d: 1
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 1p: 1
дом окрашен в этот цвет
d: 1c: Zheltyy
житель входит в предъявленную делу расстановку
z: 1
житель живёт в этом доме
z: 1d: 1
житель принадлежит к этой национальности
z: 1n: Norvezhets
житель курит этот сорт сигарет
z: 1k: Kool
расстановка называет животное этого жителя
z: 1
расстановка называет животным этого жителя именно это
z: 1a: Lisa
дом входит в предъявленную делу расстановку
d: 2
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 2p: 2
дом окрашен в этот цвет
d: 2c: Siniy
житель входит в предъявленную делу расстановку
z: 2
житель живёт в этом доме
z: 2d: 2
житель принадлежит к этой национальности
z: 2n: Ukrainets
житель курит этот сорт сигарет
z: 2k: Chesterfield
расстановка называет напиток этого жителя
z: 2
расстановка называет напитком этого жителя именно этот
z: 2k: Chay
расстановка называет животное этого жителя
z: 2
расстановка называет животным этого жителя именно это
z: 2a: Loshad
дом входит в предъявленную делу расстановку
d: 3
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 3p: 3
дом окрашен в этот цвет
d: 3c: Krasnyy
житель входит в предъявленную делу расстановку
z: 3
житель живёт в этом доме
z: 3d: 3
житель принадлежит к этой национальности
z: 3n: Anglichanin
житель курит этот сорт сигарет
z: 3k: OldGold
расстановка называет напиток этого жителя
z: 3
расстановка называет напитком этого жителя именно этот
z: 3k: Moloko
расстановка называет животное этого жителя
z: 3
расстановка называет животным этого жителя именно это
z: 3a: Ulitki
дом входит в предъявленную делу расстановку
d: 4
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 4p: 4
дом окрашен в этот цвет
d: 4c: SlonovayaKost
житель входит в предъявленную делу расстановку
z: 4
житель живёт в этом доме
z: 4d: 4
житель принадлежит к этой национальности
z: 4n: Ispanets
житель курит этот сорт сигарет
z: 4k: LuckyStrike
расстановка называет напиток этого жителя
z: 4
расстановка называет напитком этого жителя именно этот
z: 4k: ApelsinovyySok
расстановка называет животное этого жителя
z: 4
расстановка называет животным этого жителя именно это
z: 4a: Sobaka
дом входит в предъявленную делу расстановку
d: 5
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 5p: 5
дом окрашен в этот цвет
d: 5c: Zelenyy
житель входит в предъявленную делу расстановку
z: 5
житель живёт в этом доме
z: 5d: 5
житель принадлежит к этой национальности
z: 5n: Yaponets
житель курит этот сорт сигарет
z: 5k: Parliament
расстановка называет напиток этого жителя
z: 5
расстановка называет напитком этого жителя именно этот
z: 5k: Kofe

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    {
      "kind": "var",
      "var": "v0"
    },
    "Zebra"
  ],
  "facts": [
    {
      "args": [
        "urn:case:zebra:dom:1"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        1
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        "Zheltyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "urn:case:zebra:dom:1"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Norvezhets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Kool"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Lisa"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:2"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        2
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        "Siniy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "urn:case:zebra:dom:2"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Ukrainets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chesterfield"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chay"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Loshad"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:3"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        3
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        "Krasnyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "urn:case:zebra:dom:3"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Anglichanin"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "OldGold"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Moloko"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Ulitki"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:4"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        4
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        "SlonovayaKost"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "urn:case:zebra:dom:4"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Ispanets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "LuckyStrike"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "ApelsinovyySok"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Sobaka"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:5"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        5
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        "Zelenyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "urn:case:zebra:dom:5"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Yaponets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Parliament"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Kofe"
      ],
      "predicate": "zayavlen_napitok"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "logic-zebra",
  "predicate": "derzhit",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path27 steps

1
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:2
case fact
2
расстановка называет животное этого жителя
z: urn:case:zebra:zhitel:2
case fact
3
расстановка называет животным этого жителя именно это
z: urn:case:zebra:zhitel:2; a: urn:logic:clir:zebra#Loshad
case fact
4
названное расстановкой животное занято
это животное названо расстановкой какому-то жителю: a: urn:logic:clir:zebra#Loshad
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
rule
5
занятое животное названо ровно одному жителю (условие 16)
это животное названо ровно одному жителю (условие 16): a: urn:logic:clir:zebra#Loshad
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
rule
6
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:3
case fact
7
расстановка называет животное этого жителя
z: urn:case:zebra:zhitel:3
case fact
8
расстановка называет животным этого жителя именно это
z: urn:case:zebra:zhitel:3; a: urn:logic:clir:zebra#Ulitki
case fact
9
названное расстановкой животное занято
это животное названо расстановкой какому-то жителю: a: urn:logic:clir:zebra#Ulitki
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
rule
10
занятое животное названо ровно одному жителю (условие 16)
это животное названо ровно одному жителю (условие 16): a: urn:logic:clir:zebra#Ulitki
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
rule
11
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:4
case fact
12
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:1
case fact
13
расстановка называет животное этого жителя
z: urn:case:zebra:zhitel:4
case fact
14
расстановка называет животным этого жителя именно это
z: urn:case:zebra:zhitel:4; a: urn:logic:clir:zebra#Sobaka
case fact
15
названное расстановкой животное занято
это животное названо расстановкой какому-то жителю: a: urn:logic:clir:zebra#Sobaka
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
rule
16
занятое животное названо ровно одному жителю (условие 16)
это животное названо ровно одному жителю (условие 16): a: urn:logic:clir:zebra#Sobaka
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
rule
17
житель входит в предъявленную делу расстановку
z: urn:case:zebra:zhitel:5
case fact
18
жителей в расстановке ровно пятеро (условие 16)
расстановка называет ровно пятерых жителей (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#ZhiteleyPyat
rule
19
расстановка называет животное этого жителя
z: urn:case:zebra:zhitel:1
case fact
20
расстановка называет животное ровно четверым жителям (условие 16)
животные названы ровно у четверых жителей (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#ChetveroNazvaliZhivotnoe
rule
21
расстановка называет животным этого жителя именно это
z: urn:case:zebra:zhitel:1; a: urn:logic:clir:zebra#Lisa
case fact
22
названное расстановкой животное занято
это животное названо расстановкой какому-то жителю: a: urn:logic:clir:zebra#Lisa
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
rule
23
занятое животное названо ровно одному жителю (условие 16)
это животное названо ровно одному жителю (условие 16): a: urn:logic:clir:zebra#Lisa
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
rule
24
собака, улитки, лиса и лошадь названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
животные различны: четыре названных у ровно одного жителя каждое, пятый житель остаётся без названного животного (условие 16):
art. 16
Identifier
urn:logic:clir:zebra#ZhivotnyeRazlichny
rule
25
расстановка называет животное этого жителя
not расстановка называет животное этого жителя: z: urn:case:zebra:zhitel:5
origin not recorded
26
житель, чьё животное не названо при соблюдённом условии 16, держит оставшееся животное — зебру (условие 16, вопрос 18)
житель держит это животное — по заявлению расстановки либо остатком (условие 16): z: urn:case:zebra:zhitel:5; a: urn:logic:clir:zebra#Zebra
art. 16
Identifier
urn:logic:clir:zebra#ZebraOstatkom
rule
27
Query evaluation
Records found: 1
query

verified by the engine: 13 · case fact: 13 · origin not recorded: 1 · Full graph: 142 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Basis of this answer

Rules on the saved proof path for this answer.

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина

расстановка называет животное ровно четверым жителям (условие 16)
Identifier
urn:logic:clir:zebra#ChetveroNazvaliZhivotnoe
житель, чьё животное не названо при соблюдённом условии 16, держит оставшееся животное — зебру (условие 16, вопрос 18)
Identifier
urn:logic:clir:zebra#ZebraOstatkom
жителей в расстановке ровно пятеро (условие 16)
Identifier
urn:logic:clir:zebra#ZhiteleyPyat
занятое животное названо ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
названное расстановкой животное занято
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
собака, улитки, лиса и лошадь названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
Identifier
urn:logic:clir:zebra#ZhivotnyeRazlichny

Other rules in the evaluation36

Applied in the overall evaluation, but not on the proof path for this answer.

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина

расстановка называет напиток ровно четверым жителям (условие 16)
Identifier
urn:logic:clir:zebra#ChetveroNazvaliNapitok
позиции заняты, жителей пятеро и все пять признаков различны — условие 16 соблюдено
Identifier
urn:logic:clir:zebra#MirZamknut
кофе, чай, молоко и апельсиновый сок названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
Identifier
urn:logic:clir:zebra#NapitkiRazlichny
занятый напиток назван ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
названный расстановкой напиток занят
Identifier
urn:logic:clir:zebra#NapitokZanyat
названный расстановкой напиток и есть напиток жителя
Identifier
urn:logic:clir:zebra#NapitokZayavlennyy
занятая национальность досталась ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#NatsionalnostRovnoUOdnogo
названная расстановкой национальность занята
Identifier
urn:logic:clir:zebra#NatsionalnostZanyata
англичанин, испанец, украинец, норвежец и японец — ровно по одному жителю каждый (условие 16)
Identifier
urn:logic:clir:zebra#NatsionalnostiRazlichny
домов пять (посылка 1)
Identifier
urn:logic:clir:zebra#Posylka01
англичанин живёт в красном доме (посылка 2)
Identifier
urn:logic:clir:zebra#Posylka02
испанец держит собаку (посылка 3)
Identifier
urn:logic:clir:zebra#Posylka03
в зелёном доме пьют кофе (посылка 4)
Identifier
urn:logic:clir:zebra#Posylka04
украинец пьёт чай (посылка 5)
Identifier
urn:logic:clir:zebra#Posylka05
зелёный дом стоит непосредственно справа от дома цвета слоновой кости, то есть позицией на единицу большей (посылка 6, условие 16)
Identifier
urn:logic:clir:zebra#Posylka06
курящий Old Gold держит улиток (посылка 7)
Identifier
urn:logic:clir:zebra#Posylka07
в жёлтом доме курят Kool (посылка 8)
Identifier
urn:logic:clir:zebra#Posylka08
в среднем доме — том, чья позиция третья, — пьют молоко (посылка 9, условие 16)
Identifier
urn:logic:clir:zebra#Posylka09
норвежец живёт в первом доме — том, чья позиция первая (посылка 10, условие 16)
Identifier
urn:logic:clir:zebra#Posylka10
курящий Chesterfield живёт правее держащего лису на одну позицию (посылка 11, условие 16)
Identifier
urn:logic:clir:zebra#Posylka11Pravee
курящий Kool живёт левее держащего лошадь на одну позицию (посылка 12, условие 16)
Identifier
urn:logic:clir:zebra#Posylka12Levee
курящий Lucky Strike пьёт апельсиновый сок (посылка 13)
Identifier
urn:logic:clir:zebra#Posylka13
японец курит Parliament (посылка 14)
Identifier
urn:logic:clir:zebra#Posylka14
норвежец живёт левее синего дома на одну позицию (посылка 15, условие 16)
Identifier
urn:logic:clir:zebra#Posylka15Levee
соблюдены все пятнадцать посылок изложения
Identifier
urn:logic:clir:zebra#PosylkiSoblyudeny
позиции с первой по пятую заняты ровно по одному дому (условие 16)
Identifier
urn:logic:clir:zebra#PozitsiiZanyaty
житель занимает позицию своего дома (условие 16)
Identifier
urn:logic:clir:zebra#PozitsiyaZhitelya
расстановка, замкнувшая условие 16 и удовлетворившая всем пятнадцати посылкам, есть решение
Identifier
urn:logic:clir:zebra#ReshenieVerno
занятый сорт сигарет достался ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#SortRovnoUOdnogo
названный расстановкой сорт сигарет занят
Identifier
urn:logic:clir:zebra#SortZanyat
Old Gold, Kool, Chesterfield, Lucky Strike и Parliament — ровно по одному жителю каждый (условие 16)
Identifier
urn:logic:clir:zebra#SortaRazlichny
занятый цвет достался ровно одному дому (условие 16)
Identifier
urn:logic:clir:zebra#TsvetRovnoUOdnogo
названный расстановкой цвет занят
Identifier
urn:logic:clir:zebra#TsvetZanyat
красный, зелёный, слоновой кости, жёлтый и синий достались ровно одному дому каждый (условие 16)
Identifier
urn:logic:clir:zebra#TsvetaRazlichny
житель, чей напиток не назван при соблюдённом условии 16, пьёт оставшийся напиток — воду (условие 16, вопрос 17)
Identifier
urn:logic:clir:zebra#VodaOstatkom
названное расстановкой животное и есть животное жителя
Identifier
urn:logic:clir:zebra#ZhivotnoeZayavlennoe

Derived result for this query

житель держит это животное — по заявлению расстановки либо остатком (условие 16)
z: 5a: Zebra

Other derived facts4

житель держит это животное — по заявлению расстановки либо остатком (условие 16)
z a
2 Loshad
3 Ulitki
4 Sobaka
1 Lisa

Grid by class

Loshad

urn:case:zebra:zhitel:2

Ulitki

urn:case:zebra:zhitel:3

Sobaka

urn:case:zebra:zhitel:4

Lisa

urn:case:zebra:zhitel:1

Zebra

urn:case:zebra:zhitel:5

житель держит это животное — по заявлению расстановки либо остатком (условие 16)
z	a
2	Loshad
3	Ulitki
4	Sobaka
1	Lisa
5	Zebra

83 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Proof graph

Closed list: перечень жителей, чей напиток назван, исчерпывается расстановкой (условие 16)

closed predicate расстановка называет напиток этого жителя · snapshot urn:logic:zebra:snapshot:rasstanovka · complete as of 0001-01-01T00:00:00Z

in the list

urn:case:zebra:zhitel:2
urn:case:zebra:zhitel:3
urn:case:zebra:zhitel:4
urn:case:zebra:zhitel:5

not in the list (explicit negative by closure)

urn:case:zebra:zhitel:1

Closed list: перечень жителей, чьё животное названо, исчерпывается расстановкой (условие 16)

closed predicate расстановка называет животное этого жителя · snapshot urn:logic:zebra:snapshot:rasstanovka · complete as of 0001-01-01T00:00:00Z

in the list

urn:case:zebra:zhitel:2
urn:case:zebra:zhitel:3
urn:case:zebra:zhitel:4
urn:case:zebra:zhitel:1

not in the list (explicit negative by closure)

urn:case:zebra:zhitel:5

Proof graph · 5 layer

Proof nodes: 142 · assertion 53, rule_application 88, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 16

Article 1

Посылка 1. Домов пять.

Original data · JSON

{
  "contentHash": "sha256:2765d57cc312441c7c1c719b16c046a812efc3574484899118555e585c8a752d",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P1",
  "kind": "fragment",
  "locator": "article/1",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:29ff7d4d72e5baa96f378f72b28bf8abbb297f6d018449b3137496671a30729e",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 1. Домов пять."
    }
  ]
}

Article 10

Посылка 10. Норвежец живёт в первом доме.

Original data · JSON

{
  "contentHash": "sha256:a12b66faa3cd8750f3519a0dd57029bd454d32c01e8c9160f9f282617b6317df",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:c67257a06d65cbe9ad3fd6d48a52d7ef1f636ec53fe43ef18f676525fb1d6533",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 10. Норвежец живёт в первом доме."
    }
  ]
}

Article 11

Посылка 11. Курящий «Chesterfield» живёт по соседству с тем, кто держит лису.

Original data · JSON

{
  "contentHash": "sha256:9435752e49b3ed641be89466654f529c654e72f169939d7b71e15160387ccf80",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P11",
  "kind": "fragment",
  "locator": "article/11",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:b2d2aac26092f262f9fe95466dfa021d75b76f273700e495979263d70cffd214",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 11. Курящий «Chesterfield» живёт по соседству с тем, кто держит лису."
    }
  ]
}

Article 12

Посылка 12. «Kool» курят по соседству с домом, где держат лошадь.

Original data · JSON

{
  "contentHash": "sha256:5d19d77f26a3ba5217bd4fa05bbbd175e9658ce54f4d7d2afeab2c0f56aef2d1",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P12",
  "kind": "fragment",
  "locator": "article/12",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:03ab096668eafa82c22cce5ca73e81c60db5f8eab59b0824eb35630132916050",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 12. «Kool» курят по соседству с домом, где держат лошадь."
    }
  ]
}

Article 13

Посылка 13. Курящий «Lucky Strike» пьёт апельсиновый сок.

Original data · JSON

{
  "contentHash": "sha256:23d9117fc45a7d94c03e3a0002d03892663d011c08a8e1b876a762f6987472c9",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P13",
  "kind": "fragment",
  "locator": "article/13",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:6d893b7668723aa2813a0d99282ef1838848140895b66e395c7f18969f64bc55",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 13. Курящий «Lucky Strike» пьёт апельсиновый сок."
    }
  ]
}

Article 14

Посылка 14. Японец курит «Parliament».

Original data · JSON

{
  "contentHash": "sha256:79e83dd6a2e660c78c63e60dab3304602e8d02baf7e70301dcd3edb45160833a",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P14",
  "kind": "fragment",
  "locator": "article/14",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:e6628264e67e207d8610f6699dfa186e86e9e605b3ef2609d4f462b7c46ef4ed",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 14. Японец курит «Parliament»."
    }
  ]
}

Article 15

Посылка 15. Норвежец живёт по соседству с синим домом.

Original data · JSON

{
  "contentHash": "sha256:e7b8629c165e4c9d4e99e4ec8b2ec43f360c3484ef69d9f2abd0113808b20aa3",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P15",
  "kind": "fragment",
  "locator": "article/15",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:39e259be43342ea1744110fc697778658fc9f38bc0d6642b7dd89550b8372da9",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 15. Норвежец живёт по соседству с синим домом."
    }
  ]
}

Article 16

Условие 16. Ряд домов, счёт позиций и различность признаков. Дома стоят в ряд и занимают позиции с первой по пятую; каждую позицию занимает ровно один дом. Позиции считаются от наблюдателя слева направо: дом, стоящий справа от другого, занимает позицию на единицу большую. Слово «справа» в посылке 6 означает правую сторону наблюдателя, а не правую сторону жителей. Соседними признаются дома, чьи позиции различаются на единицу, и соседними признаются их жители. Цвета домов различны, и цветов пять: красный, зелёный, слоновой кости, жёлтый, синий. Жители домов принадлежат к разным национальностям, и национальностей пять: англичанин, испанец, украинец, норвежец, японец. Жители пьют разные напитки, и напитков пять: кофе, чай, молоко, апельсиновый сок, вода. Жители курят разные сигареты, и сортов сигарет пять: «Old Gold», «Kool», «Chesterfield», «Lucky Strike», «Parliament». Жители держат разных животных, и животных пять: собака, улитки, лиса, лошадь, зебра. Ни один цвет, ни одна национальность, ни один напиток, ни один сорт сигарет и ни одно животное не достаются двоим: каждое из пяти значений каждого признака достаётся ровно одному дому либо ровно одному жителю. Отсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется.

Original data · JSON

{
  "contentHash": "sha256:b5256f09097c1d725d5f1e6b6caffff4d667d3769532f041eb185bece5ee769c",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P16",
  "kind": "fragment",
  "locator": "article/16",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:05b512b716396a1657708ecb45eb69331f260e81f6ff42f6183ab0e42554859f",
      "language": "ru-KZ",
      "status": "official",
      "text": "Условие 16. Ряд домов, счёт позиций и различность признаков.\n\nДома стоят в ряд и занимают позиции с первой по пятую; каждую позицию занимает ровно один дом. Позиции считаются от наблюдателя слева направо: дом, стоящий справа от другого, занимает позицию на единицу большую. Слово «справа» в посылке 6 означает правую сторону наблюдателя, а не правую сторону жителей. Соседними признаются дома, чьи позиции различаются на единицу, и соседними признаются их жители.\n\nЦвета домов различны, и цветов пять: красный, зелёный, слоновой кости, жёлтый, синий. Жители домов принадлежат к разным национальностям, и национальностей пять: англичанин, испанец, украинец, норвежец, японец. Жители пьют разные напитки, и напитков пять: кофе, чай, молоко, апельсиновый сок, вода. Жители курят разные сигареты, и сортов сигарет пять: «Old Gold», «Kool», «Chesterfield», «Lucky Strike», «Parliament». Жители держат разных животных, и животных пять: собака, улитки, лиса, лошадь, зебра.\n\nНи один цвет, ни одна национальность, ни один напиток, ни один сорт сигарет и ни одно животное не достаются двоим: каждое из пяти значений каждого признака достаётся ровно одному дому либо ровно одному жителю.\n\nОтсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется."
    }
  ]
}

Article 2

Посылка 2. Англичанин живёт в красном доме.

Original data · JSON

{
  "contentHash": "sha256:9e679c6a82dc95f255f4aabed78d3002552e56ec3ddb90550f254c28fa71b904",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:1e9a8a753c02819c29c5f5d49201553fa240acff1dc15847dbdb706e54e8b883",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 2. Англичанин живёт в красном доме."
    }
  ]
}

Article 3

Посылка 3. Испанец держит собаку.

Original data · JSON

{
  "contentHash": "sha256:c8609bfa08549346defae6bef964ca1628d7ef94df05f859e08e88f5640e2166",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:00279b7b4004ee9d9435d40af54a07ab64cc90e10762f16f342f22e9b6232f47",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 3. Испанец держит собаку."
    }
  ]
}

Article 4

Посылка 4. В зелёном доме пьют кофе.

Original data · JSON

{
  "contentHash": "sha256:432ec36a4fe759eb66ed4de09d3a1293fda9964ccc068ff3bf296d8bf4eceba6",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P4",
  "kind": "fragment",
  "locator": "article/4",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:fb548c6635275a131b5cea51b53747f60c2fb87a6d2c7a412cc87d22f3638197",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 4. В зелёном доме пьют кофе."
    }
  ]
}

Article 5

Посылка 5. Украинец пьёт чай.

Original data · JSON

{
  "contentHash": "sha256:0e803f2a195c7ca1df92d558cb01280831022fb9c15fd54024533dc2b1b453da",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P5",
  "kind": "fragment",
  "locator": "article/5",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:ba985f616a79f264faebd0a6893d9b536dec4f7060609612e9d54dfc5e8a44ec",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 5. Украинец пьёт чай."
    }
  ]
}

Article 6

Посылка 6. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости.

Original data · JSON

{
  "contentHash": "sha256:8072e19dc1f016f69401c267c9eef046002ab28ca8801c78362c1e3dc9648ef1",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P6",
  "kind": "fragment",
  "locator": "article/6",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:d40b1080f3f0e8f5d08f61a60b85c56ec79ac5137ff92d31790b94c48b10242b",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 6. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости."
    }
  ]
}

Article 7

Посылка 7. Курящий «Old Gold» держит улиток.

Original data · JSON

{
  "contentHash": "sha256:b8c483dec5c221e09e7f79d82529b8b49f1b16131a2c785e111ba95e4c94fd7c",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P7",
  "kind": "fragment",
  "locator": "article/7",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:470762ccdbb89b932bf1b93fc54e67470730b8c4828a6e627a65a499e522da37",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 7. Курящий «Old Gold» держит улиток."
    }
  ]
}

Article 8

Посылка 8. В жёлтом доме курят «Kool».

Original data · JSON

{
  "contentHash": "sha256:48a5050ed5ed6c3c140cdafb1550a941c6698d0574fc5e0a7a3181f1fbb6e6bc",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P8",
  "kind": "fragment",
  "locator": "article/8",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:0a892b6688f8f5d43168f80f51773e59b11dbccda31601c0f6ea3a2ae4615afa",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 8. В жёлтом доме курят «Kool»."
    }
  ]
}

Article 9

Посылка 9. В среднем доме пьют молоко.

Original data · JSON

{
  "contentHash": "sha256:4094fcbaba98bbe18650b845b824a5a4b76b387029ed78001005b412e3bb8ced",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P9",
  "kind": "fragment",
  "locator": "article/9",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:defe1ff214e1d07b33b9039b1a3da4fbdffc332242c02519f65734a59a7a8adc",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 9. В среднем доме пьют молоко."
    }
  ]
}

Packages in the snapshot

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина — EXECUTABLE 16 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

Найдено записей: 1. Значения ?v0: urn:case:zebra:zhitel:5 Выведено правом: derzhit(urn:case:zebra:zhitel:2, Loshad); derzhit(urn:case:zebra:zhitel:3, Ulitki); derzhit(urn:case:zebra:zhitel:4, Sobaka); derzhit(urn:case:zebra:zhitel:1, Lisa); derzhit(urn:case:zebra:zhitel:5, Zebra) …и ещё 83 выведенных фактов вне предмета вопроса (полный вывод — law_explain) Применены правила: ChetveroNazvaliNapitok, ChetveroNazvaliZhivotnoe, MirZamknut, NapitkiRazlichny, NapitokRovnoUOdnogo, NapitokZanyat, NapitokZayavlennyy, NatsionalnostRovnoUOdnogo, NatsionalnostZanyata, NatsionalnostiRazlichny, Posylka01, Posylka02, Posylka03, Posylka04, Posylka05, Posylka06, Posylka07, Posylka08, Posylka09, Posylka10, Posylka11Pravee, Posylka12Levee, Posylka13, Posylka14, Posylka15Levee, PosylkiSoblyudeny, PozitsiiZanyaty, PozitsiyaZhitelya, ReshenieVerno, SortRovnoUOdnogo, SortZanyat, SortaRazlichny, TsvetRovnoUOdnogo, TsvetZanyat, TsvetaRazlichny, VodaOstatkom, ZebraOstatkom, ZhiteleyPyat, ZhivotnoeRovnoUOdnogo, ZhivotnoeZanyato, ZhivotnoeZayavlennoe, ZhivotnyeRazlichny Право (вне юрисдикции государства): Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — доктрина — EXECUTABLE 16 §33.1 (programHash sha256:e79866e5289f…) proof-граф: 142 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 21,
      "fragments": [
        "urn:logic:clir:zebra#ZEBRA_P1",
        "urn:logic:clir:zebra#ZEBRA_P10",
        "urn:logic:clir:zebra#ZEBRA_P11",
        "urn:logic:clir:zebra#ZEBRA_P12",
        "urn:logic:clir:zebra#ZEBRA_P13",
        "urn:logic:clir:zebra#ZEBRA_P14",
        "urn:logic:clir:zebra#ZEBRA_P15",
        "urn:logic:clir:zebra#ZEBRA_P16",
        "urn:logic:clir:zebra#ZEBRA_P2",
        "urn:logic:clir:zebra#ZEBRA_P3",
        "urn:logic:clir:zebra#ZEBRA_P4",
        "urn:logic:clir:zebra#ZEBRA_P5",
        "urn:logic:clir:zebra#ZEBRA_P6",
        "urn:logic:clir:zebra#ZEBRA_P7",
        "urn:logic:clir:zebra#ZEBRA_P8",
        "urn:logic:clir:zebra#ZEBRA_P9"
      ],
      "jurisdiction": "none",
      "namespace": "urn:logic:clir:zebra",
      "package": "logic-zebra",
      "title": "Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина — EXECUTABLE 16 §33.1"
    }
  ],
  "caseHash": "sha256:6c8abf5cae2261ffa9633d5870c59fa865350b765087f0a146c9ce7dd3b0b748",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:e79866e5289f3e125cf367558cd338a031d3f1f904c1fe51827d4e4af8533660",
  "resultHash": "sha256:f2ba6327fa38e41ccc7feb7f22743138118ddc64224f9d401b3227880b38386a",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:574651a9657ad55275720b1a3975e4bf3473c3a0e656d1d475218dd2356a0706

Original data · JSON

{
  "args": [
    {
      "kind": "var",
      "var": "v0"
    },
    "Zebra"
  ],
  "facts": [
    {
      "args": [
        "urn:case:zebra:dom:1"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        1
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        "Zheltyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "urn:case:zebra:dom:1"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Norvezhets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Kool"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Lisa"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:2"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        2
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        "Siniy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "urn:case:zebra:dom:2"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Ukrainets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chesterfield"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chay"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Loshad"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:3"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        3
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        "Krasnyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "urn:case:zebra:dom:3"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Anglichanin"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "OldGold"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Moloko"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Ulitki"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:4"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        4
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        "SlonovayaKost"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "urn:case:zebra:dom:4"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Ispanets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "LuckyStrike"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "ApelsinovyySok"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Sobaka"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:5"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        5
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        "Zelenyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "urn:case:zebra:dom:5"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Yaponets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Parliament"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Kofe"
      ],
      "predicate": "zayavlen_napitok"
    }
  ],
  "kind": "collect",
  "legalTime": "2026-08-31",
  "package": "logic-zebra",
  "predicate": "derzhit",
  "proof": true
}

Та же схема с животными: зебра достаётся тому, за кем животное не заявлено, и только при замкнутом перечне.

Condition

Другая расстановка: посылка 2 «у испанца собака»

Context date 2026-08-31

Calculation result

Not established

Rule premises

Rule: англичанин живёт в красном доме (посылка 2)
- дом окрашен в этот цвет5, Krasnyyestablished
- житель принадлежит к этой национальности3, Anglichaninestablished
- житель живёт в этом доме3, 5fact neither supplied nor derived

Input parameters

What we are finding

посылка с этим номером соблюдена предъявленной расстановкой

Input facts

дом входит в предъявленную делу расстановку
d: 1
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 1p: 1
дом окрашен в этот цвет
d: 1c: Zheltyy
житель входит в предъявленную делу расстановку
z: 1
житель живёт в этом доме
z: 1d: 1
житель принадлежит к этой национальности
z: 1n: Norvezhets
житель курит этот сорт сигарет
z: 1k: Kool
расстановка называет животное этого жителя
z: 1
расстановка называет животным этого жителя именно это
z: 1a: Lisa
дом входит в предъявленную делу расстановку
d: 2
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 2p: 2
дом окрашен в этот цвет
d: 2c: Siniy
житель входит в предъявленную делу расстановку
z: 2
житель живёт в этом доме
z: 2d: 2
житель принадлежит к этой национальности
z: 2n: Ukrainets
житель курит этот сорт сигарет
z: 2k: Chesterfield
расстановка называет напиток этого жителя
z: 2
расстановка называет напитком этого жителя именно этот
z: 2k: Chay
расстановка называет животное этого жителя
z: 2
расстановка называет животным этого жителя именно это
z: 2a: Loshad
дом входит в предъявленную делу расстановку
d: 3
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 3p: 3
дом окрашен в этот цвет
d: 3c: SlonovayaKost
житель входит в предъявленную делу расстановку
z: 3
житель живёт в этом доме
z: 3d: 3
житель принадлежит к этой национальности
z: 3n: Anglichanin
житель курит этот сорт сигарет
z: 3k: OldGold
расстановка называет напиток этого жителя
z: 3
расстановка называет напитком этого жителя именно этот
z: 3k: Moloko
расстановка называет животное этого жителя
z: 3
расстановка называет животным этого жителя именно это
z: 3a: Ulitki
дом входит в предъявленную делу расстановку
d: 4
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 4p: 4
дом окрашен в этот цвет
d: 4c: Zelenyy
житель входит в предъявленную делу расстановку
z: 4
житель живёт в этом доме
z: 4d: 4
житель принадлежит к этой национальности
z: 4n: Yaponets
житель курит этот сорт сигарет
z: 4k: Parliament
расстановка называет напиток этого жителя
z: 4
расстановка называет напитком этого жителя именно этот
z: 4k: Kofe
дом входит в предъявленную делу расстановку
d: 5
позиция дома в ряду: счёт ведётся от наблюдателя слева направо
d: 5p: 5
дом окрашен в этот цвет
d: 5c: Krasnyy
житель входит в предъявленную делу расстановку
z: 5
житель живёт в этом доме
z: 5d: 5
житель принадлежит к этой национальности
z: 5n: Ispanets
житель курит этот сорт сигарет
z: 5k: LuckyStrike
расстановка называет напиток этого жителя
z: 5
расстановка называет напитком этого жителя именно этот
z: 5k: ApelsinovyySok
расстановка называет животное этого жителя
z: 5
расстановка называет животным этого жителя именно это
z: 5a: Sobaka

Additional details

Include proof: Yes

Original data · JSON

{
  "args": [
    2
  ],
  "facts": [
    {
      "args": [
        "urn:case:zebra:dom:1"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        1
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        "Zheltyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "urn:case:zebra:dom:1"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Norvezhets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Kool"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Lisa"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:2"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        2
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        "Siniy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "urn:case:zebra:dom:2"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Ukrainets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chesterfield"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chay"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Loshad"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:3"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        3
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        "SlonovayaKost"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "urn:case:zebra:dom:3"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Anglichanin"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "OldGold"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Moloko"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Ulitki"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:4"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        4
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        "Zelenyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "urn:case:zebra:dom:4"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Yaponets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Parliament"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Kofe"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:dom:5"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        5
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        "Krasnyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "urn:case:zebra:dom:5"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Ispanets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "LuckyStrike"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "ApelsinovyySok"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Sobaka"
      ],
      "predicate": "zayavleno_zhivotnoe"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "logic-zebra",
  "predicate": "posylka_soblyudena",
  "proof": true
}

Why this resultApplied rules and conditions

Derivation path1 steps

1
Query evaluation
query

verified by the engine: 1 · case fact: 0 · Full graph: 139 nodes

Steps of the saved proof from the case facts to the answer. Formulas are shown as written in the norm with bound values substituted; the page recomputes nothing.

Applied rules39

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина

расстановка называет напиток ровно четверым жителям (условие 16)
Identifier
urn:logic:clir:zebra#ChetveroNazvaliNapitok
расстановка называет животное ровно четверым жителям (условие 16)
Identifier
urn:logic:clir:zebra#ChetveroNazvaliZhivotnoe
позиции заняты, жителей пятеро и все пять признаков различны — условие 16 соблюдено
Identifier
urn:logic:clir:zebra#MirZamknut
кофе, чай, молоко и апельсиновый сок названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
Identifier
urn:logic:clir:zebra#NapitkiRazlichny
занятый напиток назван ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#NapitokRovnoUOdnogo
названный расстановкой напиток занят
Identifier
urn:logic:clir:zebra#NapitokZanyat
названный расстановкой напиток и есть напиток жителя
Identifier
urn:logic:clir:zebra#NapitokZayavlennyy
занятая национальность досталась ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#NatsionalnostRovnoUOdnogo
названная расстановкой национальность занята
Identifier
urn:logic:clir:zebra#NatsionalnostZanyata
англичанин, испанец, украинец, норвежец и японец — ровно по одному жителю каждый (условие 16)
Identifier
urn:logic:clir:zebra#NatsionalnostiRazlichny
домов пять (посылка 1)
Identifier
urn:logic:clir:zebra#Posylka01
испанец держит собаку (посылка 3)
Identifier
urn:logic:clir:zebra#Posylka03
в зелёном доме пьют кофе (посылка 4)
Identifier
urn:logic:clir:zebra#Posylka04
украинец пьёт чай (посылка 5)
Identifier
urn:logic:clir:zebra#Posylka05
зелёный дом стоит непосредственно справа от дома цвета слоновой кости, то есть позицией на единицу большей (посылка 6, условие 16)
Identifier
urn:logic:clir:zebra#Posylka06
курящий Old Gold держит улиток (посылка 7)
Identifier
urn:logic:clir:zebra#Posylka07
в жёлтом доме курят Kool (посылка 8)
Identifier
urn:logic:clir:zebra#Posylka08
в среднем доме — том, чья позиция третья, — пьют молоко (посылка 9, условие 16)
Identifier
urn:logic:clir:zebra#Posylka09
норвежец живёт в первом доме — том, чья позиция первая (посылка 10, условие 16)
Identifier
urn:logic:clir:zebra#Posylka10
курящий Chesterfield живёт правее держащего лису на одну позицию (посылка 11, условие 16)
Identifier
urn:logic:clir:zebra#Posylka11Pravee
курящий Kool живёт левее держащего лошадь на одну позицию (посылка 12, условие 16)
Identifier
urn:logic:clir:zebra#Posylka12Levee
курящий Lucky Strike пьёт апельсиновый сок (посылка 13)
Identifier
urn:logic:clir:zebra#Posylka13
японец курит Parliament (посылка 14)
Identifier
urn:logic:clir:zebra#Posylka14
норвежец живёт левее синего дома на одну позицию (посылка 15, условие 16)
Identifier
urn:logic:clir:zebra#Posylka15Levee
позиции с первой по пятую заняты ровно по одному дому (условие 16)
Identifier
urn:logic:clir:zebra#PozitsiiZanyaty
житель занимает позицию своего дома (условие 16)
Identifier
urn:logic:clir:zebra#PozitsiyaZhitelya
занятый сорт сигарет достался ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#SortRovnoUOdnogo
названный расстановкой сорт сигарет занят
Identifier
urn:logic:clir:zebra#SortZanyat
Old Gold, Kool, Chesterfield, Lucky Strike и Parliament — ровно по одному жителю каждый (условие 16)
Identifier
urn:logic:clir:zebra#SortaRazlichny
занятый цвет достался ровно одному дому (условие 16)
Identifier
urn:logic:clir:zebra#TsvetRovnoUOdnogo
названный расстановкой цвет занят
Identifier
urn:logic:clir:zebra#TsvetZanyat
красный, зелёный, слоновой кости, жёлтый и синий достались ровно одному дому каждый (условие 16)
Identifier
urn:logic:clir:zebra#TsvetaRazlichny
житель, чей напиток не назван при соблюдённом условии 16, пьёт оставшийся напиток — воду (условие 16, вопрос 17)
Identifier
urn:logic:clir:zebra#VodaOstatkom
житель, чьё животное не названо при соблюдённом условии 16, держит оставшееся животное — зебру (условие 16, вопрос 18)
Identifier
urn:logic:clir:zebra#ZebraOstatkom
жителей в расстановке ровно пятеро (условие 16)
Identifier
urn:logic:clir:zebra#ZhiteleyPyat
занятое животное названо ровно одному жителю (условие 16)
Identifier
urn:logic:clir:zebra#ZhivotnoeRovnoUOdnogo
названное расстановкой животное занято
Identifier
urn:logic:clir:zebra#ZhivotnoeZanyato
названное расстановкой животное и есть животное жителя
Identifier
urn:logic:clir:zebra#ZhivotnoeZayavlennoe
собака, улитки, лиса и лошадь названы ровно по одному жителю, и четвёртый из пятерых — последний названный (условие 16)
Identifier
urn:logic:clir:zebra#ZhivotnyeRazlichny

Other derived facts14

посылка с этим номером соблюдена предъявленной расстановкой
n
5
9
7
6
14
4
1
13
3
10
15
8
12
11

посылка с этим номером соблюдена предъявленной расстановкой
n
5
9
7
6
14
4
1
13
3
10
15
8
12
11

71 further derived facts are not shown: the engine keeps the ones relevant to the question in its compact answer. The full list is in the calculation JSON below.

Why the conclusion was not reached1 rules

1
англичанин живёт в красном доме (посылка 2)
What is missing
- дом окрашен в этот цвет5, KrasnyyEstablished
- житель принадлежит к этой национальности3, AnglichaninEstablished
- житель живёт в этом доме3, 5Not established
Source: art. 2
Identifier
urn:logic:clir:zebra#Posylka02
rule

These are the rules whose head answers the question, with their unmet premises. A missing fact is not a refuted one.

Proof graph

Closed list: перечень жителей, чей напиток назван, исчерпывается расстановкой (условие 16)

closed predicate расстановка называет напиток этого жителя · snapshot urn:logic:zebra:snapshot:rasstanovka · complete as of 0001-01-01T00:00:00Z

in the list

urn:case:zebra:zhitel:2
urn:case:zebra:zhitel:3
urn:case:zebra:zhitel:4
urn:case:zebra:zhitel:5

not in the list (explicit negative by closure)

urn:case:zebra:zhitel:1

Closed list: перечень жителей, чьё животное названо, исчерпывается расстановкой (условие 16)

closed predicate расстановка называет животное этого жителя · snapshot urn:logic:zebra:snapshot:rasstanovka · complete as of 0001-01-01T00:00:00Z

in the list

urn:case:zebra:zhitel:2
urn:case:zebra:zhitel:3
urn:case:zebra:zhitel:5
urn:case:zebra:zhitel:1

not in the list (explicit negative by closure)

urn:case:zebra:zhitel:4

Proof graph · 1 layer

Proof nodes: 139 · assertion 53, rule_application 85, query_evaluation 1

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

SourcesExcerpts: 16

Article 1

Посылка 1. Домов пять.

Original data · JSON

{
  "contentHash": "sha256:2765d57cc312441c7c1c719b16c046a812efc3574484899118555e585c8a752d",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P1",
  "kind": "fragment",
  "locator": "article/1",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:29ff7d4d72e5baa96f378f72b28bf8abbb297f6d018449b3137496671a30729e",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 1. Домов пять."
    }
  ]
}

Article 10

Посылка 10. Норвежец живёт в первом доме.

Original data · JSON

{
  "contentHash": "sha256:a12b66faa3cd8750f3519a0dd57029bd454d32c01e8c9160f9f282617b6317df",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:c67257a06d65cbe9ad3fd6d48a52d7ef1f636ec53fe43ef18f676525fb1d6533",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 10. Норвежец живёт в первом доме."
    }
  ]
}

Article 11

Посылка 11. Курящий «Chesterfield» живёт по соседству с тем, кто держит лису.

Original data · JSON

{
  "contentHash": "sha256:9435752e49b3ed641be89466654f529c654e72f169939d7b71e15160387ccf80",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P11",
  "kind": "fragment",
  "locator": "article/11",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:b2d2aac26092f262f9fe95466dfa021d75b76f273700e495979263d70cffd214",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 11. Курящий «Chesterfield» живёт по соседству с тем, кто держит лису."
    }
  ]
}

Article 12

Посылка 12. «Kool» курят по соседству с домом, где держат лошадь.

Original data · JSON

{
  "contentHash": "sha256:5d19d77f26a3ba5217bd4fa05bbbd175e9658ce54f4d7d2afeab2c0f56aef2d1",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P12",
  "kind": "fragment",
  "locator": "article/12",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:03ab096668eafa82c22cce5ca73e81c60db5f8eab59b0824eb35630132916050",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 12. «Kool» курят по соседству с домом, где держат лошадь."
    }
  ]
}

Article 13

Посылка 13. Курящий «Lucky Strike» пьёт апельсиновый сок.

Original data · JSON

{
  "contentHash": "sha256:23d9117fc45a7d94c03e3a0002d03892663d011c08a8e1b876a762f6987472c9",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P13",
  "kind": "fragment",
  "locator": "article/13",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:6d893b7668723aa2813a0d99282ef1838848140895b66e395c7f18969f64bc55",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 13. Курящий «Lucky Strike» пьёт апельсиновый сок."
    }
  ]
}

Article 14

Посылка 14. Японец курит «Parliament».

Original data · JSON

{
  "contentHash": "sha256:79e83dd6a2e660c78c63e60dab3304602e8d02baf7e70301dcd3edb45160833a",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P14",
  "kind": "fragment",
  "locator": "article/14",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:e6628264e67e207d8610f6699dfa186e86e9e605b3ef2609d4f462b7c46ef4ed",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 14. Японец курит «Parliament»."
    }
  ]
}

Article 15

Посылка 15. Норвежец живёт по соседству с синим домом.

Original data · JSON

{
  "contentHash": "sha256:e7b8629c165e4c9d4e99e4ec8b2ec43f360c3484ef69d9f2abd0113808b20aa3",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P15",
  "kind": "fragment",
  "locator": "article/15",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:39e259be43342ea1744110fc697778658fc9f38bc0d6642b7dd89550b8372da9",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 15. Норвежец живёт по соседству с синим домом."
    }
  ]
}

Article 16

Условие 16. Ряд домов, счёт позиций и различность признаков. Дома стоят в ряд и занимают позиции с первой по пятую; каждую позицию занимает ровно один дом. Позиции считаются от наблюдателя слева направо: дом, стоящий справа от другого, занимает позицию на единицу большую. Слово «справа» в посылке 6 означает правую сторону наблюдателя, а не правую сторону жителей. Соседними признаются дома, чьи позиции различаются на единицу, и соседними признаются их жители. Цвета домов различны, и цветов пять: красный, зелёный, слоновой кости, жёлтый, синий. Жители домов принадлежат к разным национальностям, и национальностей пять: англичанин, испанец, украинец, норвежец, японец. Жители пьют разные напитки, и напитков пять: кофе, чай, молоко, апельсиновый сок, вода. Жители курят разные сигареты, и сортов сигарет пять: «Old Gold», «Kool», «Chesterfield», «Lucky Strike», «Parliament». Жители держат разных животных, и животных пять: собака, улитки, лиса, лошадь, зебра. Ни один цвет, ни одна национальность, ни один напиток, ни один сорт сигарет и ни одно животное не достаются двоим: каждое из пяти значений каждого признака достаётся ровно одному дому либо ровно одному жителю. Отсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется.

Original data · JSON

{
  "contentHash": "sha256:b5256f09097c1d725d5f1e6b6caffff4d667d3769532f041eb185bece5ee769c",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P16",
  "kind": "fragment",
  "locator": "article/16",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:05b512b716396a1657708ecb45eb69331f260e81f6ff42f6183ab0e42554859f",
      "language": "ru-KZ",
      "status": "official",
      "text": "Условие 16. Ряд домов, счёт позиций и различность признаков.\n\nДома стоят в ряд и занимают позиции с первой по пятую; каждую позицию занимает ровно один дом. Позиции считаются от наблюдателя слева направо: дом, стоящий справа от другого, занимает позицию на единицу большую. Слово «справа» в посылке 6 означает правую сторону наблюдателя, а не правую сторону жителей. Соседними признаются дома, чьи позиции различаются на единицу, и соседними признаются их жители.\n\nЦвета домов различны, и цветов пять: красный, зелёный, слоновой кости, жёлтый, синий. Жители домов принадлежат к разным национальностям, и национальностей пять: англичанин, испанец, украинец, норвежец, японец. Жители пьют разные напитки, и напитков пять: кофе, чай, молоко, апельсиновый сок, вода. Жители курят разные сигареты, и сортов сигарет пять: «Old Gold», «Kool», «Chesterfield», «Lucky Strike», «Parliament». Жители держат разных животных, и животных пять: собака, улитки, лиса, лошадь, зебра.\n\nНи один цвет, ни одна национальность, ни один напиток, ни один сорт сигарет и ни одно животное не достаются двоим: каждое из пяти значений каждого признака достаётся ровно одному дому либо ровно одному жителю.\n\nОтсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется."
    }
  ]
}

Article 2

Посылка 2. Англичанин живёт в красном доме.

Original data · JSON

{
  "contentHash": "sha256:9e679c6a82dc95f255f4aabed78d3002552e56ec3ddb90550f254c28fa71b904",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:1e9a8a753c02819c29c5f5d49201553fa240acff1dc15847dbdb706e54e8b883",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 2. Англичанин живёт в красном доме."
    }
  ]
}

Article 3

Посылка 3. Испанец держит собаку.

Original data · JSON

{
  "contentHash": "sha256:c8609bfa08549346defae6bef964ca1628d7ef94df05f859e08e88f5640e2166",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P3",
  "kind": "fragment",
  "locator": "article/3",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:00279b7b4004ee9d9435d40af54a07ab64cc90e10762f16f342f22e9b6232f47",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 3. Испанец держит собаку."
    }
  ]
}

Article 4

Посылка 4. В зелёном доме пьют кофе.

Original data · JSON

{
  "contentHash": "sha256:432ec36a4fe759eb66ed4de09d3a1293fda9964ccc068ff3bf296d8bf4eceba6",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P4",
  "kind": "fragment",
  "locator": "article/4",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:fb548c6635275a131b5cea51b53747f60c2fb87a6d2c7a412cc87d22f3638197",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 4. В зелёном доме пьют кофе."
    }
  ]
}

Article 5

Посылка 5. Украинец пьёт чай.

Original data · JSON

{
  "contentHash": "sha256:0e803f2a195c7ca1df92d558cb01280831022fb9c15fd54024533dc2b1b453da",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P5",
  "kind": "fragment",
  "locator": "article/5",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:ba985f616a79f264faebd0a6893d9b536dec4f7060609612e9d54dfc5e8a44ec",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 5. Украинец пьёт чай."
    }
  ]
}

Article 6

Посылка 6. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости.

Original data · JSON

{
  "contentHash": "sha256:8072e19dc1f016f69401c267c9eef046002ab28ca8801c78362c1e3dc9648ef1",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P6",
  "kind": "fragment",
  "locator": "article/6",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:d40b1080f3f0e8f5d08f61a60b85c56ec79ac5137ff92d31790b94c48b10242b",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 6. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости."
    }
  ]
}

Article 7

Посылка 7. Курящий «Old Gold» держит улиток.

Original data · JSON

{
  "contentHash": "sha256:b8c483dec5c221e09e7f79d82529b8b49f1b16131a2c785e111ba95e4c94fd7c",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P7",
  "kind": "fragment",
  "locator": "article/7",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:470762ccdbb89b932bf1b93fc54e67470730b8c4828a6e627a65a499e522da37",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 7. Курящий «Old Gold» держит улиток."
    }
  ]
}

Article 8

Посылка 8. В жёлтом доме курят «Kool».

Original data · JSON

{
  "contentHash": "sha256:48a5050ed5ed6c3c140cdafb1550a941c6698d0574fc5e0a7a3181f1fbb6e6bc",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P8",
  "kind": "fragment",
  "locator": "article/8",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:0a892b6688f8f5d43168f80f51773e59b11dbccda31601c0f6ea3a2ae4615afa",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 8. В жёлтом доме курят «Kool»."
    }
  ]
}

Article 9

Посылка 9. В среднем доме пьют молоко.

Original data · JSON

{
  "contentHash": "sha256:4094fcbaba98bbe18650b845b824a5a4b76b387029ed78001005b412e3bb8ced",
  "edition": "urn:logic:clir:zebra#ZEBRA_RU",
  "fragmentKind": "article",
  "id": "urn:logic:clir:zebra#ZEBRA_P9",
  "kind": "fragment",
  "locator": "article/9",
  "package": "urn:logic:clir:zebra",
  "texts": [
    {
      "contentHash": "sha256:defe1ff214e1d07b33b9039b1a3da4fbdffc332242c02519f65734a59a7a8adc",
      "language": "ru-KZ",
      "status": "official",
      "text": "Посылка 9. В среднем доме пьют молоко."
    }
  ]
}

Packages in the snapshot

Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина — EXECUTABLE 16 §33.1

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

posylka_soblyudena: NEITHER — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет» Выведено правом: posylka_soblyudena(5); posylka_soblyudena(9); posylka_soblyudena(7); posylka_soblyudena(6); posylka_soblyudena(14); posylka_soblyudena(4); posylka_soblyudena(1); posylka_soblyudena(13); posylka_soblyudena(3); posylka_soblyudena(10); posylka_soblyudena(15); posylka_soblyudena(8); posylka_soblyudena(12); posylka_soblyudena(11) …и ещё 71 выведенных фактов вне предмета вопроса (полный вывод — law_explain) Применены правила: ChetveroNazvaliNapitok, ChetveroNazvaliZhivotnoe, MirZamknut, NapitkiRazlichny, NapitokRovnoUOdnogo, NapitokZanyat, NapitokZayavlennyy, NatsionalnostRovnoUOdnogo, NatsionalnostZanyata, NatsionalnostiRazlichny, Posylka01, Posylka03, Posylka04, Posylka05, Posylka06, Posylka07, Posylka08, Posylka09, Posylka10, Posylka11Pravee, Posylka12Levee, Posylka13, Posylka14, Posylka15Levee, PozitsiiZanyaty, PozitsiyaZhitelya, SortRovnoUOdnogo, SortZanyat, SortaRazlichny, TsvetRovnoUOdnogo, TsvetZanyat, TsvetaRazlichny, VodaOstatkom, ZebraOstatkom, ZhiteleyPyat, ZhivotnoeRovnoUOdnogo, ZhivotnoeZanyato, ZhivotnoeZayavlennoe, ZhivotnyeRazlichny Правило «англичанин живёт в красном доме (посылка 2)» вывело бы это при посылках: ✓ tsvet_doma(urn:case:zebra:dom:5, Krasnyy) — TRUE_ONLY ✓ natsionalnost_zhitelya(urn:case:zebra:zhitel:3, Anglichanin) — TRUE_ONLY ? zhivet_v(urn:case:zebra:zhitel:3, urn:case:zebra:dom:5) — NEITHER (? — факт не подан и не выведен; ✗ — установлено обратное) Полные правила с посылками: law_rules({"predicate": "posylka_soblyudena"}) Право (вне юрисдикции государства): Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — доктрина — EXECUTABLE 16 §33.1 (programHash sha256:e79866e5289f…) proof-граф: 139 узлов — поле evaluation готово для law_explain

Complete machine result · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Execution · JSON

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

Display metadata

This block is too large for inline viewing. It is included in full in the document JSON, without truncation.

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 21,
      "fragments": [
        "urn:logic:clir:zebra#ZEBRA_P1",
        "urn:logic:clir:zebra#ZEBRA_P10",
        "urn:logic:clir:zebra#ZEBRA_P11",
        "urn:logic:clir:zebra#ZEBRA_P12",
        "urn:logic:clir:zebra#ZEBRA_P13",
        "urn:logic:clir:zebra#ZEBRA_P14",
        "urn:logic:clir:zebra#ZEBRA_P15",
        "urn:logic:clir:zebra#ZEBRA_P16",
        "urn:logic:clir:zebra#ZEBRA_P3",
        "urn:logic:clir:zebra#ZEBRA_P4",
        "urn:logic:clir:zebra#ZEBRA_P5",
        "urn:logic:clir:zebra#ZEBRA_P6",
        "urn:logic:clir:zebra#ZEBRA_P7",
        "urn:logic:clir:zebra#ZEBRA_P8",
        "urn:logic:clir:zebra#ZEBRA_P9"
      ],
      "jurisdiction": "none",
      "namespace": "urn:logic:clir:zebra",
      "package": "logic-zebra",
      "title": "Зебра-паззл — авторское изложение пятнадцати посылок и двух вопросов — вне юрисдикции государства — доктрина — EXECUTABLE 16 §33.1"
    }
  ],
  "caseHash": "sha256:0fda405ead3dc9833c43686e29647a1fa1a971a2c6f418ca793a1460b606e7da",
  "codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-08-31",
  "mode": "audit",
  "programHash": "sha256:e79866e5289f3e125cf367558cd338a031d3f1f904c1fe51827d4e4af8533660",
  "resultHash": "sha256:c95fb8008bd1a86c750db0cb0131ee1ae85615799b94bbe115de23f1718f6075",
  "rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:cef0a8f23be6ee5507f2144898dd4f256fbd7f5cb7f7f884a8c96b4486d27570

Original data · JSON

{
  "args": [
    2
  ],
  "facts": [
    {
      "args": [
        "urn:case:zebra:dom:1"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        1
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:1",
        "Zheltyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "urn:case:zebra:dom:1"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Norvezhets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Kool"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:1",
        "Lisa"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:2"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        2
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:2",
        "Siniy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "urn:case:zebra:dom:2"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Ukrainets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chesterfield"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Chay"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:2",
        "Loshad"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:3"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        3
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:3",
        "SlonovayaKost"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "urn:case:zebra:dom:3"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Anglichanin"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "OldGold"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Moloko"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:3",
        "Ulitki"
      ],
      "predicate": "zayavleno_zhivotnoe"
    },
    {
      "args": [
        "urn:case:zebra:dom:4"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        4
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:4",
        "Zelenyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "urn:case:zebra:dom:4"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Yaponets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Parliament"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:4",
        "Kofe"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:dom:5"
      ],
      "predicate": "dom_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        5
      ],
      "predicate": "pozitsiya"
    },
    {
      "args": [
        "urn:case:zebra:dom:5",
        "Krasnyy"
      ],
      "predicate": "tsvet_doma"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhitel_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "urn:case:zebra:dom:5"
      ],
      "predicate": "zhivet_v"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Ispanets"
      ],
      "predicate": "natsionalnost_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "LuckyStrike"
      ],
      "predicate": "sigarety_zhitelya"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "napitok_nazvan"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "ApelsinovyySok"
      ],
      "predicate": "zayavlen_napitok"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5"
      ],
      "predicate": "zhivotnoe_nazvano"
    },
    {
      "args": [
        "urn:case:zebra:zhitel:5",
        "Sobaka"
      ],
      "predicate": "zayavleno_zhivotnoe"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-08-31",
  "package": "logic-zebra",
  "predicate": "posylka_soblyudena",
  "proof": true
}

В другой расстановке испанец держит зебру, а не собаку: посылка 2 не установлена, остальные четырнадцать проверяются независимо.

How to cite

The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.

Citation

“Предъявлена расстановка пяти домов: цвета, жители, напитки, сигареты и животные. Удовлетворяет ли она пятнадцати посылкам зебра-паззла, кто пьёт воду и кто держит зебру?”. Arxo Lens, as of 2026-08-31. https://lens.arxo.io/a/a_MKuyA2ayV0efCq7LZPFBzFxp. Snapshot SHA-256: 8a4d2e5c688e83380ed87aa49b9440541d6b7165d6edb3ab0d86211aedb3b002.

BibTeX

@misc{arxo-lens-a_MKuyA2ayV0ef,
  title = {Предъявлена расстановка пяти домов: цвета, жители, напитки, сигареты и животные. Удовлетворяет ли она пятнадцати посылкам зебра-паззла, кто пьёт воду и кто держит зебру?},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/a_MKuyA2ayV0efCq7LZPFBzFxp},
  note = {as of 2026-08-31; SHA-256 8a4d2e5c688e83380ed87aa49b9440541d6b7165d6edb3ab0d86211aedb3b002}
}

Embed code

The card shows the result and links to the full analysis; it sets no cookies.

<iframe src="https://lens.arxo.io/embed/a_MKuyA2ayV0efCq7LZPFBzFxp?lang=en" width="100%" height="390" loading="lazy" title="Zebra puzzle: checking an arrangement, who drinks — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.