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

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

Это пояснение ассистента, а не результат расчёта. Проверяйте выводы по основаниям и источникам ниже.

Кратко

Выберите результат, чтобы перейти к основаниям

Расстановка есть решение: условие 16 и все пятнадцать посылокПроверка условияУстановленоВыполнение: РассчитаноЛогический вывод: Установлено Кто пьёт водуВыборкаurn:case:zebra:zhitel:1Выполнение: Рассчитано Кто держит зебруВыборкаurn:case:zebra:zhitel:5Выполнение: Рассчитано Другая расстановка: посылка 2 «у испанца собака»Проверка условияНе установленоВыполнение: РассчитаноЛогический вывод: Не установлено

Подробный разбор

Проверка условия

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

Дата контекста 31.08.2026

Результат расчёта

Установлено

Исходные параметры

Что определяем

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

Исходные факты

дом входит в предъявленную делу расстановку
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

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

Дополнительные сведения

Сохранить доказательство: Да

Исходные данные · 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
}

Почему такой результатПрименённые правила и условия

Путь вывода134 шагов

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

проверено движком: 84 · факт дела: 50 · Полный граф: 142 узлов

Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

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

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

Другие правила расчёта2

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

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

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

Вывод по запросу

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

Скрыто выведенных фактов: 87. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.

Граф доказательств

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

закрытый предикат расстановка называет напиток этого жителя · снимок urn:logic:zebra:snapshot:rasstanovka · полон на 0001-01-01T00:00:00Z

в перечне

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

не в перечне (явный негатив по замыканию)

urn:case:zebra:zhitel:1

Перечень закрыт объявлением §70: отсутствие записи в снимке даёт явный негатив с сертификатом анти-принадлежности (§231.1). Списки — узлы графа доказательства, как их записало исполнение.

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

закрытый предикат расстановка называет животное этого жителя · снимок urn:logic:zebra:snapshot:rasstanovka · полон на 0001-01-01T00:00:00Z

в перечне

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

не в перечне (явный негатив по замыканию)

urn:case:zebra:zhitel:5

Граф доказательства · 6 слой

Узлы доказательств: 142 · assertion 53, rule_application 88, query_evaluation 1

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

ИсточникиФрагментов: 16

Статья 1

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

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

Исходные данные · 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. Домов пять."
    }
  ]
}

Статья 10

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

Исходные данные · 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. Норвежец живёт в первом доме."
    }
  ]
}

Статья 11

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

Исходные данные · 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» живёт по соседству с тем, кто держит лису."
    }
  ]
}

Статья 12

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

Исходные данные · 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» курят по соседству с домом, где держат лошадь."
    }
  ]
}

Статья 13

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

Исходные данные · 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» пьёт апельсиновый сок."
    }
  ]
}

Статья 14

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

Исходные данные · 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»."
    }
  ]
}

Статья 15

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

Исходные данные · 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. Норвежец живёт по соседству с синим домом."
    }
  ]
}

Статья 16

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

Исходные данные · 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Отсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется."
    }
  ]
}

Статья 2

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

Исходные данные · 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. Англичанин живёт в красном доме."
    }
  ]
}

Статья 3

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

Исходные данные · 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. Испанец держит собаку."
    }
  ]
}

Статья 4

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

Исходные данные · 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. В зелёном доме пьют кофе."
    }
  ]
}

Статья 5

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

Исходные данные · 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. Украинец пьёт чай."
    }
  ]
}

Статья 6

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

Исходные данные · 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. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости."
    }
  ]
}

Статья 7

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

Исходные данные · 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» держит улиток."
    }
  ]
}

Статья 8

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

Исходные данные · 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»."
    }
  ]
}

Статья 9

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

Исходные данные · 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. В среднем доме пьют молоко."
    }
  ]
}

Пакеты в снимке

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

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

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

Полный машинный результат · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Исполнение · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Метаданные отображения

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

JSON · расчёты, источники и точные данные

{
  "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

Исходные данные · 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
}

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

Выборка

Кто пьёт воду

Дата контекста 31.08.2026

Результат расчёта

urn:case:zebra:zhitel:1

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

Исходные данные · JSON

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

Исходные параметры

Что определяем

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

Voda

Исходные факты

дом входит в предъявленную делу расстановку
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

Дополнительные сведения

Сохранить доказательство: Да

Исходные данные · 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
}

Почему такой результатПрименённые правила и условия

Путь вывода27 шагов

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

проверено движком: 13 · факт дела: 13 · происхождение не записано: 1 · Полный граф: 142 узлов

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

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

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

Другие правила расчёта36

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

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

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

Вывод по запросу

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

Другие выводы4

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

Решётка по классу

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. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.

Граф доказательств

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

в перечне

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

не в перечне (явный негатив по замыканию)

urn:case:zebra:zhitel:1

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

в перечне

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

не в перечне (явный негатив по замыканию)

urn:case:zebra:zhitel:5

Граф доказательства · 5 слой

Узлы доказательств: 142 · assertion 53, rule_application 88, query_evaluation 1

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

ИсточникиФрагментов: 16

Статья 1

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

Исходные данные · 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. Домов пять."
    }
  ]
}

Статья 10

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

Исходные данные · 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. Норвежец живёт в первом доме."
    }
  ]
}

Статья 11

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

Исходные данные · 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» живёт по соседству с тем, кто держит лису."
    }
  ]
}

Статья 12

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

Исходные данные · 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» курят по соседству с домом, где держат лошадь."
    }
  ]
}

Статья 13

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

Исходные данные · 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» пьёт апельсиновый сок."
    }
  ]
}

Статья 14

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

Исходные данные · 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»."
    }
  ]
}

Статья 15

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

Исходные данные · 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. Норвежец живёт по соседству с синим домом."
    }
  ]
}

Статья 16

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

Исходные данные · 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Отсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется."
    }
  ]
}

Статья 2

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

Исходные данные · 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. Англичанин живёт в красном доме."
    }
  ]
}

Статья 3

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

Исходные данные · 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. Испанец держит собаку."
    }
  ]
}

Статья 4

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

Исходные данные · 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. В зелёном доме пьют кофе."
    }
  ]
}

Статья 5

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

Исходные данные · 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. Украинец пьёт чай."
    }
  ]
}

Статья 6

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

Исходные данные · 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. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости."
    }
  ]
}

Статья 7

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

Исходные данные · 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» держит улиток."
    }
  ]
}

Статья 8

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

Исходные данные · 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»."
    }
  ]
}

Статья 9

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

Исходные данные · 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. В среднем доме пьют молоко."
    }
  ]
}

Пакеты в снимке

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

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

Найдено записей: 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

Полный машинный результат · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Исполнение · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Метаданные отображения

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

JSON · расчёты, источники и точные данные

{
  "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

Исходные данные · 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
}

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

Выборка

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

Дата контекста 31.08.2026

Результат расчёта

urn:case:zebra:zhitel:5

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

Исходные данные · JSON

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

Исходные параметры

Что определяем

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

Zebra

Исходные факты

дом входит в предъявленную делу расстановку
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

Дополнительные сведения

Сохранить доказательство: Да

Исходные данные · 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
}

Почему такой результатПрименённые правила и условия

Путь вывода27 шагов

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

проверено движком: 13 · факт дела: 13 · происхождение не записано: 1 · Полный граф: 142 узлов

Основание этого ответа

Правила из сохранённой цепочки доказательства ответа.

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

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

Другие правила расчёта36

Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.

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

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

Вывод по запросу

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

Другие выводы4

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

Решётка по классу

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

Граф доказательств

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

в перечне

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

не в перечне (явный негатив по замыканию)

urn:case:zebra:zhitel:1

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

в перечне

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

не в перечне (явный негатив по замыканию)

urn:case:zebra:zhitel:5

Граф доказательства · 5 слой

Узлы доказательств: 142 · assertion 53, rule_application 88, query_evaluation 1

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

ИсточникиФрагментов: 16

Статья 1

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

Исходные данные · 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. Домов пять."
    }
  ]
}

Статья 10

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

Исходные данные · 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. Норвежец живёт в первом доме."
    }
  ]
}

Статья 11

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

Исходные данные · 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» живёт по соседству с тем, кто держит лису."
    }
  ]
}

Статья 12

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

Исходные данные · 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» курят по соседству с домом, где держат лошадь."
    }
  ]
}

Статья 13

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

Исходные данные · 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» пьёт апельсиновый сок."
    }
  ]
}

Статья 14

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

Исходные данные · 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»."
    }
  ]
}

Статья 15

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

Исходные данные · 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. Норвежец живёт по соседству с синим домом."
    }
  ]
}

Статья 16

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

Исходные данные · 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Отсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется."
    }
  ]
}

Статья 2

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

Исходные данные · 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. Англичанин живёт в красном доме."
    }
  ]
}

Статья 3

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

Исходные данные · 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. Испанец держит собаку."
    }
  ]
}

Статья 4

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

Исходные данные · 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. В зелёном доме пьют кофе."
    }
  ]
}

Статья 5

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

Исходные данные · 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. Украинец пьёт чай."
    }
  ]
}

Статья 6

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

Исходные данные · 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. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости."
    }
  ]
}

Статья 7

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

Исходные данные · 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» держит улиток."
    }
  ]
}

Статья 8

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

Исходные данные · 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»."
    }
  ]
}

Статья 9

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

Исходные данные · 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. В среднем доме пьют молоко."
    }
  ]
}

Пакеты в снимке

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

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

Найдено записей: 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

Полный машинный результат · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Исполнение · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Метаданные отображения

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

JSON · расчёты, источники и точные данные

{
  "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

Исходные данные · 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
}

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

Проверка условия

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

Дата контекста 31.08.2026

Результат расчёта

Не установлено

Посылки правил

Правило: англичанин живёт в красном доме (посылка 2)
- дом окрашен в этот цвет5, Krasnyyустановлено
- житель принадлежит к этой национальности3, Anglichaninустановлено
- житель живёт в этом доме3, 5факт не подан и не выведен

Исходные параметры

Что определяем

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

Исходные факты

дом входит в предъявленную делу расстановку
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

Дополнительные сведения

Сохранить доказательство: Да

Исходные данные · 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
}

Почему такой результатПрименённые правила и условия

Путь вывода1 шагов

1
Вычисление запроса
запрос

проверено движком: 1 · факт дела: 0 · Полный граф: 139 узлов

Применённые правила39

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

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

Другие выводы14

посылка с этим номером соблюдена предъявленной расстановкой
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. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.

Почему вывод не состоялся1 правил

1
англичанин живёт в красном доме (посылка 2)
Чего не хватает
- дом окрашен в этот цвет5, KrasnyyУстановлено
- житель принадлежит к этой национальности3, AnglichaninУстановлено
- житель живёт в этом доме3, 5Не установлено
Источник: ст. 2
Идентификатор
urn:logic:clir:zebra#Posylka02
правило

Перечислены правила, чья голова отвечает вопросу, и их невыполненные посылки. Отсутствие факта не означает его опровержения.

Граф доказательств

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

в перечне

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

не в перечне (явный негатив по замыканию)

urn:case:zebra:zhitel:1

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

в перечне

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

не в перечне (явный негатив по замыканию)

urn:case:zebra:zhitel:4

Граф доказательства · 1 слой

Узлы доказательств: 139 · assertion 53, rule_application 85, query_evaluation 1

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Идентификаторы календаря и доказательства

Ссылка на доказательство: mcp

Исходное обоснование · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

ИсточникиФрагментов: 16

Статья 1

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

Исходные данные · 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. Домов пять."
    }
  ]
}

Статья 10

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

Исходные данные · 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. Норвежец живёт в первом доме."
    }
  ]
}

Статья 11

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

Исходные данные · 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» живёт по соседству с тем, кто держит лису."
    }
  ]
}

Статья 12

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

Исходные данные · 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» курят по соседству с домом, где держат лошадь."
    }
  ]
}

Статья 13

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

Исходные данные · 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» пьёт апельсиновый сок."
    }
  ]
}

Статья 14

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

Исходные данные · 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»."
    }
  ]
}

Статья 15

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

Исходные данные · 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. Норвежец живёт по соседству с синим домом."
    }
  ]
}

Статья 16

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

Исходные данные · 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Отсюда следует правило остатка: если четверо жителей пьют четыре названных напитка, пятый пьёт напиток, оставшийся неназванным; если четверо держат четырёх названных животных, пятый держит животное, оставшееся неназванным. Правило остатка применяется только при соблюдении настоящего условия целиком; при неполной расстановке остаток не определяется."
    }
  ]
}

Статья 2

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

Исходные данные · 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. Англичанин живёт в красном доме."
    }
  ]
}

Статья 3

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

Исходные данные · 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. Испанец держит собаку."
    }
  ]
}

Статья 4

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

Исходные данные · 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. В зелёном доме пьют кофе."
    }
  ]
}

Статья 5

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

Исходные данные · 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. Украинец пьёт чай."
    }
  ]
}

Статья 6

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

Исходные данные · 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. Зелёный дом стоит непосредственно справа от дома цвета слоновой кости."
    }
  ]
}

Статья 7

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

Исходные данные · 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» держит улиток."
    }
  ]
}

Статья 8

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

Исходные данные · 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»."
    }
  ]
}

Статья 9

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

Исходные данные · 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. В среднем доме пьют молоко."
    }
  ]
}

Пакеты в снимке

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

Технические данныеПолный ответ, параметры и контрольные суммы

Статус расчёта: COMPUTED

Полный ответ движка

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

Полный машинный результат · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Исполнение · JSON

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

Метаданные отображения

Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.

Скачать JSON ↓

JSON · расчёты, источники и точные данные

{
  "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

Исходные данные · 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 не установлена, остальные четырнадцать проверяются независимо.

Как сослаться

Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.

Текст ссылки

«Предъявлена расстановка пяти домов: цвета, жители, напитки, сигареты и животные. Удовлетворяет ли она пятнадцати посылкам зебра-паззла, кто пьёт воду и кто держит зебру?». Arxo Lens, по состоянию на 31.08.2026. https://lens.arxo.io/a/a_MKuyA2ayV0efCq7LZPFBzFxp. SHA-256 снимка: 8a4d2e5c688e83380ed87aa49b9440541d6b7165d6edb3ab0d86211aedb3b002.

BibTeX

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

Код для вставки

Карточка показывает результат и ведёт к полному разбору; cookies не ставит.

<iframe src="https://lens.arxo.io/embed/a_MKuyA2ayV0efCq7LZPFBzFxp?lang=ru" width="100%" height="390" loading="lazy" title="Зебра-паззл: проверка расстановки, кто пьёт воду и у — Arxo Lens" style="border:0"></iframe>

Анонимная статистика посещений, без cookies.