Растворимы ли в воде хлорид цинка, карбонат бария и сульфат кальция по правилам растворимости с перечнями исключений?

О цинке и о барии дело говорит одинаково мало: назван катион и анион соли. Ответы противоположны, потому что презумпции устроены в разные стороны: хлориды считаются растворимыми, пока катион не окажется в закрытом перечне исключений, карбонаты — нерастворимыми, пока катион не окажется щелочным металлом или аммонием. Сульфат кальция стоит посередине: презумпция растворимости остановлена, правило нерастворимости не сработало, и вместо «да» или «нет» модель выводит «малорастворим».

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

Кратко

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

Хлорид цинка: растворим по презумпцииПроверка условияУстановленоВыполнение: РассчитаноЛогический вывод: Установлено Карбонат бария: нерастворим по обратной презумпцииПроверка условияУстановленоВыполнение: РассчитаноЛогический вывод: Установлено Сульфат кальция: растворимость не установленаПроверка условияНе установленоВыполнение: РассчитаноЛогический вывод: Не установлено Сульфат кальция: малорастворимПроверка условияУстановленоВыполнение: РассчитаноЛогический вывод: Установлено

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

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

Хлорид цинка: растворим по презумпции

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

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

Установлено

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

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

соль растворима в воде

ZnCl2

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

соль дела образована указанными катионом и анионом
s: ZnCl2cation: Znanion: хлорид-анион
катион назван материалами дела
c: Zn

Пакет: Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина

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

{
  "args": [
    "urn:entity:chem:ZnCl2"
  ],
  "facts": [
    {
      "args": [
        "urn:entity:chem:ZnCl2",
        "urn:entity:chem:cation:Zn",
        "Chloride"
      ],
      "predicate": "salt_of"
    },
    {
      "args": [
        "urn:entity:chem:cation:Zn"
      ],
      "predicate": "cation_recorded"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-rules",
  "predicate": "soluble"
}

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

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

1
соль дела образована указанными катионом и анионом
s: urn:entity:chem:ZnCl2; cation: urn:entity:chem:cation:Zn; anion: хлорид-анион
факт дела
2
хлорид предполагается растворимым, пока катион не оказался в перечне исключений
соль растворима в воде: s: urn:entity:chem:ZnCl2
Идентификатор
urn:chem:clir:rules#ChloridePresumedSoluble/R1
правило
3
Вычисление запроса
запрос

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

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

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

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина

хлорид предполагается растворимым, пока катион не оказался в перечне исключений
Идентификатор
urn:chem:clir:rules#ChloridePresumedSoluble/R1

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

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина

алюминий занимает пятое место ряда активности
Идентификатор
urn:chem:clir:rules#AluminiumPosition
аммоний входит в перечень исключений для карбонатов
Идентификатор
urn:chem:clir:rules#AmmoniumIsCarbonateException
барий входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#BariumIsSulfateException
кальций занимает третье место ряда активности
Идентификатор
urn:chem:clir:rules#CalciumPosition
сульфат кальция малорастворим
Идентификатор
urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble
хлорид образует со свинцом нерастворимую плёнку
Идентификатор
urn:chem:clir:rules#ChloridePassivatesLead
медь занимает десятое место ряда активности
Идентификатор
urn:chem:clir:rules#CopperPosition
золото занимает двенадцатое место ряда активности
Идентификатор
urn:chem:clir:rules#GoldPosition
водород занимает девятое место ряда как точка отсчёта
Идентификатор
urn:chem:clir:rules#HydrogenPosition
железо занимает седьмое место ряда активности
Идентификатор
urn:chem:clir:rules#IronPosition
свинец входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#LeadIsChlorideException
свинец входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#LeadIsSulfateException
свинец занимает восьмое место ряда активности
Идентификатор
urn:chem:clir:rules#LeadPosition
магний занимает четвёртое место ряда активности
Идентификатор
urn:chem:clir:rules#MagnesiumPosition
ртуть в степени окисления плюс один входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#MercuryIIsChlorideException
металл с меньшим номером ряда активнее металла с большим
Идентификатор
urn:chem:clir:rules#MoreActiveBySmallerPosition
калий — щелочной металл ряда
Идентификатор
urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal
калий занимает первое место ряда активности
Идентификатор
urn:chem:clir:rules#PotassiumPosition
серебро входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#SilverIsChlorideException
серебро занимает одиннадцатое место ряда активности
Идентификатор
urn:chem:clir:rules#SilverPosition
натрий — щелочной металл ряда
Идентификатор
urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal
натрий занимает второе место ряда активности
Идентификатор
urn:chem:clir:rules#SodiumPosition
стронций входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#StrontiumIsSulfateException
сульфат образует со свинцом нерастворимую плёнку
Идентификатор
urn:chem:clir:rules#SulfatePassivatesLead
цинк занимает шестое место ряда активности
Идентификатор
urn:chem:clir:rules#ZincPosition

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

соль растворима в воде
s: ZnCl2

соль растворима в воде
s
ZnCl2

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

Возможные поражающие правила

Основания
- CHEM_ART8
Норма
хлорид предполагается растворимым, пока катион не оказался в перечне исключений
Не хватает
- катион входит в закрытый перечень исключений для хлоридовZn
Посылки
- Посылка
  соль дела образована указанными катионом и аниономZnCl2, Zn, Chloride
  Статус расчёта
  Установлено
- Посылка
  катион входит в закрытый перечень исключений для хлоридовZn
  Статус расчёта
  Не установлено
Правило
ChloridePresumedSoluble/R2
Основания
- CHEM_ART8
Норма
сульфат предполагается растворимым, пока катион не оказался в перечне исключений
Не хватает
- соль дела образована указанными катионом и аниономZnCl2, v1, Sulfate
- катион входит в закрытый перечень исключений для сульфатовv1
Посылки
- note
  зависит от несвязанной переменной
  Посылка
  соль дела образована указанными катионом и аниономZnCl2, v1, Sulfate
  Статус расчёта
  DEPENDS
- note
  зависит от несвязанной переменной
  Посылка
  катион входит в закрытый перечень исключений для сульфатовv1
  Статус расчёта
  DEPENDS
Правило
SulfatePresumedSoluble/R2

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

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

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

{
  "derived": [
    "soluble(urn:entity:chem:ZnCl2)"
  ],
  "derivedOmitted": 90,
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:chem:clir:rules#AluminiumPosition",
    "urn:chem:clir:rules#AmmoniumIsCarbonateException",
    "urn:chem:clir:rules#BariumIsSulfateException",
    "urn:chem:clir:rules#CalciumPosition",
    "urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble",
    "urn:chem:clir:rules#ChloridePassivatesLead",
    "urn:chem:clir:rules#ChloridePresumedSoluble/R1",
    "urn:chem:clir:rules#CopperPosition",
    "urn:chem:clir:rules#GoldPosition",
    "urn:chem:clir:rules#HydrogenPosition",
    "urn:chem:clir:rules#IronPosition",
    "urn:chem:clir:rules#LeadIsChlorideException",
    "urn:chem:clir:rules#LeadIsSulfateException",
    "urn:chem:clir:rules#LeadPosition",
    "urn:chem:clir:rules#MagnesiumPosition",
    "urn:chem:clir:rules#MercuryIIsChlorideException",
    "urn:chem:clir:rules#MoreActiveBySmallerPosition",
    "urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#PotassiumPosition",
    "urn:chem:clir:rules#SilverIsChlorideException",
    "urn:chem:clir:rules#SilverPosition",
    "urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#SodiumPosition",
    "urn:chem:clir:rules#StrontiumIsSulfateException",
    "urn:chem:clir:rules#SulfatePassivatesLead",
    "urn:chem:clir:rules#ZincPosition"
  ],
  "vulnerableTo": [
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "label": "хлорид предполагается растворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "chloride_insoluble_cation(urn:entity:chem:cation:Zn)"
      ],
      "premises": [
        {
          "premise": "salt_of(urn:entity:chem:ZnCl2, urn:entity:chem:cation:Zn, Chloride)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "chloride_insoluble_cation(urn:entity:chem:cation:Zn)",
          "status": "NEITHER"
        }
      ],
      "rule": "ChloridePresumedSoluble/R2"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "label": "сульфат предполагается растворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "salt_of(urn:entity:chem:ZnCl2, v1, Sulfate)",
        "sulfate_insoluble_cation(v1)"
      ],
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:ZnCl2, v1, Sulfate)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "sulfate_insoluble_cation(v1)",
          "status": "DEPENDS"
        }
      ],
      "rule": "SulfatePresumedSoluble/R2"
    }
  ]
}

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

Статья 10

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1

Статья 10. Малорастворимые вещества и числовая шкала Сульфат кальция малорастворим. Малорастворимость есть третий ответ настоящего раздела: соль, признанная малорастворимой, не признаётся ни растворимой, ни нерастворимой. Признание соли малорастворимой прекращает действие презумпции того класса, к которому соль отнесена по статьям 8 и 9. Сверх качественного отнесения по статьям 7-9 настоящее изложение принимает числовую шкалу. Справочной растворимостью признаётся масса безводной соли в граммах, растворяющаяся в ста миллилитрах воды при двадцати градусах Цельсия. Соль со справочной растворимостью более одного грамма признаётся растворимой количественно; от одной десятой грамма до одного грамма включительно — малорастворимой количественно; менее одной десятой грамма — нерастворимой количественно. Качественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому.

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

{
  "contentHash": "sha256:373f23472b347f765a9b18bd1d2329c667f9c0e2cb7b650f4a5b734706d5ed2b",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:48e20a9c7afefb893ec723e850dc5919afc795a73bc94568778bfd993f5d33ce",
      "language": "ru",
      "status": "official",
      "text": "Статья 10. Малорастворимые вещества и числовая шкала\n\nСульфат кальция малорастворим. Малорастворимость есть третий ответ настоящего раздела: соль, признанная малорастворимой, не признаётся ни растворимой, ни нерастворимой.\n\nПризнание соли малорастворимой прекращает действие презумпции того класса, к которому соль отнесена по статьям 8 и 9.\n\nСверх качественного отнесения по статьям 7-9 настоящее изложение принимает числовую шкалу. Справочной растворимостью признаётся масса безводной соли в граммах, растворяющаяся в ста миллилитрах воды при двадцати градусах Цельсия. Соль со справочной растворимостью более одного грамма признаётся растворимой количественно; от одной десятой грамма до одного грамма включительно — малорастворимой количественно; менее одной десятой грамма — нерастворимой количественно.\n\nКачественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому."
    }
  ]
}

Статья 19

Статья 19. Ряд активности и место металла в нём Металлы упорядочены по убыванию восстановительной активности в ряд: калий, натрий, кальций, магний, алюминий, цинк, железо, свинец, водород, медь, серебро, золото. Водород включается в ряд как точка отсчёта, металлом не являясь. Место в ряду выражается порядковым номером; меньший номер означает большую активность. Металл признаётся активнее другого, если его номер меньше.

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

{
  "contentHash": "sha256:7fe5bbdc75769dbd3bec47852fa2140be2fd1ed90a7da995500bb9d77b6f0ba6",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART19",
  "kind": "fragment",
  "locator": "article/19",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:e1c463f773b04659d29978ac030f3f0aa61c960fa9cfdf97cbe418cdc6a6acc8",
      "language": "ru",
      "status": "official",
      "text": "Статья 19. Ряд активности и место металла в нём\n\nМеталлы упорядочены по убыванию восстановительной активности в ряд: калий, натрий, кальций, магний, алюминий, цинк, железо, свинец, водород, медь, серебро, золото. Водород включается в ряд как точка отсчёта, металлом не являясь.\n\nМесто в ряду выражается порядковым номером; меньший номер означает большую активность. Металл признаётся активнее другого, если его номер меньше."
    }
  ]
}

Статья 2

Статья 2. Правило, исключение, презумпция, предпочтение и порядок разрешения конфликтов В настоящем изложении различаются четыре рода утверждений. Безусловное правило действует всегда и исключений не имеет. Общее правило действует, пока по делу не установлено именованное исключение. Перечень исключений закрыт: отсутствие в деле сведений о принадлежности к перечню означает, что исключение не наступило. Презумпция есть общее правило, направление которого установлено для целого класса. Направление презумпции у разных классов различно и указывается при каждом классе отдельно. Предпочтение указывает, какое из нескольких допустимых состояний признаётся основным; состояние, оказавшееся не основным, не становится от этого недопустимым. Порядок разрешения конфликтов указывается при том разделе, в котором конфликт возникает. Там, где школы изложения расходятся по существу, настоящее изложение не выбирает между ними. Общая часть излагается как база, а спорное положение излагается отдельно и применяется только тогда, когда прочтение выбрано прямо. Перечень спорных положений закрыт статьями 11 и 13. РАЗДЕЛ I. СТЕПЕНИ ОКИСЛЕНИЯ

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

{
  "contentHash": "sha256:52eac57fedf4eb9ddad92c64fdf77361e4e4027694c651c5a404dfee2c16942f",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:4081cb83c361a8eab115fec11eed1f73ed2eade9750e69daf70ad6bce771ca77",
      "language": "ru",
      "status": "official",
      "text": "Статья 2. Правило, исключение, презумпция, предпочтение и порядок разрешения конфликтов\n\nВ настоящем изложении различаются четыре рода утверждений.\n\nБезусловное правило действует всегда и исключений не имеет.\n\nОбщее правило действует, пока по делу не установлено именованное исключение. Перечень исключений закрыт: отсутствие в деле сведений о принадлежности к перечню означает, что исключение не наступило.\n\nПрезумпция есть общее правило, направление которого установлено для целого класса. Направление презумпции у разных классов различно и указывается при каждом классе отдельно.\n\nПредпочтение указывает, какое из нескольких допустимых состояний признаётся основным; состояние, оказавшееся не основным, не становится от этого недопустимым.\n\nПорядок разрешения конфликтов указывается при том разделе, в котором конфликт возникает.\n\nТам, где школы изложения расходятся по существу, настоящее изложение не выбирает между ними. Общая часть излагается как база, а спорное положение излагается отдельно и применяется только тогда, когда прочтение выбрано прямо. Перечень спорных положений закрыт статьями 11 и 13.\n\nРАЗДЕЛ I. СТЕПЕНИ ОКИСЛЕНИЯ"
    }
  ]
}

Статья 20

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

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

{
  "contentHash": "sha256:6d372d59aab7edb9e0f5502d1e5682146e02661aef89b0863718c79b345c1326",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART20",
  "kind": "fragment",
  "locator": "article/20",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:e45ea1c7df06d7a5cc96fd9cd60e27c74454825fdc6705a4da5ba58b5409c895",
      "language": "ru",
      "status": "official",
      "text": "Статья 20. Вытеснение металла из раствора соли\n\nМеталл вытесняет из раствора соли металл, стоящий в ряду активности правее него. Металл, стоящий правее, металл из раствора соли не вытесняет.\n\nИз правила вытеснения установлено одно исключение: щелочной металл металла из раствора соли не вытесняет, ибо прежде вступает в реакцию с водой раствора. Щелочными металлами ряда признаются калий и натрий."
    }
  ]
}

Статья 21

Статья 21. Вытеснение водорода из разбавленной кислоты Металл, стоящий в ряду активности левее водорода, вытесняет водород из разбавленной кислоты. Металл, стоящий правее водорода, водород из разбавленной кислоты не вытесняет. Из правила вытеснения водорода установлено одно исключение: свинец водород из разбавленных соляной и серной кислот практически не вытесняет, ибо покрывается плёнкой нерастворимой соли — хлорида либо сульфата свинца. Названные соли нерастворимы по статье 8 настоящего изложения; в этом месте раздел о растворимости и раздел о ряде активности говорят об одном веществе. РАЗДЕЛ IX. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ

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

{
  "contentHash": "sha256:4eec5cf5655115aaad2ee664321b6cef3631e4a4d3d32ca38a430bacb3daab53",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART21",
  "kind": "fragment",
  "locator": "article/21",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:6cf47af14e472f0e3913b89fbce0a738ddda2a3f8d5873794f4cd8836bbc6a86",
      "language": "ru",
      "status": "official",
      "text": "Статья 21. Вытеснение водорода из разбавленной кислоты\n\nМеталл, стоящий в ряду активности левее водорода, вытесняет водород из разбавленной кислоты. Металл, стоящий правее водорода, водород из разбавленной кислоты не вытесняет.\n\nИз правила вытеснения водорода установлено одно исключение: свинец водород из разбавленных соляной и серной кислот практически не вытесняет, ибо покрывается плёнкой нерастворимой соли — хлорида либо сульфата свинца. Названные соли нерастворимы по статье 8 настоящего изложения; в этом месте раздел о растворимости и раздел о ряде активности говорят об одном веществе.\n\nРАЗДЕЛ IX. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ"
    }
  ]
}

Статья 8

Статья 8. Классы с презумпцией растворимости и исключения из них Хлориды растворимы в воде. Из этого правила установлен закрытый перечень исключений: хлориды серебра, свинца и ртути в степени окисления плюс один нерастворимы. Сульфаты растворимы в воде. Из этого правила установлен закрытый перечень исключений: сульфаты бария, стронция и свинца нерастворимы. Направление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях.

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

{
  "contentHash": "sha256:9d27799a30b75367ca4889e78eda54986bc473aa3b7a50bc9f35449e7edfa34b",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART8",
  "kind": "fragment",
  "locator": "article/8",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:b3fba15d58368b4b202eef338abd7beaa854a52b1c01ff62d69ee136303f2a2b",
      "language": "ru",
      "status": "official",
      "text": "Статья 8. Классы с презумпцией растворимости и исключения из них\n\nХлориды растворимы в воде. Из этого правила установлен закрытый перечень исключений: хлориды серебра, свинца и ртути в степени окисления плюс один нерастворимы.\n\nСульфаты растворимы в воде. Из этого правила установлен закрытый перечень исключений: сульфаты бария, стронция и свинца нерастворимы.\n\nНаправление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях."
    }
  ]
}

Статья 9

Статья 9. Классы с презумпцией нерастворимости и исключения из них Карбонаты нерастворимы в воде. Из этого правила установлен закрытый перечень исключений: карбонаты щелочных металлов и карбонат аммония растворимы. Направление презумпции у карбонатов — нерастворимость, то есть обратное направлению статьи 8. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли.

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

{
  "contentHash": "sha256:5d698a9505ef236e1003010126d507f4da1d691bc6263432b9c35a18c35b6e59",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART9",
  "kind": "fragment",
  "locator": "article/9",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:93a7bd3d0480596f01fda7efacdefbc8dc7212c10201295b7c2458e083ba5188",
      "language": "ru",
      "status": "official",
      "text": "Статья 9. Классы с презумпцией нерастворимости и исключения из них\n\nКарбонаты нерастворимы в воде. Из этого правила установлен закрытый перечень исключений: карбонаты щелочных металлов и карбонат аммония растворимы.\n\nНаправление презумпции у карбонатов — нерастворимость, то есть обратное направлению статьи 8. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли."
    }
  ]
}

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1

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

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

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

soluble: TRUE_ONLY — установлено Выведено правом: soluble(urn:entity:chem:ZnCl2) …и ещё 90 выведенных фактов вне предмета вопроса (полный вывод — law_explain) Применены правила: AluminiumPosition, AmmoniumIsCarbonateException, BariumIsSulfateException, CalciumPosition, CalciumSulfateIsSlightlySoluble, ChloridePassivatesLead, ChloridePresumedSoluble/R1, CopperPosition, GoldPosition, HydrogenPosition, IronPosition, LeadIsChlorideException, LeadIsSulfateException, LeadPosition, MagnesiumPosition, MercuryIIsChlorideException, MoreActiveBySmallerPosition, PotassiumIsAlkaliSeriesMetal, PotassiumPosition, SilverIsChlorideException, SilverPosition, SodiumIsAlkaliSeriesMetal, SodiumPosition, StrontiumIsSulfateException, SulfatePassivatesLead, ZincPosition Ответ поражаем правилом «хлорид предполагается растворимым, пока катион не оказался в перечне исключений» — оно отменило бы вывод, будь установлено: chloride_insoluble_cation(urn:entity:chem:cation:Zn) Ответ поражаем правилом «сульфат предполагается растворимым, пока катион не оказался в перечне исключений» — оно отменило бы вывод, будь установлено: salt_of(urn:entity:chem:ZnCl2, v1, Sulfate); sulfate_insoluble_cation(v1) (поражающее правило не сработало из-за неустановленных фактов — подайте их в facts, если они есть в деле) Право (вне юрисдикции государства): Правила общей химии с исключениями — поражаемый слой на учебной доктрине — доктрина — EXECUTABLE 24 §33.1 (programHash sha256:a3e04723d580…)

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

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "soluble(urn:entity:chem:ZnCl2)"
  ],
  "derivedOmitted": 90,
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 25,
        "fragments": [
          "urn:chem:clir:rules#CHEM_ART10",
          "urn:chem:clir:rules#CHEM_ART19",
          "urn:chem:clir:rules#CHEM_ART20",
          "urn:chem:clir:rules#CHEM_ART21",
          "urn:chem:clir:rules#CHEM_ART8",
          "urn:chem:clir:rules#CHEM_ART9"
        ],
        "jurisdiction": "none",
        "namespace": "urn:chem:clir:rules",
        "package": "chem-rules",
        "title": "Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1"
      }
    ],
    "caseHash": "sha256:516c909f615ecd2b18b66f2f4593b38ad0a0b1fb36d1c1b27d08c6a39e2cbc66",
    "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:a3e04723d580dfa6923683a98901f438041f0ccd2c1274fc8e29e716c05f8ad2",
    "resultHash": "sha256:c92068c83f5800773cf2425383963ec690a2de13efabf365d51d32dc273b0599",
    "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:chem:clir:rules#AluminiumPosition",
    "urn:chem:clir:rules#AmmoniumIsCarbonateException",
    "urn:chem:clir:rules#BariumIsSulfateException",
    "urn:chem:clir:rules#CalciumPosition",
    "urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble",
    "urn:chem:clir:rules#ChloridePassivatesLead",
    "urn:chem:clir:rules#ChloridePresumedSoluble/R1",
    "urn:chem:clir:rules#CopperPosition",
    "urn:chem:clir:rules#GoldPosition",
    "urn:chem:clir:rules#HydrogenPosition",
    "urn:chem:clir:rules#IronPosition",
    "urn:chem:clir:rules#LeadIsChlorideException",
    "urn:chem:clir:rules#LeadIsSulfateException",
    "urn:chem:clir:rules#LeadPosition",
    "urn:chem:clir:rules#MagnesiumPosition",
    "urn:chem:clir:rules#MercuryIIsChlorideException",
    "urn:chem:clir:rules#MoreActiveBySmallerPosition",
    "urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#PotassiumPosition",
    "urn:chem:clir:rules#SilverIsChlorideException",
    "urn:chem:clir:rules#SilverPosition",
    "urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#SodiumPosition",
    "urn:chem:clir:rules#StrontiumIsSulfateException",
    "urn:chem:clir:rules#SulfatePassivatesLead",
    "urn:chem:clir:rules#ZincPosition"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "s",
        "type": {
          "name": "urn:chem:clir:rules#Salt"
        }
      }
    ],
    "predicate": "urn:chem:clir:rules#soluble",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:chem:clir:rules#Salt": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "соль, растворимость которой рассматривается"
          }
        ],
        "namespace": "urn:chem:clir:rules",
        "package": "chem.rules"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "label": "хлорид предполагается растворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "chloride_insoluble_cation(urn:entity:chem:cation:Zn)"
      ],
      "premises": [
        {
          "premise": "salt_of(urn:entity:chem:ZnCl2, urn:entity:chem:cation:Zn, Chloride)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "chloride_insoluble_cation(urn:entity:chem:cation:Zn)",
          "status": "NEITHER"
        }
      ],
      "rule": "ChloridePresumedSoluble/R2"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "label": "сульфат предполагается растворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "salt_of(urn:entity:chem:ZnCl2, v1, Sulfate)",
        "sulfate_insoluble_cation(v1)"
      ],
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:ZnCl2, v1, Sulfate)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "sulfate_insoluble_cation(v1)",
          "status": "DEPENDS"
        }
      ],
      "rule": "SulfatePresumedSoluble/R2"
    }
  ],
  "whyNot": []
}

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

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

Скачать JSON ↓

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

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

Скачать JSON ↓

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

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 25,
      "fragments": [
        "urn:chem:clir:rules#CHEM_ART10",
        "urn:chem:clir:rules#CHEM_ART19",
        "urn:chem:clir:rules#CHEM_ART20",
        "urn:chem:clir:rules#CHEM_ART21",
        "urn:chem:clir:rules#CHEM_ART8",
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "jurisdiction": "none",
      "namespace": "urn:chem:clir:rules",
      "package": "chem-rules",
      "title": "Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1"
    }
  ],
  "caseHash": "sha256:516c909f615ecd2b18b66f2f4593b38ad0a0b1fb36d1c1b27d08c6a39e2cbc66",
  "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:a3e04723d580dfa6923683a98901f438041f0ccd2c1274fc8e29e716c05f8ad2",
  "resultHash": "sha256:c92068c83f5800773cf2425383963ec690a2de13efabf365d51d32dc273b0599",
  "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:a0447bfa13cc1dabff2c8634e8c6df7fd76fe864c290bab5d81e1a54e044db5f

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

{
  "args": [
    "urn:entity:chem:ZnCl2"
  ],
  "facts": [
    {
      "args": [
        "urn:entity:chem:ZnCl2",
        "urn:entity:chem:cation:Zn",
        "Chloride"
      ],
      "predicate": "salt_of"
    },
    {
      "args": [
        "urn:entity:chem:cation:Zn"
      ],
      "predicate": "cation_recorded"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-rules",
  "predicate": "soluble"
}

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

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

Карбонат бария: нерастворим по обратной презумпции

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

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

Установлено

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

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

соль нерастворима в воде

BaCO3

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

соль дела образована указанными катионом и анионом
s: BaCO3cation: катион барияanion: карбонат-анион
катион назван материалами дела
c: катион бария

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

{
  "args": [
    "urn:entity:chem:BaCO3"
  ],
  "facts": [
    {
      "args": [
        "urn:entity:chem:BaCO3",
        "Barium",
        "Carbonate"
      ],
      "predicate": "salt_of"
    },
    {
      "args": [
        "Barium"
      ],
      "predicate": "cation_recorded"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-rules",
  "predicate": "insoluble"
}

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

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

1
соль дела образована указанными катионом и анионом
s: urn:entity:chem:BaCO3; cation: катион бария; anion: карбонат-анион
факт дела
2
карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений
соль нерастворима в воде: s: urn:entity:chem:BaCO3
Идентификатор
urn:chem:clir:rules#CarbonatePresumedInsoluble/R1
правило
3
Вычисление запроса
запрос

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

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

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина

карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений
Идентификатор
urn:chem:clir:rules#CarbonatePresumedInsoluble/R1

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

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина

алюминий занимает пятое место ряда активности
Идентификатор
urn:chem:clir:rules#AluminiumPosition
аммоний входит в перечень исключений для карбонатов
Идентификатор
urn:chem:clir:rules#AmmoniumIsCarbonateException
барий входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#BariumIsSulfateException
кальций занимает третье место ряда активности
Идентификатор
urn:chem:clir:rules#CalciumPosition
сульфат кальция малорастворим
Идентификатор
urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble
хлорид образует со свинцом нерастворимую плёнку
Идентификатор
urn:chem:clir:rules#ChloridePassivatesLead
медь занимает десятое место ряда активности
Идентификатор
urn:chem:clir:rules#CopperPosition
золото занимает двенадцатое место ряда активности
Идентификатор
urn:chem:clir:rules#GoldPosition
водород занимает девятое место ряда как точка отсчёта
Идентификатор
urn:chem:clir:rules#HydrogenPosition
железо занимает седьмое место ряда активности
Идентификатор
urn:chem:clir:rules#IronPosition
свинец входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#LeadIsChlorideException
свинец входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#LeadIsSulfateException
свинец занимает восьмое место ряда активности
Идентификатор
urn:chem:clir:rules#LeadPosition
магний занимает четвёртое место ряда активности
Идентификатор
urn:chem:clir:rules#MagnesiumPosition
ртуть в степени окисления плюс один входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#MercuryIIsChlorideException
металл с меньшим номером ряда активнее металла с большим
Идентификатор
urn:chem:clir:rules#MoreActiveBySmallerPosition
калий — щелочной металл ряда
Идентификатор
urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal
калий занимает первое место ряда активности
Идентификатор
urn:chem:clir:rules#PotassiumPosition
серебро входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#SilverIsChlorideException
серебро занимает одиннадцатое место ряда активности
Идентификатор
urn:chem:clir:rules#SilverPosition
натрий — щелочной металл ряда
Идентификатор
urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal
натрий занимает второе место ряда активности
Идентификатор
urn:chem:clir:rules#SodiumPosition
стронций входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#StrontiumIsSulfateException
сульфат образует со свинцом нерастворимую плёнку
Идентификатор
urn:chem:clir:rules#SulfatePassivatesLead
цинк занимает шестое место ряда активности
Идентификатор
urn:chem:clir:rules#ZincPosition

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

соль нерастворима в воде
s: BaCO3

соль нерастворима в воде
s
BaCO3

Возможные поражающие правила

Основания
- CHEM_ART9
Норма
карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений
Не хватает
- катион входит в закрытый перечень исключений для карбонатовBarium
Посылки
- Посылка
  катион входит в закрытый перечень исключений для карбонатовBarium
  Статус расчёта
  Не установлено
- Посылка
  соль дела образована указанными катионом и аниономBaCO3, Barium, Carbonate
  Статус расчёта
  Установлено
Правило
CarbonatePresumedInsoluble/R2

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

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

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

{
  "derived": [
    "insoluble(urn:entity:chem:BaCO3)"
  ],
  "derivedOmitted": 90,
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:chem:clir:rules#AluminiumPosition",
    "urn:chem:clir:rules#AmmoniumIsCarbonateException",
    "urn:chem:clir:rules#BariumIsSulfateException",
    "urn:chem:clir:rules#CalciumPosition",
    "urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble",
    "urn:chem:clir:rules#CarbonatePresumedInsoluble/R1",
    "urn:chem:clir:rules#ChloridePassivatesLead",
    "urn:chem:clir:rules#CopperPosition",
    "urn:chem:clir:rules#GoldPosition",
    "urn:chem:clir:rules#HydrogenPosition",
    "urn:chem:clir:rules#IronPosition",
    "urn:chem:clir:rules#LeadIsChlorideException",
    "urn:chem:clir:rules#LeadIsSulfateException",
    "urn:chem:clir:rules#LeadPosition",
    "urn:chem:clir:rules#MagnesiumPosition",
    "urn:chem:clir:rules#MercuryIIsChlorideException",
    "urn:chem:clir:rules#MoreActiveBySmallerPosition",
    "urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#PotassiumPosition",
    "urn:chem:clir:rules#SilverIsChlorideException",
    "urn:chem:clir:rules#SilverPosition",
    "urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#SodiumPosition",
    "urn:chem:clir:rules#StrontiumIsSulfateException",
    "urn:chem:clir:rules#SulfatePassivatesLead",
    "urn:chem:clir:rules#ZincPosition"
  ],
  "vulnerableTo": [
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "label": "карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "carbonate_soluble_cation(Barium)"
      ],
      "premises": [
        {
          "premise": "carbonate_soluble_cation(Barium)",
          "status": "NEITHER"
        },
        {
          "premise": "salt_of(urn:entity:chem:BaCO3, Barium, Carbonate)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "CarbonatePresumedInsoluble/R2"
    }
  ]
}

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

Статья 10

Статья 10. Малорастворимые вещества и числовая шкала Сульфат кальция малорастворим. Малорастворимость есть третий ответ настоящего раздела: соль, признанная малорастворимой, не признаётся ни растворимой, ни нерастворимой. Признание соли малорастворимой прекращает действие презумпции того класса, к которому соль отнесена по статьям 8 и 9. Сверх качественного отнесения по статьям 7-9 настоящее изложение принимает числовую шкалу. Справочной растворимостью признаётся масса безводной соли в граммах, растворяющаяся в ста миллилитрах воды при двадцати градусах Цельсия. Соль со справочной растворимостью более одного грамма признаётся растворимой количественно; от одной десятой грамма до одного грамма включительно — малорастворимой количественно; менее одной десятой грамма — нерастворимой количественно. Качественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому.

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

{
  "contentHash": "sha256:373f23472b347f765a9b18bd1d2329c667f9c0e2cb7b650f4a5b734706d5ed2b",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:48e20a9c7afefb893ec723e850dc5919afc795a73bc94568778bfd993f5d33ce",
      "language": "ru",
      "status": "official",
      "text": "Статья 10. Малорастворимые вещества и числовая шкала\n\nСульфат кальция малорастворим. Малорастворимость есть третий ответ настоящего раздела: соль, признанная малорастворимой, не признаётся ни растворимой, ни нерастворимой.\n\nПризнание соли малорастворимой прекращает действие презумпции того класса, к которому соль отнесена по статьям 8 и 9.\n\nСверх качественного отнесения по статьям 7-9 настоящее изложение принимает числовую шкалу. Справочной растворимостью признаётся масса безводной соли в граммах, растворяющаяся в ста миллилитрах воды при двадцати градусах Цельсия. Соль со справочной растворимостью более одного грамма признаётся растворимой количественно; от одной десятой грамма до одного грамма включительно — малорастворимой количественно; менее одной десятой грамма — нерастворимой количественно.\n\nКачественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому."
    }
  ]
}

Статья 19

Статья 19. Ряд активности и место металла в нём Металлы упорядочены по убыванию восстановительной активности в ряд: калий, натрий, кальций, магний, алюминий, цинк, железо, свинец, водород, медь, серебро, золото. Водород включается в ряд как точка отсчёта, металлом не являясь. Место в ряду выражается порядковым номером; меньший номер означает большую активность. Металл признаётся активнее другого, если его номер меньше.

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

{
  "contentHash": "sha256:7fe5bbdc75769dbd3bec47852fa2140be2fd1ed90a7da995500bb9d77b6f0ba6",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART19",
  "kind": "fragment",
  "locator": "article/19",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:e1c463f773b04659d29978ac030f3f0aa61c960fa9cfdf97cbe418cdc6a6acc8",
      "language": "ru",
      "status": "official",
      "text": "Статья 19. Ряд активности и место металла в нём\n\nМеталлы упорядочены по убыванию восстановительной активности в ряд: калий, натрий, кальций, магний, алюминий, цинк, железо, свинец, водород, медь, серебро, золото. Водород включается в ряд как точка отсчёта, металлом не являясь.\n\nМесто в ряду выражается порядковым номером; меньший номер означает большую активность. Металл признаётся активнее другого, если его номер меньше."
    }
  ]
}

Статья 2

Статья 2. Правило, исключение, презумпция, предпочтение и порядок разрешения конфликтов В настоящем изложении различаются четыре рода утверждений. Безусловное правило действует всегда и исключений не имеет. Общее правило действует, пока по делу не установлено именованное исключение. Перечень исключений закрыт: отсутствие в деле сведений о принадлежности к перечню означает, что исключение не наступило. Презумпция есть общее правило, направление которого установлено для целого класса. Направление презумпции у разных классов различно и указывается при каждом классе отдельно. Предпочтение указывает, какое из нескольких допустимых состояний признаётся основным; состояние, оказавшееся не основным, не становится от этого недопустимым. Порядок разрешения конфликтов указывается при том разделе, в котором конфликт возникает. Там, где школы изложения расходятся по существу, настоящее изложение не выбирает между ними. Общая часть излагается как база, а спорное положение излагается отдельно и применяется только тогда, когда прочтение выбрано прямо. Перечень спорных положений закрыт статьями 11 и 13. РАЗДЕЛ I. СТЕПЕНИ ОКИСЛЕНИЯ

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

{
  "contentHash": "sha256:52eac57fedf4eb9ddad92c64fdf77361e4e4027694c651c5a404dfee2c16942f",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:4081cb83c361a8eab115fec11eed1f73ed2eade9750e69daf70ad6bce771ca77",
      "language": "ru",
      "status": "official",
      "text": "Статья 2. Правило, исключение, презумпция, предпочтение и порядок разрешения конфликтов\n\nВ настоящем изложении различаются четыре рода утверждений.\n\nБезусловное правило действует всегда и исключений не имеет.\n\nОбщее правило действует, пока по делу не установлено именованное исключение. Перечень исключений закрыт: отсутствие в деле сведений о принадлежности к перечню означает, что исключение не наступило.\n\nПрезумпция есть общее правило, направление которого установлено для целого класса. Направление презумпции у разных классов различно и указывается при каждом классе отдельно.\n\nПредпочтение указывает, какое из нескольких допустимых состояний признаётся основным; состояние, оказавшееся не основным, не становится от этого недопустимым.\n\nПорядок разрешения конфликтов указывается при том разделе, в котором конфликт возникает.\n\nТам, где школы изложения расходятся по существу, настоящее изложение не выбирает между ними. Общая часть излагается как база, а спорное положение излагается отдельно и применяется только тогда, когда прочтение выбрано прямо. Перечень спорных положений закрыт статьями 11 и 13.\n\nРАЗДЕЛ I. СТЕПЕНИ ОКИСЛЕНИЯ"
    }
  ]
}

Статья 20

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

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

{
  "contentHash": "sha256:6d372d59aab7edb9e0f5502d1e5682146e02661aef89b0863718c79b345c1326",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART20",
  "kind": "fragment",
  "locator": "article/20",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:e45ea1c7df06d7a5cc96fd9cd60e27c74454825fdc6705a4da5ba58b5409c895",
      "language": "ru",
      "status": "official",
      "text": "Статья 20. Вытеснение металла из раствора соли\n\nМеталл вытесняет из раствора соли металл, стоящий в ряду активности правее него. Металл, стоящий правее, металл из раствора соли не вытесняет.\n\nИз правила вытеснения установлено одно исключение: щелочной металл металла из раствора соли не вытесняет, ибо прежде вступает в реакцию с водой раствора. Щелочными металлами ряда признаются калий и натрий."
    }
  ]
}

Статья 21

Статья 21. Вытеснение водорода из разбавленной кислоты Металл, стоящий в ряду активности левее водорода, вытесняет водород из разбавленной кислоты. Металл, стоящий правее водорода, водород из разбавленной кислоты не вытесняет. Из правила вытеснения водорода установлено одно исключение: свинец водород из разбавленных соляной и серной кислот практически не вытесняет, ибо покрывается плёнкой нерастворимой соли — хлорида либо сульфата свинца. Названные соли нерастворимы по статье 8 настоящего изложения; в этом месте раздел о растворимости и раздел о ряде активности говорят об одном веществе. РАЗДЕЛ IX. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ

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

{
  "contentHash": "sha256:4eec5cf5655115aaad2ee664321b6cef3631e4a4d3d32ca38a430bacb3daab53",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART21",
  "kind": "fragment",
  "locator": "article/21",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:6cf47af14e472f0e3913b89fbce0a738ddda2a3f8d5873794f4cd8836bbc6a86",
      "language": "ru",
      "status": "official",
      "text": "Статья 21. Вытеснение водорода из разбавленной кислоты\n\nМеталл, стоящий в ряду активности левее водорода, вытесняет водород из разбавленной кислоты. Металл, стоящий правее водорода, водород из разбавленной кислоты не вытесняет.\n\nИз правила вытеснения водорода установлено одно исключение: свинец водород из разбавленных соляной и серной кислот практически не вытесняет, ибо покрывается плёнкой нерастворимой соли — хлорида либо сульфата свинца. Названные соли нерастворимы по статье 8 настоящего изложения; в этом месте раздел о растворимости и раздел о ряде активности говорят об одном веществе.\n\nРАЗДЕЛ IX. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ"
    }
  ]
}

Статья 8

Статья 8. Классы с презумпцией растворимости и исключения из них Хлориды растворимы в воде. Из этого правила установлен закрытый перечень исключений: хлориды серебра, свинца и ртути в степени окисления плюс один нерастворимы. Сульфаты растворимы в воде. Из этого правила установлен закрытый перечень исключений: сульфаты бария, стронция и свинца нерастворимы. Направление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях.

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

{
  "contentHash": "sha256:9d27799a30b75367ca4889e78eda54986bc473aa3b7a50bc9f35449e7edfa34b",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART8",
  "kind": "fragment",
  "locator": "article/8",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:b3fba15d58368b4b202eef338abd7beaa854a52b1c01ff62d69ee136303f2a2b",
      "language": "ru",
      "status": "official",
      "text": "Статья 8. Классы с презумпцией растворимости и исключения из них\n\nХлориды растворимы в воде. Из этого правила установлен закрытый перечень исключений: хлориды серебра, свинца и ртути в степени окисления плюс один нерастворимы.\n\nСульфаты растворимы в воде. Из этого правила установлен закрытый перечень исключений: сульфаты бария, стронция и свинца нерастворимы.\n\nНаправление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях."
    }
  ]
}

Статья 9

Статья 9. Классы с презумпцией нерастворимости и исключения из них Карбонаты нерастворимы в воде. Из этого правила установлен закрытый перечень исключений: карбонаты щелочных металлов и карбонат аммония растворимы. Направление презумпции у карбонатов — нерастворимость, то есть обратное направлению статьи 8. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли.

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

{
  "contentHash": "sha256:5d698a9505ef236e1003010126d507f4da1d691bc6263432b9c35a18c35b6e59",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART9",
  "kind": "fragment",
  "locator": "article/9",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:93a7bd3d0480596f01fda7efacdefbc8dc7212c10201295b7c2458e083ba5188",
      "language": "ru",
      "status": "official",
      "text": "Статья 9. Классы с презумпцией нерастворимости и исключения из них\n\nКарбонаты нерастворимы в воде. Из этого правила установлен закрытый перечень исключений: карбонаты щелочных металлов и карбонат аммония растворимы.\n\nНаправление презумпции у карбонатов — нерастворимость, то есть обратное направлению статьи 8. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли."
    }
  ]
}

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1

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

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

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

insoluble: TRUE_ONLY — установлено Выведено правом: insoluble(urn:entity:chem:BaCO3) …и ещё 90 выведенных фактов вне предмета вопроса (полный вывод — law_explain) Применены правила: AluminiumPosition, AmmoniumIsCarbonateException, BariumIsSulfateException, CalciumPosition, CalciumSulfateIsSlightlySoluble, CarbonatePresumedInsoluble/R1, ChloridePassivatesLead, CopperPosition, GoldPosition, HydrogenPosition, IronPosition, LeadIsChlorideException, LeadIsSulfateException, LeadPosition, MagnesiumPosition, MercuryIIsChlorideException, MoreActiveBySmallerPosition, PotassiumIsAlkaliSeriesMetal, PotassiumPosition, SilverIsChlorideException, SilverPosition, SodiumIsAlkaliSeriesMetal, SodiumPosition, StrontiumIsSulfateException, SulfatePassivatesLead, ZincPosition Ответ поражаем правилом «карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений» — оно отменило бы вывод, будь установлено: carbonate_soluble_cation(Barium) (поражающее правило не сработало из-за неустановленных фактов — подайте их в facts, если они есть в деле) Право (вне юрисдикции государства): Правила общей химии с исключениями — поражаемый слой на учебной доктрине — доктрина — EXECUTABLE 24 §33.1 (programHash sha256:a3e04723d580…)

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

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "insoluble(urn:entity:chem:BaCO3)"
  ],
  "derivedOmitted": 90,
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 25,
        "fragments": [
          "urn:chem:clir:rules#CHEM_ART10",
          "urn:chem:clir:rules#CHEM_ART19",
          "urn:chem:clir:rules#CHEM_ART20",
          "urn:chem:clir:rules#CHEM_ART21",
          "urn:chem:clir:rules#CHEM_ART8",
          "urn:chem:clir:rules#CHEM_ART9"
        ],
        "jurisdiction": "none",
        "namespace": "urn:chem:clir:rules",
        "package": "chem-rules",
        "title": "Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1"
      }
    ],
    "caseHash": "sha256:922b60b899a886bc82ab6c49752e07e359a2805ccf3157ee4b26a735c013c58d",
    "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:a3e04723d580dfa6923683a98901f438041f0ccd2c1274fc8e29e716c05f8ad2",
    "resultHash": "sha256:841255a6116fc0b6a0a04e8c5139a150217ab5d0be319bbc49639f6cb46d1883",
    "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:chem:clir:rules#AluminiumPosition",
    "urn:chem:clir:rules#AmmoniumIsCarbonateException",
    "urn:chem:clir:rules#BariumIsSulfateException",
    "urn:chem:clir:rules#CalciumPosition",
    "urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble",
    "urn:chem:clir:rules#CarbonatePresumedInsoluble/R1",
    "urn:chem:clir:rules#ChloridePassivatesLead",
    "urn:chem:clir:rules#CopperPosition",
    "urn:chem:clir:rules#GoldPosition",
    "urn:chem:clir:rules#HydrogenPosition",
    "urn:chem:clir:rules#IronPosition",
    "urn:chem:clir:rules#LeadIsChlorideException",
    "urn:chem:clir:rules#LeadIsSulfateException",
    "urn:chem:clir:rules#LeadPosition",
    "urn:chem:clir:rules#MagnesiumPosition",
    "urn:chem:clir:rules#MercuryIIsChlorideException",
    "urn:chem:clir:rules#MoreActiveBySmallerPosition",
    "urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#PotassiumPosition",
    "urn:chem:clir:rules#SilverIsChlorideException",
    "urn:chem:clir:rules#SilverPosition",
    "urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#SodiumPosition",
    "urn:chem:clir:rules#StrontiumIsSulfateException",
    "urn:chem:clir:rules#SulfatePassivatesLead",
    "urn:chem:clir:rules#ZincPosition"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "s",
        "type": {
          "name": "urn:chem:clir:rules#Salt"
        }
      }
    ],
    "predicate": "urn:chem:clir:rules#insoluble",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:chem:clir:rules#Salt": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "соль, растворимость которой рассматривается"
          }
        ],
        "namespace": "urn:chem:clir:rules",
        "package": "chem.rules"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "label": "карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "carbonate_soluble_cation(Barium)"
      ],
      "premises": [
        {
          "premise": "carbonate_soluble_cation(Barium)",
          "status": "NEITHER"
        },
        {
          "premise": "salt_of(urn:entity:chem:BaCO3, Barium, Carbonate)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "CarbonatePresumedInsoluble/R2"
    }
  ],
  "whyNot": []
}

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

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

Скачать JSON ↓

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

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

Скачать JSON ↓

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

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 25,
      "fragments": [
        "urn:chem:clir:rules#CHEM_ART10",
        "urn:chem:clir:rules#CHEM_ART19",
        "urn:chem:clir:rules#CHEM_ART20",
        "urn:chem:clir:rules#CHEM_ART21",
        "urn:chem:clir:rules#CHEM_ART8",
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "jurisdiction": "none",
      "namespace": "urn:chem:clir:rules",
      "package": "chem-rules",
      "title": "Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1"
    }
  ],
  "caseHash": "sha256:922b60b899a886bc82ab6c49752e07e359a2805ccf3157ee4b26a735c013c58d",
  "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:a3e04723d580dfa6923683a98901f438041f0ccd2c1274fc8e29e716c05f8ad2",
  "resultHash": "sha256:841255a6116fc0b6a0a04e8c5139a150217ab5d0be319bbc49639f6cb46d1883",
  "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:ebd55357f7f4e418a52ea6d2eccb8a1ed08743184e1045a943bc8e428c55ab5c

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

{
  "args": [
    "urn:entity:chem:BaCO3"
  ],
  "facts": [
    {
      "args": [
        "urn:entity:chem:BaCO3",
        "Barium",
        "Carbonate"
      ],
      "predicate": "salt_of"
    },
    {
      "args": [
        "Barium"
      ],
      "predicate": "cation_recorded"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-rules",
  "predicate": "insoluble"
}

Для карбонатов презумпция направлена в другую сторону: барий не щелочной металл и не аммоний, поэтому карбонат бария нерастворим.

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

Сульфат кальция: растворимость не установлена

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

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

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

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

Правило: все соли щелочных металлов растворимы
- катион принадлежит щелочному металлуCalciumфакт не подан и не выведен
- соль дела образована указанными катионом и аниономCaSO4, Calcium, Sulfateустановлено
Правило: все соли аммония растворимы
- соль дела образована указанными катионом и аниономCaSO4, Ammonium, v1DEPENDS
Правило: карбонаты щелочных металлов и карбонат аммония растворимы
- катион входит в закрытый перечень исключений для карбонатовv1DEPENDS
- соль дела образована указанными катионом и аниономCaSO4, v1, CarbonateDEPENDS
Правило: хлорид предполагается растворимым, пока катион не оказался в перечне исключений
- соль дела образована указанными катионом и аниономCaSO4, v1, ChlorideDEPENDS
Правило: хлорид предполагается растворимым, пока катион не оказался в перечне исключений
- соль дела образована указанными катионом и аниономCaSO4, v1, ChlorideDEPENDS
- катион входит в закрытый перечень исключений для хлоридовv1DEPENDS

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

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

соль растворима в воде

CaSO4

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

соль дела образована указанными катионом и анионом
s: CaSO4cation: катион кальцияanion: сульфат-анион
катион назван материалами дела
c: катион кальция

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

{
  "args": [
    "urn:entity:chem:CaSO4"
  ],
  "facts": [
    {
      "args": [
        "urn:entity:chem:CaSO4",
        "Calcium",
        "Sulfate"
      ],
      "predicate": "salt_of"
    },
    {
      "args": [
        "Calcium"
      ],
      "predicate": "cation_recorded"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-rules",
  "predicate": "soluble"
}

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

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

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

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

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина

алюминий занимает пятое место ряда активности
Идентификатор
urn:chem:clir:rules#AluminiumPosition
аммоний входит в перечень исключений для карбонатов
Идентификатор
urn:chem:clir:rules#AmmoniumIsCarbonateException
барий входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#BariumIsSulfateException
кальций занимает третье место ряда активности
Идентификатор
urn:chem:clir:rules#CalciumPosition
сульфат кальция малорастворим
Идентификатор
urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble
хлорид образует со свинцом нерастворимую плёнку
Идентификатор
urn:chem:clir:rules#ChloridePassivatesLead
медь занимает десятое место ряда активности
Идентификатор
urn:chem:clir:rules#CopperPosition
золото занимает двенадцатое место ряда активности
Идентификатор
urn:chem:clir:rules#GoldPosition
водород занимает девятое место ряда как точка отсчёта
Идентификатор
urn:chem:clir:rules#HydrogenPosition
железо занимает седьмое место ряда активности
Идентификатор
urn:chem:clir:rules#IronPosition
свинец входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#LeadIsChlorideException
свинец входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#LeadIsSulfateException
свинец занимает восьмое место ряда активности
Идентификатор
urn:chem:clir:rules#LeadPosition
магний занимает четвёртое место ряда активности
Идентификатор
urn:chem:clir:rules#MagnesiumPosition
ртуть в степени окисления плюс один входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#MercuryIIsChlorideException
металл с меньшим номером ряда активнее металла с большим
Идентификатор
urn:chem:clir:rules#MoreActiveBySmallerPosition
калий — щелочной металл ряда
Идентификатор
urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal
калий занимает первое место ряда активности
Идентификатор
urn:chem:clir:rules#PotassiumPosition
серебро входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#SilverIsChlorideException
серебро занимает одиннадцатое место ряда активности
Идентификатор
urn:chem:clir:rules#SilverPosition
малорастворимая соль не признаётся нерастворимой
Идентификатор
urn:chem:clir:rules#SlightSolubilityDefeatsInsolubility
малорастворимая соль не признаётся растворимой
Идентификатор
urn:chem:clir:rules#SlightSolubilityDefeatsSolubility
натрий — щелочной металл ряда
Идентификатор
urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal
натрий занимает второе место ряда активности
Идентификатор
urn:chem:clir:rules#SodiumPosition
стронций входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#StrontiumIsSulfateException
сульфат кальция признаётся малорастворимым
Идентификатор
urn:chem:clir:rules#SulfateOfSlightlySolubleCationIsSlightlySoluble
сульфат образует со свинцом нерастворимую плёнку
Идентификатор
urn:chem:clir:rules#SulfatePassivatesLead
сульфат предполагается растворимым, пока катион не оказался в перечне исключений
Идентификатор
urn:chem:clir:rules#SulfatePresumedSoluble/R1
цинк занимает шестое место ряда активности
Идентификатор
urn:chem:clir:rules#ZincPosition

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

соль растворима в воде
s: CaSO4

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

соль, растворимость которой рассматривается
s: CaSO4
Общий субъект фактов ниже
соль нерастворима в воде
соль малорастворима

соль нерастворима в воде
s
CaSO4

соль растворима в воде
s
CaSO4

соль малорастворима
s
CaSO4

Невыполненные условия

Основания
- CHEM_ART7
Норма
все соли щелочных металлов растворимы
Посылки
- Посылка
  катион принадлежит щелочному металлуCalcium
  Статус расчёта
  Не установлено
- Посылка
  соль дела образована указанными катионом и аниономCaSO4, Calcium, Sulfate
  Статус расчёта
  Установлено
Правило
AlkaliMetalSaltIsSoluble
Основания
- CHEM_ART7
Норма
все соли аммония растворимы
Посылки
- note
  зависит от несвязанной переменной
  Посылка
  соль дела образована указанными катионом и аниономCaSO4, Ammonium, v1
  Статус расчёта
  DEPENDS
Правило
AmmoniumSaltIsSoluble
Основания
- CHEM_ART9
Норма
карбонаты щелочных металлов и карбонат аммония растворимы
Посылки
- note
  зависит от несвязанной переменной
  Посылка
  катион входит в закрытый перечень исключений для карбонатовv1
  Статус расчёта
  DEPENDS
- note
  зависит от несвязанной переменной
  Посылка
  соль дела образована указанными катионом и аниономCaSO4, v1, Carbonate
  Статус расчёта
  DEPENDS
Правило
CarbonateExceptionIsSoluble
Основания
- CHEM_ART8
Норма
хлорид предполагается растворимым, пока катион не оказался в перечне исключений
Посылки
- note
  зависит от несвязанной переменной
  Посылка
  соль дела образована указанными катионом и аниономCaSO4, v1, Chloride
  Статус расчёта
  DEPENDS
Правило
ChloridePresumedSoluble/R1
Основания
- CHEM_ART8
Норма
хлорид предполагается растворимым, пока катион не оказался в перечне исключений
Посылки
- note
  зависит от несвязанной переменной
  Посылка
  соль дела образована указанными катионом и аниономCaSO4, v1, Chloride
  Статус расчёта
  DEPENDS
- note
  зависит от несвязанной переменной
  Посылка
  катион входит в закрытый перечень исключений для хлоридовv1
  Статус расчёта
  DEPENDS
Правило
ChloridePresumedSoluble/R2

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

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

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

{
  "derived": [
    "insoluble(urn:entity:chem:CaSO4)",
    "soluble(urn:entity:chem:CaSO4)",
    "slightly_soluble(urn:entity:chem:CaSO4)"
  ],
  "derivedOmitted": 90,
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:chem:clir:rules#AluminiumPosition",
    "urn:chem:clir:rules#AmmoniumIsCarbonateException",
    "urn:chem:clir:rules#BariumIsSulfateException",
    "urn:chem:clir:rules#CalciumPosition",
    "urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble",
    "urn:chem:clir:rules#ChloridePassivatesLead",
    "urn:chem:clir:rules#CopperPosition",
    "urn:chem:clir:rules#GoldPosition",
    "urn:chem:clir:rules#HydrogenPosition",
    "urn:chem:clir:rules#IronPosition",
    "urn:chem:clir:rules#LeadIsChlorideException",
    "urn:chem:clir:rules#LeadIsSulfateException",
    "urn:chem:clir:rules#LeadPosition",
    "urn:chem:clir:rules#MagnesiumPosition",
    "urn:chem:clir:rules#MercuryIIsChlorideException",
    "urn:chem:clir:rules#MoreActiveBySmallerPosition",
    "urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#PotassiumPosition",
    "urn:chem:clir:rules#SilverIsChlorideException",
    "urn:chem:clir:rules#SilverPosition",
    "urn:chem:clir:rules#SlightSolubilityDefeatsInsolubility",
    "urn:chem:clir:rules#SlightSolubilityDefeatsSolubility",
    "urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#SodiumPosition",
    "urn:chem:clir:rules#StrontiumIsSulfateException",
    "urn:chem:clir:rules#SulfateOfSlightlySolubleCationIsSlightlySoluble",
    "urn:chem:clir:rules#SulfatePassivatesLead",
    "urn:chem:clir:rules#SulfatePresumedSoluble/R1",
    "urn:chem:clir:rules#ZincPosition"
  ],
  "whyNot": [
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART7"
      ],
      "computedHead": false,
      "label": "все соли щелочных металлов растворимы",
      "premises": [
        {
          "premise": "alkali_metal_cation(Calcium)",
          "status": "NEITHER"
        },
        {
          "premise": "salt_of(urn:entity:chem:CaSO4, Calcium, Sulfate)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "AlkaliMetalSaltIsSoluble"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART7"
      ],
      "computedHead": false,
      "label": "все соли аммония растворимы",
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, Ammonium, v1)",
          "status": "DEPENDS"
        }
      ],
      "rule": "AmmoniumSaltIsSoluble"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "computedHead": false,
      "label": "карбонаты щелочных металлов и карбонат аммония растворимы",
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "carbonate_soluble_cation(v1)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Carbonate)",
          "status": "DEPENDS"
        }
      ],
      "rule": "CarbonateExceptionIsSoluble"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "computedHead": false,
      "label": "хлорид предполагается растворимым, пока катион не оказался в перечне исключений",
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Chloride)",
          "status": "DEPENDS"
        }
      ],
      "rule": "ChloridePresumedSoluble/R1"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "computedHead": false,
      "label": "хлорид предполагается растворимым, пока катион не оказался в перечне исключений",
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Chloride)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "chloride_insoluble_cation(v1)",
          "status": "DEPENDS"
        }
      ],
      "rule": "ChloridePresumedSoluble/R2"
    }
  ]
}

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

Статья 10

Статья 10. Малорастворимые вещества и числовая шкала Сульфат кальция малорастворим. Малорастворимость есть третий ответ настоящего раздела: соль, признанная малорастворимой, не признаётся ни растворимой, ни нерастворимой. Признание соли малорастворимой прекращает действие презумпции того класса, к которому соль отнесена по статьям 8 и 9. Сверх качественного отнесения по статьям 7-9 настоящее изложение принимает числовую шкалу. Справочной растворимостью признаётся масса безводной соли в граммах, растворяющаяся в ста миллилитрах воды при двадцати градусах Цельсия. Соль со справочной растворимостью более одного грамма признаётся растворимой количественно; от одной десятой грамма до одного грамма включительно — малорастворимой количественно; менее одной десятой грамма — нерастворимой количественно. Качественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому.

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

{
  "contentHash": "sha256:373f23472b347f765a9b18bd1d2329c667f9c0e2cb7b650f4a5b734706d5ed2b",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:48e20a9c7afefb893ec723e850dc5919afc795a73bc94568778bfd993f5d33ce",
      "language": "ru",
      "status": "official",
      "text": "Статья 10. Малорастворимые вещества и числовая шкала\n\nСульфат кальция малорастворим. Малорастворимость есть третий ответ настоящего раздела: соль, признанная малорастворимой, не признаётся ни растворимой, ни нерастворимой.\n\nПризнание соли малорастворимой прекращает действие презумпции того класса, к которому соль отнесена по статьям 8 и 9.\n\nСверх качественного отнесения по статьям 7-9 настоящее изложение принимает числовую шкалу. Справочной растворимостью признаётся масса безводной соли в граммах, растворяющаяся в ста миллилитрах воды при двадцати градусах Цельсия. Соль со справочной растворимостью более одного грамма признаётся растворимой количественно; от одной десятой грамма до одного грамма включительно — малорастворимой количественно; менее одной десятой грамма — нерастворимой количественно.\n\nКачественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому."
    }
  ]
}

Статья 19

Статья 19. Ряд активности и место металла в нём Металлы упорядочены по убыванию восстановительной активности в ряд: калий, натрий, кальций, магний, алюминий, цинк, железо, свинец, водород, медь, серебро, золото. Водород включается в ряд как точка отсчёта, металлом не являясь. Место в ряду выражается порядковым номером; меньший номер означает большую активность. Металл признаётся активнее другого, если его номер меньше.

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

{
  "contentHash": "sha256:7fe5bbdc75769dbd3bec47852fa2140be2fd1ed90a7da995500bb9d77b6f0ba6",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART19",
  "kind": "fragment",
  "locator": "article/19",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:e1c463f773b04659d29978ac030f3f0aa61c960fa9cfdf97cbe418cdc6a6acc8",
      "language": "ru",
      "status": "official",
      "text": "Статья 19. Ряд активности и место металла в нём\n\nМеталлы упорядочены по убыванию восстановительной активности в ряд: калий, натрий, кальций, магний, алюминий, цинк, железо, свинец, водород, медь, серебро, золото. Водород включается в ряд как точка отсчёта, металлом не являясь.\n\nМесто в ряду выражается порядковым номером; меньший номер означает большую активность. Металл признаётся активнее другого, если его номер меньше."
    }
  ]
}

Статья 2

Статья 2. Правило, исключение, презумпция, предпочтение и порядок разрешения конфликтов В настоящем изложении различаются четыре рода утверждений. Безусловное правило действует всегда и исключений не имеет. Общее правило действует, пока по делу не установлено именованное исключение. Перечень исключений закрыт: отсутствие в деле сведений о принадлежности к перечню означает, что исключение не наступило. Презумпция есть общее правило, направление которого установлено для целого класса. Направление презумпции у разных классов различно и указывается при каждом классе отдельно. Предпочтение указывает, какое из нескольких допустимых состояний признаётся основным; состояние, оказавшееся не основным, не становится от этого недопустимым. Порядок разрешения конфликтов указывается при том разделе, в котором конфликт возникает. Там, где школы изложения расходятся по существу, настоящее изложение не выбирает между ними. Общая часть излагается как база, а спорное положение излагается отдельно и применяется только тогда, когда прочтение выбрано прямо. Перечень спорных положений закрыт статьями 11 и 13. РАЗДЕЛ I. СТЕПЕНИ ОКИСЛЕНИЯ

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

{
  "contentHash": "sha256:52eac57fedf4eb9ddad92c64fdf77361e4e4027694c651c5a404dfee2c16942f",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:4081cb83c361a8eab115fec11eed1f73ed2eade9750e69daf70ad6bce771ca77",
      "language": "ru",
      "status": "official",
      "text": "Статья 2. Правило, исключение, презумпция, предпочтение и порядок разрешения конфликтов\n\nВ настоящем изложении различаются четыре рода утверждений.\n\nБезусловное правило действует всегда и исключений не имеет.\n\nОбщее правило действует, пока по делу не установлено именованное исключение. Перечень исключений закрыт: отсутствие в деле сведений о принадлежности к перечню означает, что исключение не наступило.\n\nПрезумпция есть общее правило, направление которого установлено для целого класса. Направление презумпции у разных классов различно и указывается при каждом классе отдельно.\n\nПредпочтение указывает, какое из нескольких допустимых состояний признаётся основным; состояние, оказавшееся не основным, не становится от этого недопустимым.\n\nПорядок разрешения конфликтов указывается при том разделе, в котором конфликт возникает.\n\nТам, где школы изложения расходятся по существу, настоящее изложение не выбирает между ними. Общая часть излагается как база, а спорное положение излагается отдельно и применяется только тогда, когда прочтение выбрано прямо. Перечень спорных положений закрыт статьями 11 и 13.\n\nРАЗДЕЛ I. СТЕПЕНИ ОКИСЛЕНИЯ"
    }
  ]
}

Статья 20

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

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

{
  "contentHash": "sha256:6d372d59aab7edb9e0f5502d1e5682146e02661aef89b0863718c79b345c1326",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART20",
  "kind": "fragment",
  "locator": "article/20",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:e45ea1c7df06d7a5cc96fd9cd60e27c74454825fdc6705a4da5ba58b5409c895",
      "language": "ru",
      "status": "official",
      "text": "Статья 20. Вытеснение металла из раствора соли\n\nМеталл вытесняет из раствора соли металл, стоящий в ряду активности правее него. Металл, стоящий правее, металл из раствора соли не вытесняет.\n\nИз правила вытеснения установлено одно исключение: щелочной металл металла из раствора соли не вытесняет, ибо прежде вступает в реакцию с водой раствора. Щелочными металлами ряда признаются калий и натрий."
    }
  ]
}

Статья 21

Статья 21. Вытеснение водорода из разбавленной кислоты Металл, стоящий в ряду активности левее водорода, вытесняет водород из разбавленной кислоты. Металл, стоящий правее водорода, водород из разбавленной кислоты не вытесняет. Из правила вытеснения водорода установлено одно исключение: свинец водород из разбавленных соляной и серной кислот практически не вытесняет, ибо покрывается плёнкой нерастворимой соли — хлорида либо сульфата свинца. Названные соли нерастворимы по статье 8 настоящего изложения; в этом месте раздел о растворимости и раздел о ряде активности говорят об одном веществе. РАЗДЕЛ IX. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ

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

{
  "contentHash": "sha256:4eec5cf5655115aaad2ee664321b6cef3631e4a4d3d32ca38a430bacb3daab53",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART21",
  "kind": "fragment",
  "locator": "article/21",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:6cf47af14e472f0e3913b89fbce0a738ddda2a3f8d5873794f4cd8836bbc6a86",
      "language": "ru",
      "status": "official",
      "text": "Статья 21. Вытеснение водорода из разбавленной кислоты\n\nМеталл, стоящий в ряду активности левее водорода, вытесняет водород из разбавленной кислоты. Металл, стоящий правее водорода, водород из разбавленной кислоты не вытесняет.\n\nИз правила вытеснения водорода установлено одно исключение: свинец водород из разбавленных соляной и серной кислот практически не вытесняет, ибо покрывается плёнкой нерастворимой соли — хлорида либо сульфата свинца. Названные соли нерастворимы по статье 8 настоящего изложения; в этом месте раздел о растворимости и раздел о ряде активности говорят об одном веществе.\n\nРАЗДЕЛ IX. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ"
    }
  ]
}

Статья 7

Статья 7. Безусловно растворимые классы солей Все нитраты растворимы в воде. Исключений это правило не имеет. Все соли щелочных металлов и все соли аммония растворимы в воде.

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

{
  "contentHash": "sha256:645ecefe8f12750eec4248d4946508f79bf9256eb8d37ebd0581b4e13778e7a9",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART7",
  "kind": "fragment",
  "locator": "article/7",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:f3ee3c72a7860cae68a0ea0e8278a479d9b3eff63044c8ccecb22fb234d8e9e8",
      "language": "ru",
      "status": "official",
      "text": "Статья 7. Безусловно растворимые классы солей\n\nВсе нитраты растворимы в воде. Исключений это правило не имеет.\n\nВсе соли щелочных металлов и все соли аммония растворимы в воде."
    }
  ]
}

Статья 8

Статья 8. Классы с презумпцией растворимости и исключения из них Хлориды растворимы в воде. Из этого правила установлен закрытый перечень исключений: хлориды серебра, свинца и ртути в степени окисления плюс один нерастворимы. Сульфаты растворимы в воде. Из этого правила установлен закрытый перечень исключений: сульфаты бария, стронция и свинца нерастворимы. Направление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях.

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

{
  "contentHash": "sha256:9d27799a30b75367ca4889e78eda54986bc473aa3b7a50bc9f35449e7edfa34b",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART8",
  "kind": "fragment",
  "locator": "article/8",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:b3fba15d58368b4b202eef338abd7beaa854a52b1c01ff62d69ee136303f2a2b",
      "language": "ru",
      "status": "official",
      "text": "Статья 8. Классы с презумпцией растворимости и исключения из них\n\nХлориды растворимы в воде. Из этого правила установлен закрытый перечень исключений: хлориды серебра, свинца и ртути в степени окисления плюс один нерастворимы.\n\nСульфаты растворимы в воде. Из этого правила установлен закрытый перечень исключений: сульфаты бария, стронция и свинца нерастворимы.\n\nНаправление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях."
    }
  ]
}

Статья 9

Статья 9. Классы с презумпцией нерастворимости и исключения из них Карбонаты нерастворимы в воде. Из этого правила установлен закрытый перечень исключений: карбонаты щелочных металлов и карбонат аммония растворимы. Направление презумпции у карбонатов — нерастворимость, то есть обратное направлению статьи 8. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли.

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

{
  "contentHash": "sha256:5d698a9505ef236e1003010126d507f4da1d691bc6263432b9c35a18c35b6e59",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART9",
  "kind": "fragment",
  "locator": "article/9",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:93a7bd3d0480596f01fda7efacdefbc8dc7212c10201295b7c2458e083ba5188",
      "language": "ru",
      "status": "official",
      "text": "Статья 9. Классы с презумпцией нерастворимости и исключения из них\n\nКарбонаты нерастворимы в воде. Из этого правила установлен закрытый перечень исключений: карбонаты щелочных металлов и карбонат аммония растворимы.\n\nНаправление презумпции у карбонатов — нерастворимость, то есть обратное направлению статьи 8. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли."
    }
  ]
}

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1

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

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

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

soluble: NEITHER — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет» Выведено правом: insoluble(urn:entity:chem:CaSO4); soluble(urn:entity:chem:CaSO4); slightly_soluble(urn:entity:chem:CaSO4) …и ещё 90 выведенных фактов вне предмета вопроса (полный вывод — law_explain) Применены правила: AluminiumPosition, AmmoniumIsCarbonateException, BariumIsSulfateException, CalciumPosition, CalciumSulfateIsSlightlySoluble, ChloridePassivatesLead, CopperPosition, GoldPosition, HydrogenPosition, IronPosition, LeadIsChlorideException, LeadIsSulfateException, LeadPosition, MagnesiumPosition, MercuryIIsChlorideException, MoreActiveBySmallerPosition, PotassiumIsAlkaliSeriesMetal, PotassiumPosition, SilverIsChlorideException, SilverPosition, SlightSolubilityDefeatsInsolubility, SlightSolubilityDefeatsSolubility, SodiumIsAlkaliSeriesMetal, SodiumPosition, StrontiumIsSulfateException, SulfateOfSlightlySolubleCationIsSlightlySoluble, SulfatePassivatesLead, SulfatePresumedSoluble/R1, ZincPosition Правило «все соли щелочных металлов растворимы» вывело бы это при посылках: ? alkali_metal_cation(Calcium) — NEITHER ✓ salt_of(urn:entity:chem:CaSO4, Calcium, Sulfate) — TRUE_ONLY Правило «все соли аммония растворимы» вывело бы это при посылках: · salt_of(urn:entity:chem:CaSO4, Ammonium, v1) — DEPENDS Правило «карбонаты щелочных металлов и карбонат аммония растворимы» вывело бы это при посылках: · carbonate_soluble_cation(v1) — DEPENDS · salt_of(urn:entity:chem:CaSO4, v1, Carbonate) — DEPENDS Правило «хлорид предполагается растворимым, пока катион не оказался в перечне исключений» вывело бы это при посылках: · salt_of(urn:entity:chem:CaSO4, v1, Chloride) — DEPENDS Правило «хлорид предполагается растворимым, пока катион не оказался в перечне исключений» вывело бы это при посылках: · salt_of(urn:entity:chem:CaSO4, v1, Chloride) — DEPENDS · chloride_insoluble_cation(v1) — DEPENDS (? — факт не подан и не выведен; ✗ — установлено обратное) Полные правила с посылками: law_rules({"predicate": "soluble"}) Право (вне юрисдикции государства): Правила общей химии с исключениями — поражаемый слой на учебной доктрине — доктрина — EXECUTABLE 24 §33.1 (programHash sha256:a3e04723d580…)

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

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»",
    "missingInputs": [],
    "truthStatus": "NEITHER"
  },
  "closedEditionRules": [],
  "derived": [
    "insoluble(urn:entity:chem:CaSO4)",
    "soluble(urn:entity:chem:CaSO4)",
    "slightly_soluble(urn:entity:chem:CaSO4)"
  ],
  "derivedOmitted": 90,
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 25,
        "fragments": [
          "urn:chem:clir:rules#CHEM_ART10",
          "urn:chem:clir:rules#CHEM_ART19",
          "urn:chem:clir:rules#CHEM_ART20",
          "urn:chem:clir:rules#CHEM_ART21",
          "urn:chem:clir:rules#CHEM_ART8",
          "urn:chem:clir:rules#CHEM_ART9"
        ],
        "jurisdiction": "none",
        "namespace": "urn:chem:clir:rules",
        "package": "chem-rules",
        "title": "Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1"
      }
    ],
    "caseHash": "sha256:27994fe650a8c0850beb1fcd059c6a6ed120907efac4e3d2a59551db10f30741",
    "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:a3e04723d580dfa6923683a98901f438041f0ccd2c1274fc8e29e716c05f8ad2",
    "resultHash": "sha256:1bb1ddb1827b5ca8b97aead92ac37833e2c44a106fc08ecacd78c299b56ede71",
    "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:chem:clir:rules#AluminiumPosition",
    "urn:chem:clir:rules#AmmoniumIsCarbonateException",
    "urn:chem:clir:rules#BariumIsSulfateException",
    "urn:chem:clir:rules#CalciumPosition",
    "urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble",
    "urn:chem:clir:rules#ChloridePassivatesLead",
    "urn:chem:clir:rules#CopperPosition",
    "urn:chem:clir:rules#GoldPosition",
    "urn:chem:clir:rules#HydrogenPosition",
    "urn:chem:clir:rules#IronPosition",
    "urn:chem:clir:rules#LeadIsChlorideException",
    "urn:chem:clir:rules#LeadIsSulfateException",
    "urn:chem:clir:rules#LeadPosition",
    "urn:chem:clir:rules#MagnesiumPosition",
    "urn:chem:clir:rules#MercuryIIsChlorideException",
    "urn:chem:clir:rules#MoreActiveBySmallerPosition",
    "urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#PotassiumPosition",
    "urn:chem:clir:rules#SilverIsChlorideException",
    "urn:chem:clir:rules#SilverPosition",
    "urn:chem:clir:rules#SlightSolubilityDefeatsInsolubility",
    "urn:chem:clir:rules#SlightSolubilityDefeatsSolubility",
    "urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#SodiumPosition",
    "urn:chem:clir:rules#StrontiumIsSulfateException",
    "urn:chem:clir:rules#SulfateOfSlightlySolubleCationIsSlightlySoluble",
    "urn:chem:clir:rules#SulfatePassivatesLead",
    "urn:chem:clir:rules#SulfatePresumedSoluble/R1",
    "urn:chem:clir:rules#ZincPosition"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "s",
        "type": {
          "name": "urn:chem:clir:rules#Salt"
        }
      }
    ],
    "predicate": "urn:chem:clir:rules#soluble",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:chem:clir:rules#Salt": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "соль, растворимость которой рассматривается"
          }
        ],
        "namespace": "urn:chem:clir:rules",
        "package": "chem.rules"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [],
  "whyNot": [
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART7"
      ],
      "computedHead": false,
      "label": "все соли щелочных металлов растворимы",
      "premises": [
        {
          "premise": "alkali_metal_cation(Calcium)",
          "status": "NEITHER"
        },
        {
          "premise": "salt_of(urn:entity:chem:CaSO4, Calcium, Sulfate)",
          "status": "TRUE_ONLY"
        }
      ],
      "rule": "AlkaliMetalSaltIsSoluble"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART7"
      ],
      "computedHead": false,
      "label": "все соли аммония растворимы",
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, Ammonium, v1)",
          "status": "DEPENDS"
        }
      ],
      "rule": "AmmoniumSaltIsSoluble"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "computedHead": false,
      "label": "карбонаты щелочных металлов и карбонат аммония растворимы",
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "carbonate_soluble_cation(v1)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Carbonate)",
          "status": "DEPENDS"
        }
      ],
      "rule": "CarbonateExceptionIsSoluble"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "computedHead": false,
      "label": "хлорид предполагается растворимым, пока катион не оказался в перечне исключений",
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Chloride)",
          "status": "DEPENDS"
        }
      ],
      "rule": "ChloridePresumedSoluble/R1"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "computedHead": false,
      "label": "хлорид предполагается растворимым, пока катион не оказался в перечне исключений",
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Chloride)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "chloride_insoluble_cation(v1)",
          "status": "DEPENDS"
        }
      ],
      "rule": "ChloridePresumedSoluble/R2"
    }
  ]
}

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

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

Скачать JSON ↓

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

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

Скачать JSON ↓

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

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 25,
      "fragments": [
        "urn:chem:clir:rules#CHEM_ART10",
        "urn:chem:clir:rules#CHEM_ART19",
        "urn:chem:clir:rules#CHEM_ART20",
        "urn:chem:clir:rules#CHEM_ART21",
        "urn:chem:clir:rules#CHEM_ART8",
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "jurisdiction": "none",
      "namespace": "urn:chem:clir:rules",
      "package": "chem-rules",
      "title": "Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1"
    }
  ],
  "caseHash": "sha256:27994fe650a8c0850beb1fcd059c6a6ed120907efac4e3d2a59551db10f30741",
  "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:a3e04723d580dfa6923683a98901f438041f0ccd2c1274fc8e29e716c05f8ad2",
  "resultHash": "sha256:1bb1ddb1827b5ca8b97aead92ac37833e2c44a106fc08ecacd78c299b56ede71",
  "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:2811ff0d494209ec6b058033163e130985144164c67bd481329a9eeba0cd130f

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

{
  "args": [
    "urn:entity:chem:CaSO4"
  ],
  "facts": [
    {
      "args": [
        "urn:entity:chem:CaSO4",
        "Calcium",
        "Sulfate"
      ],
      "predicate": "salt_of"
    },
    {
      "args": [
        "Calcium"
      ],
      "predicate": "cation_recorded"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-rules",
  "predicate": "soluble"
}

Сульфат кальция назван малорастворимым отдельным правилом, и оно останавливает презумпцию растворимости. При этом правило нерастворимости не срабатывает, и на вопрос «растворим ли» модель отвечает «не установлено».

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

Сульфат кальция: малорастворим

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

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

Установлено

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

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

соль малорастворима

CaSO4

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

соль дела образована указанными катионом и анионом
s: CaSO4cation: катион кальцияanion: сульфат-анион
катион назван материалами дела
c: катион кальция

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

{
  "args": [
    "urn:entity:chem:CaSO4"
  ],
  "facts": [
    {
      "args": [
        "urn:entity:chem:CaSO4",
        "Calcium",
        "Sulfate"
      ],
      "predicate": "salt_of"
    },
    {
      "args": [
        "Calcium"
      ],
      "predicate": "cation_recorded"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-rules",
  "predicate": "slightly_soluble"
}

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

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

1
сульфат кальция малорастворим
катион даёт малорастворимый сульфат: c: катион кальция
Идентификатор
urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble
правило
2
соль дела образована указанными катионом и анионом
s: urn:entity:chem:CaSO4; cation: катион кальция; anion: сульфат-анион
факт дела
3
сульфат кальция признаётся малорастворимым
соль малорастворима: s: urn:entity:chem:CaSO4
Идентификатор
urn:chem:clir:rules#SulfateOfSlightlySolubleCationIsSlightlySoluble
правило
4
Вычисление запроса
запрос

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

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

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина

сульфат кальция малорастворим
Идентификатор
urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble
сульфат кальция признаётся малорастворимым
Идентификатор
urn:chem:clir:rules#SulfateOfSlightlySolubleCationIsSlightlySoluble

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

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина

алюминий занимает пятое место ряда активности
Идентификатор
urn:chem:clir:rules#AluminiumPosition
аммоний входит в перечень исключений для карбонатов
Идентификатор
urn:chem:clir:rules#AmmoniumIsCarbonateException
барий входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#BariumIsSulfateException
кальций занимает третье место ряда активности
Идентификатор
urn:chem:clir:rules#CalciumPosition
хлорид образует со свинцом нерастворимую плёнку
Идентификатор
urn:chem:clir:rules#ChloridePassivatesLead
медь занимает десятое место ряда активности
Идентификатор
urn:chem:clir:rules#CopperPosition
золото занимает двенадцатое место ряда активности
Идентификатор
urn:chem:clir:rules#GoldPosition
водород занимает девятое место ряда как точка отсчёта
Идентификатор
urn:chem:clir:rules#HydrogenPosition
железо занимает седьмое место ряда активности
Идентификатор
urn:chem:clir:rules#IronPosition
свинец входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#LeadIsChlorideException
свинец входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#LeadIsSulfateException
свинец занимает восьмое место ряда активности
Идентификатор
urn:chem:clir:rules#LeadPosition
магний занимает четвёртое место ряда активности
Идентификатор
urn:chem:clir:rules#MagnesiumPosition
ртуть в степени окисления плюс один входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#MercuryIIsChlorideException
металл с меньшим номером ряда активнее металла с большим
Идентификатор
urn:chem:clir:rules#MoreActiveBySmallerPosition
калий — щелочной металл ряда
Идентификатор
urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal
калий занимает первое место ряда активности
Идентификатор
urn:chem:clir:rules#PotassiumPosition
серебро входит в перечень исключений для хлоридов
Идентификатор
urn:chem:clir:rules#SilverIsChlorideException
серебро занимает одиннадцатое место ряда активности
Идентификатор
urn:chem:clir:rules#SilverPosition
малорастворимая соль не признаётся нерастворимой
Идентификатор
urn:chem:clir:rules#SlightSolubilityDefeatsInsolubility
малорастворимая соль не признаётся растворимой
Идентификатор
urn:chem:clir:rules#SlightSolubilityDefeatsSolubility
натрий — щелочной металл ряда
Идентификатор
urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal
натрий занимает второе место ряда активности
Идентификатор
urn:chem:clir:rules#SodiumPosition
стронций входит в перечень исключений для сульфатов
Идентификатор
urn:chem:clir:rules#StrontiumIsSulfateException
сульфат образует со свинцом нерастворимую плёнку
Идентификатор
urn:chem:clir:rules#SulfatePassivatesLead
сульфат предполагается растворимым, пока катион не оказался в перечне исключений
Идентификатор
urn:chem:clir:rules#SulfatePresumedSoluble/R1
цинк занимает шестое место ряда активности
Идентификатор
urn:chem:clir:rules#ZincPosition

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

соль малорастворима
s: CaSO4

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

соль, растворимость которой рассматривается
s: CaSO4
Общий субъект фактов ниже
соль нерастворима в воде
соль растворима в воде

соль нерастворима в воде
s
CaSO4

соль растворима в воде
s
CaSO4

соль малорастворима
s
CaSO4

Возможные поражающие правила

Основания
- CHEM_ART8
Норма
сульфат предполагается растворимым, пока катион не оказался в перечне исключений
Не хватает
- катион входит в закрытый перечень исключений для сульфатовCalcium
Посылки
- Посылка
  соль дела образована указанными катионом и аниономCaSO4, Calcium, Sulfate
  Статус расчёта
  Установлено
- Посылка
  катион входит в закрытый перечень исключений для сульфатовCalcium
  Статус расчёта
  Не установлено
Правило
SulfatePresumedSoluble/R2
Основания
- CHEM_ART9
Норма
карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений
Не хватает
- катион входит в закрытый перечень исключений для карбонатовv1
- соль дела образована указанными катионом и аниономCaSO4, v1, Carbonate
Посылки
- note
  зависит от несвязанной переменной
  Посылка
  катион входит в закрытый перечень исключений для карбонатовv1
  Статус расчёта
  DEPENDS
- note
  зависит от несвязанной переменной
  Посылка
  соль дела образована указанными катионом и аниономCaSO4, v1, Carbonate
  Статус расчёта
  DEPENDS
Правило
CarbonatePresumedInsoluble/R2
Основания
- CHEM_ART8
Норма
хлорид предполагается растворимым, пока катион не оказался в перечне исключений
Не хватает
- соль дела образована указанными катионом и аниономCaSO4, v1, Chloride
- катион входит в закрытый перечень исключений для хлоридовv1
Посылки
- note
  зависит от несвязанной переменной
  Посылка
  соль дела образована указанными катионом и аниономCaSO4, v1, Chloride
  Статус расчёта
  DEPENDS
- note
  зависит от несвязанной переменной
  Посылка
  катион входит в закрытый перечень исключений для хлоридовv1
  Статус расчёта
  DEPENDS
Правило
ChloridePresumedSoluble/R2

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

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

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

{
  "derived": [
    "insoluble(urn:entity:chem:CaSO4)",
    "soluble(urn:entity:chem:CaSO4)",
    "slightly_soluble(urn:entity:chem:CaSO4)"
  ],
  "derivedOmitted": 90,
  "proofRef": "urn:proof:query:mcp",
  "rulesApplied": [
    "urn:chem:clir:rules#AluminiumPosition",
    "urn:chem:clir:rules#AmmoniumIsCarbonateException",
    "urn:chem:clir:rules#BariumIsSulfateException",
    "urn:chem:clir:rules#CalciumPosition",
    "urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble",
    "urn:chem:clir:rules#ChloridePassivatesLead",
    "urn:chem:clir:rules#CopperPosition",
    "urn:chem:clir:rules#GoldPosition",
    "urn:chem:clir:rules#HydrogenPosition",
    "urn:chem:clir:rules#IronPosition",
    "urn:chem:clir:rules#LeadIsChlorideException",
    "urn:chem:clir:rules#LeadIsSulfateException",
    "urn:chem:clir:rules#LeadPosition",
    "urn:chem:clir:rules#MagnesiumPosition",
    "urn:chem:clir:rules#MercuryIIsChlorideException",
    "urn:chem:clir:rules#MoreActiveBySmallerPosition",
    "urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#PotassiumPosition",
    "urn:chem:clir:rules#SilverIsChlorideException",
    "urn:chem:clir:rules#SilverPosition",
    "urn:chem:clir:rules#SlightSolubilityDefeatsInsolubility",
    "urn:chem:clir:rules#SlightSolubilityDefeatsSolubility",
    "urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#SodiumPosition",
    "urn:chem:clir:rules#StrontiumIsSulfateException",
    "urn:chem:clir:rules#SulfateOfSlightlySolubleCationIsSlightlySoluble",
    "urn:chem:clir:rules#SulfatePassivatesLead",
    "urn:chem:clir:rules#SulfatePresumedSoluble/R1",
    "urn:chem:clir:rules#ZincPosition"
  ],
  "vulnerableTo": [
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "label": "сульфат предполагается растворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "sulfate_insoluble_cation(Calcium)"
      ],
      "premises": [
        {
          "premise": "salt_of(urn:entity:chem:CaSO4, Calcium, Sulfate)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "sulfate_insoluble_cation(Calcium)",
          "status": "NEITHER"
        }
      ],
      "rule": "SulfatePresumedSoluble/R2"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "label": "карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "carbonate_soluble_cation(v1)",
        "salt_of(urn:entity:chem:CaSO4, v1, Carbonate)"
      ],
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "carbonate_soluble_cation(v1)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Carbonate)",
          "status": "DEPENDS"
        }
      ],
      "rule": "CarbonatePresumedInsoluble/R2"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "label": "хлорид предполагается растворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "salt_of(urn:entity:chem:CaSO4, v1, Chloride)",
        "chloride_insoluble_cation(v1)"
      ],
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Chloride)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "chloride_insoluble_cation(v1)",
          "status": "DEPENDS"
        }
      ],
      "rule": "ChloridePresumedSoluble/R2"
    }
  ]
}

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

Статья 10

Статья 10. Малорастворимые вещества и числовая шкала Сульфат кальция малорастворим. Малорастворимость есть третий ответ настоящего раздела: соль, признанная малорастворимой, не признаётся ни растворимой, ни нерастворимой. Признание соли малорастворимой прекращает действие презумпции того класса, к которому соль отнесена по статьям 8 и 9. Сверх качественного отнесения по статьям 7-9 настоящее изложение принимает числовую шкалу. Справочной растворимостью признаётся масса безводной соли в граммах, растворяющаяся в ста миллилитрах воды при двадцати градусах Цельсия. Соль со справочной растворимостью более одного грамма признаётся растворимой количественно; от одной десятой грамма до одного грамма включительно — малорастворимой количественно; менее одной десятой грамма — нерастворимой количественно. Качественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому.

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

{
  "contentHash": "sha256:373f23472b347f765a9b18bd1d2329c667f9c0e2cb7b650f4a5b734706d5ed2b",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART10",
  "kind": "fragment",
  "locator": "article/10",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:48e20a9c7afefb893ec723e850dc5919afc795a73bc94568778bfd993f5d33ce",
      "language": "ru",
      "status": "official",
      "text": "Статья 10. Малорастворимые вещества и числовая шкала\n\nСульфат кальция малорастворим. Малорастворимость есть третий ответ настоящего раздела: соль, признанная малорастворимой, не признаётся ни растворимой, ни нерастворимой.\n\nПризнание соли малорастворимой прекращает действие презумпции того класса, к которому соль отнесена по статьям 8 и 9.\n\nСверх качественного отнесения по статьям 7-9 настоящее изложение принимает числовую шкалу. Справочной растворимостью признаётся масса безводной соли в граммах, растворяющаяся в ста миллилитрах воды при двадцати градусах Цельсия. Соль со справочной растворимостью более одного грамма признаётся растворимой количественно; от одной десятой грамма до одного грамма включительно — малорастворимой количественно; менее одной десятой грамма — нерастворимой количественно.\n\nКачественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому."
    }
  ]
}

Статья 19

Статья 19. Ряд активности и место металла в нём Металлы упорядочены по убыванию восстановительной активности в ряд: калий, натрий, кальций, магний, алюминий, цинк, железо, свинец, водород, медь, серебро, золото. Водород включается в ряд как точка отсчёта, металлом не являясь. Место в ряду выражается порядковым номером; меньший номер означает большую активность. Металл признаётся активнее другого, если его номер меньше.

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

{
  "contentHash": "sha256:7fe5bbdc75769dbd3bec47852fa2140be2fd1ed90a7da995500bb9d77b6f0ba6",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART19",
  "kind": "fragment",
  "locator": "article/19",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:e1c463f773b04659d29978ac030f3f0aa61c960fa9cfdf97cbe418cdc6a6acc8",
      "language": "ru",
      "status": "official",
      "text": "Статья 19. Ряд активности и место металла в нём\n\nМеталлы упорядочены по убыванию восстановительной активности в ряд: калий, натрий, кальций, магний, алюминий, цинк, железо, свинец, водород, медь, серебро, золото. Водород включается в ряд как точка отсчёта, металлом не являясь.\n\nМесто в ряду выражается порядковым номером; меньший номер означает большую активность. Металл признаётся активнее другого, если его номер меньше."
    }
  ]
}

Статья 2

Статья 2. Правило, исключение, презумпция, предпочтение и порядок разрешения конфликтов В настоящем изложении различаются четыре рода утверждений. Безусловное правило действует всегда и исключений не имеет. Общее правило действует, пока по делу не установлено именованное исключение. Перечень исключений закрыт: отсутствие в деле сведений о принадлежности к перечню означает, что исключение не наступило. Презумпция есть общее правило, направление которого установлено для целого класса. Направление презумпции у разных классов различно и указывается при каждом классе отдельно. Предпочтение указывает, какое из нескольких допустимых состояний признаётся основным; состояние, оказавшееся не основным, не становится от этого недопустимым. Порядок разрешения конфликтов указывается при том разделе, в котором конфликт возникает. Там, где школы изложения расходятся по существу, настоящее изложение не выбирает между ними. Общая часть излагается как база, а спорное положение излагается отдельно и применяется только тогда, когда прочтение выбрано прямо. Перечень спорных положений закрыт статьями 11 и 13. РАЗДЕЛ I. СТЕПЕНИ ОКИСЛЕНИЯ

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

{
  "contentHash": "sha256:52eac57fedf4eb9ddad92c64fdf77361e4e4027694c651c5a404dfee2c16942f",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART2",
  "kind": "fragment",
  "locator": "article/2",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:4081cb83c361a8eab115fec11eed1f73ed2eade9750e69daf70ad6bce771ca77",
      "language": "ru",
      "status": "official",
      "text": "Статья 2. Правило, исключение, презумпция, предпочтение и порядок разрешения конфликтов\n\nВ настоящем изложении различаются четыре рода утверждений.\n\nБезусловное правило действует всегда и исключений не имеет.\n\nОбщее правило действует, пока по делу не установлено именованное исключение. Перечень исключений закрыт: отсутствие в деле сведений о принадлежности к перечню означает, что исключение не наступило.\n\nПрезумпция есть общее правило, направление которого установлено для целого класса. Направление презумпции у разных классов различно и указывается при каждом классе отдельно.\n\nПредпочтение указывает, какое из нескольких допустимых состояний признаётся основным; состояние, оказавшееся не основным, не становится от этого недопустимым.\n\nПорядок разрешения конфликтов указывается при том разделе, в котором конфликт возникает.\n\nТам, где школы изложения расходятся по существу, настоящее изложение не выбирает между ними. Общая часть излагается как база, а спорное положение излагается отдельно и применяется только тогда, когда прочтение выбрано прямо. Перечень спорных положений закрыт статьями 11 и 13.\n\nРАЗДЕЛ I. СТЕПЕНИ ОКИСЛЕНИЯ"
    }
  ]
}

Статья 20

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

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

{
  "contentHash": "sha256:6d372d59aab7edb9e0f5502d1e5682146e02661aef89b0863718c79b345c1326",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART20",
  "kind": "fragment",
  "locator": "article/20",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:e45ea1c7df06d7a5cc96fd9cd60e27c74454825fdc6705a4da5ba58b5409c895",
      "language": "ru",
      "status": "official",
      "text": "Статья 20. Вытеснение металла из раствора соли\n\nМеталл вытесняет из раствора соли металл, стоящий в ряду активности правее него. Металл, стоящий правее, металл из раствора соли не вытесняет.\n\nИз правила вытеснения установлено одно исключение: щелочной металл металла из раствора соли не вытесняет, ибо прежде вступает в реакцию с водой раствора. Щелочными металлами ряда признаются калий и натрий."
    }
  ]
}

Статья 21

Статья 21. Вытеснение водорода из разбавленной кислоты Металл, стоящий в ряду активности левее водорода, вытесняет водород из разбавленной кислоты. Металл, стоящий правее водорода, водород из разбавленной кислоты не вытесняет. Из правила вытеснения водорода установлено одно исключение: свинец водород из разбавленных соляной и серной кислот практически не вытесняет, ибо покрывается плёнкой нерастворимой соли — хлорида либо сульфата свинца. Названные соли нерастворимы по статье 8 настоящего изложения; в этом месте раздел о растворимости и раздел о ряде активности говорят об одном веществе. РАЗДЕЛ IX. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ

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

{
  "contentHash": "sha256:4eec5cf5655115aaad2ee664321b6cef3631e4a4d3d32ca38a430bacb3daab53",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART21",
  "kind": "fragment",
  "locator": "article/21",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:6cf47af14e472f0e3913b89fbce0a738ddda2a3f8d5873794f4cd8836bbc6a86",
      "language": "ru",
      "status": "official",
      "text": "Статья 21. Вытеснение водорода из разбавленной кислоты\n\nМеталл, стоящий в ряду активности левее водорода, вытесняет водород из разбавленной кислоты. Металл, стоящий правее водорода, водород из разбавленной кислоты не вытесняет.\n\nИз правила вытеснения водорода установлено одно исключение: свинец водород из разбавленных соляной и серной кислот практически не вытесняет, ибо покрывается плёнкой нерастворимой соли — хлорида либо сульфата свинца. Названные соли нерастворимы по статье 8 настоящего изложения; в этом месте раздел о растворимости и раздел о ряде активности говорят об одном веществе.\n\nРАЗДЕЛ IX. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ"
    }
  ]
}

Статья 8

Статья 8. Классы с презумпцией растворимости и исключения из них Хлориды растворимы в воде. Из этого правила установлен закрытый перечень исключений: хлориды серебра, свинца и ртути в степени окисления плюс один нерастворимы. Сульфаты растворимы в воде. Из этого правила установлен закрытый перечень исключений: сульфаты бария, стронция и свинца нерастворимы. Направление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях.

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

{
  "contentHash": "sha256:9d27799a30b75367ca4889e78eda54986bc473aa3b7a50bc9f35449e7edfa34b",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART8",
  "kind": "fragment",
  "locator": "article/8",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:b3fba15d58368b4b202eef338abd7beaa854a52b1c01ff62d69ee136303f2a2b",
      "language": "ru",
      "status": "official",
      "text": "Статья 8. Классы с презумпцией растворимости и исключения из них\n\nХлориды растворимы в воде. Из этого правила установлен закрытый перечень исключений: хлориды серебра, свинца и ртути в степени окисления плюс один нерастворимы.\n\nСульфаты растворимы в воде. Из этого правила установлен закрытый перечень исключений: сульфаты бария, стронция и свинца нерастворимы.\n\nНаправление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях."
    }
  ]
}

Статья 9

Статья 9. Классы с презумпцией нерастворимости и исключения из них Карбонаты нерастворимы в воде. Из этого правила установлен закрытый перечень исключений: карбонаты щелочных металлов и карбонат аммония растворимы. Направление презумпции у карбонатов — нерастворимость, то есть обратное направлению статьи 8. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли.

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

{
  "contentHash": "sha256:5d698a9505ef236e1003010126d507f4da1d691bc6263432b9c35a18c35b6e59",
  "edition": "urn:chem:clir:rules#CHEM_RU",
  "fragmentKind": "article",
  "id": "urn:chem:clir:rules#CHEM_ART9",
  "kind": "fragment",
  "locator": "article/9",
  "package": "urn:chem:clir:rules",
  "texts": [
    {
      "contentHash": "sha256:93a7bd3d0480596f01fda7efacdefbc8dc7212c10201295b7c2458e083ba5188",
      "language": "ru",
      "status": "official",
      "text": "Статья 9. Классы с презумпцией нерастворимости и исключения из них\n\nКарбонаты нерастворимы в воде. Из этого правила установлен закрытый перечень исключений: карбонаты щелочных металлов и карбонат аммония растворимы.\n\nНаправление презумпции у карбонатов — нерастворимость, то есть обратное направлению статьи 8. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли."
    }
  ]
}

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

Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1

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

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

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

slightly_soluble: TRUE_ONLY — установлено Выведено правом: insoluble(urn:entity:chem:CaSO4); soluble(urn:entity:chem:CaSO4); slightly_soluble(urn:entity:chem:CaSO4) …и ещё 90 выведенных фактов вне предмета вопроса (полный вывод — law_explain) Применены правила: AluminiumPosition, AmmoniumIsCarbonateException, BariumIsSulfateException, CalciumPosition, CalciumSulfateIsSlightlySoluble, ChloridePassivatesLead, CopperPosition, GoldPosition, HydrogenPosition, IronPosition, LeadIsChlorideException, LeadIsSulfateException, LeadPosition, MagnesiumPosition, MercuryIIsChlorideException, MoreActiveBySmallerPosition, PotassiumIsAlkaliSeriesMetal, PotassiumPosition, SilverIsChlorideException, SilverPosition, SlightSolubilityDefeatsInsolubility, SlightSolubilityDefeatsSolubility, SodiumIsAlkaliSeriesMetal, SodiumPosition, StrontiumIsSulfateException, SulfateOfSlightlySolubleCationIsSlightlySoluble, SulfatePassivatesLead, SulfatePresumedSoluble/R1, ZincPosition Ответ поражаем правилом «сульфат предполагается растворимым, пока катион не оказался в перечне исключений» — оно отменило бы вывод, будь установлено: sulfate_insoluble_cation(Calcium) Ответ поражаем правилом «карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений» — оно отменило бы вывод, будь установлено: carbonate_soluble_cation(v1); salt_of(urn:entity:chem:CaSO4, v1, Carbonate) Ответ поражаем правилом «хлорид предполагается растворимым, пока катион не оказался в перечне исключений» — оно отменило бы вывод, будь установлено: salt_of(urn:entity:chem:CaSO4, v1, Chloride); chloride_insoluble_cation(v1) (поражающее правило не сработало из-за неустановленных фактов — подайте их в facts, если они есть в деле) Право (вне юрисдикции государства): Правила общей химии с исключениями — поражаемый слой на учебной доктрине — доктрина — EXECUTABLE 24 §33.1 (programHash sha256:a3e04723d580…)

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

{
  "answer": {
    "evaluationStatus": "COMPUTED",
    "kind": "TRUTH",
    "meaning": "установлено",
    "missingInputs": [],
    "truthStatus": "TRUE_ONLY"
  },
  "closedEditionRules": [],
  "derived": [
    "insoluble(urn:entity:chem:CaSO4)",
    "soluble(urn:entity:chem:CaSO4)",
    "slightly_soluble(urn:entity:chem:CaSO4)"
  ],
  "derivedOmitted": 90,
  "evaluationStatus": "COMPUTED",
  "issues": [],
  "judgmentRequests": [],
  "proofRef": "urn:proof:query:mcp",
  "provenance": {
    "acts": [
      {
        "contributed": true,
        "fragmentCount": 25,
        "fragments": [
          "urn:chem:clir:rules#CHEM_ART10",
          "urn:chem:clir:rules#CHEM_ART19",
          "urn:chem:clir:rules#CHEM_ART20",
          "urn:chem:clir:rules#CHEM_ART21",
          "urn:chem:clir:rules#CHEM_ART8",
          "urn:chem:clir:rules#CHEM_ART9"
        ],
        "jurisdiction": "none",
        "namespace": "urn:chem:clir:rules",
        "package": "chem-rules",
        "title": "Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1"
      }
    ],
    "caseHash": "sha256:27994fe650a8c0850beb1fcd059c6a6ed120907efac4e3d2a59551db10f30741",
    "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
    "jurisdiction": "вне юрисдикции государства",
    "legalTime": "2026-09-06",
    "mode": "audit",
    "programHash": "sha256:a3e04723d580dfa6923683a98901f438041f0ccd2c1274fc8e29e716c05f8ad2",
    "resultHash": "sha256:eb25232d76c5cc2bd46f28f26289ad0d5885833debc8b2c886e416f78e80857b",
    "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
    "timezone": "Asia/Qyzylorda"
  },
  "rulesApplied": [
    "urn:chem:clir:rules#AluminiumPosition",
    "urn:chem:clir:rules#AmmoniumIsCarbonateException",
    "urn:chem:clir:rules#BariumIsSulfateException",
    "urn:chem:clir:rules#CalciumPosition",
    "urn:chem:clir:rules#CalciumSulfateIsSlightlySoluble",
    "urn:chem:clir:rules#ChloridePassivatesLead",
    "urn:chem:clir:rules#CopperPosition",
    "urn:chem:clir:rules#GoldPosition",
    "urn:chem:clir:rules#HydrogenPosition",
    "urn:chem:clir:rules#IronPosition",
    "urn:chem:clir:rules#LeadIsChlorideException",
    "urn:chem:clir:rules#LeadIsSulfateException",
    "urn:chem:clir:rules#LeadPosition",
    "urn:chem:clir:rules#MagnesiumPosition",
    "urn:chem:clir:rules#MercuryIIsChlorideException",
    "urn:chem:clir:rules#MoreActiveBySmallerPosition",
    "urn:chem:clir:rules#PotassiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#PotassiumPosition",
    "urn:chem:clir:rules#SilverIsChlorideException",
    "urn:chem:clir:rules#SilverPosition",
    "urn:chem:clir:rules#SlightSolubilityDefeatsInsolubility",
    "urn:chem:clir:rules#SlightSolubilityDefeatsSolubility",
    "urn:chem:clir:rules#SodiumIsAlkaliSeriesMetal",
    "urn:chem:clir:rules#SodiumPosition",
    "urn:chem:clir:rules#StrontiumIsSulfateException",
    "urn:chem:clir:rules#SulfateOfSlightlySolubleCationIsSlightlySoluble",
    "urn:chem:clir:rules#SulfatePassivatesLead",
    "urn:chem:clir:rules#SulfatePresumedSoluble/R1",
    "urn:chem:clir:rules#ZincPosition"
  ],
  "signature": {
    "constants": {},
    "parameters": [
      {
        "labels": [],
        "name": "s",
        "type": {
          "name": "urn:chem:clir:rules#Salt"
        }
      }
    ],
    "predicate": "urn:chem:clir:rules#slightly_soluble",
    "schemaVersion": "law.answers.signature/0.1",
    "types": {
      "urn:chem:clir:rules#Salt": {
        "kind": "entity",
        "labels": [
          {
            "language": "ru",
            "status": "unofficial",
            "text": "соль, растворимость которой рассматривается"
          }
        ],
        "namespace": "urn:chem:clir:rules",
        "package": "chem.rules"
      }
    },
    "vocab": {}
  },
  "vulnerableTo": [
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "label": "сульфат предполагается растворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "sulfate_insoluble_cation(Calcium)"
      ],
      "premises": [
        {
          "premise": "salt_of(urn:entity:chem:CaSO4, Calcium, Sulfate)",
          "status": "TRUE_ONLY"
        },
        {
          "premise": "sulfate_insoluble_cation(Calcium)",
          "status": "NEITHER"
        }
      ],
      "rule": "SulfatePresumedSoluble/R2"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "label": "карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "carbonate_soluble_cation(v1)",
        "salt_of(urn:entity:chem:CaSO4, v1, Carbonate)"
      ],
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "carbonate_soluble_cation(v1)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Carbonate)",
          "status": "DEPENDS"
        }
      ],
      "rule": "CarbonatePresumedInsoluble/R2"
    },
    {
      "anchors": [
        "urn:chem:clir:rules#CHEM_ART8"
      ],
      "label": "хлорид предполагается растворимым, пока катион не оказался в перечне исключений",
      "missing": [
        "salt_of(urn:entity:chem:CaSO4, v1, Chloride)",
        "chloride_insoluble_cation(v1)"
      ],
      "premises": [
        {
          "note": "зависит от несвязанной переменной",
          "premise": "salt_of(urn:entity:chem:CaSO4, v1, Chloride)",
          "status": "DEPENDS"
        },
        {
          "note": "зависит от несвязанной переменной",
          "premise": "chloride_insoluble_cation(v1)",
          "status": "DEPENDS"
        }
      ],
      "rule": "ChloridePresumedSoluble/R2"
    }
  ],
  "whyNot": []
}

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

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

Скачать JSON ↓

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

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

Скачать JSON ↓

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

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 25,
      "fragments": [
        "urn:chem:clir:rules#CHEM_ART10",
        "urn:chem:clir:rules#CHEM_ART19",
        "urn:chem:clir:rules#CHEM_ART20",
        "urn:chem:clir:rules#CHEM_ART21",
        "urn:chem:clir:rules#CHEM_ART8",
        "urn:chem:clir:rules#CHEM_ART9"
      ],
      "jurisdiction": "none",
      "namespace": "urn:chem:clir:rules",
      "package": "chem-rules",
      "title": "Правила общей химии с исключениями — поражаемый слой на учебной доктрине — вне юрисдикции государства — доктрина — EXECUTABLE 24 §33.1"
    }
  ],
  "caseHash": "sha256:27994fe650a8c0850beb1fcd059c6a6ed120907efac4e3d2a59551db10f30741",
  "codeHash": "sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064",
  "jurisdiction": "вне юрисдикции государства",
  "legalTime": "2026-09-06",
  "mode": "audit",
  "programHash": "sha256:a3e04723d580dfa6923683a98901f438041f0ccd2c1274fc8e29e716c05f8ad2",
  "resultHash": "sha256:eb25232d76c5cc2bd46f28f26289ad0d5885833debc8b2c886e416f78e80857b",
  "rustCodeHash": "sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474",
  "timezone": "Asia/Qyzylorda"
}

evaluation SHA-256: sha256:44836bcdfcf4395f3c2139e7e5a7ab1e89853520dd3a50e95ba434c4311350b4

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

{
  "args": [
    "urn:entity:chem:CaSO4"
  ],
  "facts": [
    {
      "args": [
        "urn:entity:chem:CaSO4",
        "Calcium",
        "Sulfate"
      ],
      "predicate": "salt_of"
    },
    {
      "args": [
        "Calcium"
      ],
      "predicate": "cation_recorded"
    }
  ],
  "kind": "truth",
  "legalTime": "2026-09-06",
  "package": "chem-rules",
  "predicate": "slightly_soluble"
}

Установлено то, что учебник и говорит: сульфат кальция малорастворим. Это отдельный статус, а не оговорка к одному из двух других.

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

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

Текст ссылки

«Растворимы ли в воде хлорид цинка, карбонат бария и сульфат кальция по правилам растворимости с перечнями исключений?». Arxo Lens, по состоянию на 06.09.2026. https://lens.arxo.io/a/a_mRf6L4aEsYqZIgP9qoHseCjT. SHA-256 снимка: d5fc8d2413c587f4e6060cbff6fe362f5e3ada10d593f7c9add338b97fa0d2f8.

BibTeX

@misc{arxo-lens-a_mRf6L4aEsYqZ,
  title = {Растворимы ли в воде хлорид цинка, карбонат бария и сульфат кальция по правилам растворимости с перечнями исключений?},
  howpublished = {Arxo Lens},
  url = {https://lens.arxo.io/a/a_mRf6L4aEsYqZIgP9qoHseCjT},
  note = {по состоянию на 06.09.2026; SHA-256 d5fc8d2413c587f4e6060cbff6fe362f5e3ada10d593f7c9add338b97fa0d2f8}
}

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

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

<iframe src="https://lens.arxo.io/embed/a_mRf6L4aEsYqZIgP9qoHseCjT?lang=ru" width="100%" height="390" loading="lazy" title="Хлорид цинка, карбонат бария, сульфат кальция — Arxo Lens" style="border:0"></iframe>

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