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

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

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

At a glance

Select a result to explore its grounds

Хлорид цинка: растворим по презумпцииConditionEstablishedExecution: ComputedLogical result: Established Карбонат бария: нерастворим по обратной презумпцииConditionEstablishedExecution: ComputedLogical result: Established Сульфат кальция: растворимость не установленаConditionNot establishedExecution: ComputedLogical result: Not established Сульфат кальция: малорастворимConditionEstablishedExecution: ComputedLogical result: Established

Detailed analysis

Condition

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

Context date 2026-09-06

Calculation result

Established

Input parameters

What we are finding

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

ZnCl2

Input facts

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

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

Original data · 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"
}

Why this resultApplied rules and conditions

Derivation path3 steps

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

verified by the engine: 2 · case fact: 1 · Full graph: 98 nodes

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

Basis of this answer

Rules on the saved proof path for this answer.

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

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

Other rules in the evaluation25

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

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

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

Derived result for this query

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

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

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

Potential defeating rules

Anchors
- CHEM_ART8
Norm
хлорид предполагается растворимым, пока катион не оказался в перечне исключений
Missing
- катион входит в закрытый перечень исключений для хлоридовZn
Premises
- Premise
  соль дела образована указанными катионом и аниономZnCl2, Zn, Chloride
  Calculation status
  Established
- Premise
  катион входит в закрытый перечень исключений для хлоридовZn
  Calculation status
  Not established
Rule
ChloridePresumedSoluble/R2
Anchors
- CHEM_ART8
Norm
сульфат предполагается растворимым, пока катион не оказался в перечне исключений
Missing
- соль дела образована указанными катионом и аниономZnCl2, v1, Sulfate
- катион входит в закрытый перечень исключений для сульфатовv1
Premises
- note
  зависит от несвязанной переменной
  Premise
  соль дела образована указанными катионом и аниономZnCl2, v1, Sulfate
  Calculation status
  DEPENDS
- note
  зависит от несвязанной переменной
  Premise
  катион входит в закрытый перечень исключений для сульфатовv1
  Calculation status
  DEPENDS
Rule
SulfatePresumedSoluble/R2

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · 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"
    }
  ]
}

SourcesExcerpts: 7

Article 10

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

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

Original data · 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Качественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому."
    }
  ]
}

Article 19

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

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

Article 2

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

Original data · 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. СТЕПЕНИ ОКИСЛЕНИЯ"
    }
  ]
}

Article 20

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

Original data · 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Из правила вытеснения установлено одно исключение: щелочной металл металла из раствора соли не вытесняет, ибо прежде вступает в реакцию с водой раствора. Щелочными металлами ряда признаются калий и натрий."
    }
  ]
}

Article 21

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

Original data · 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. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ"
    }
  ]
}

Article 8

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

Original data · 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Направление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях."
    }
  ]
}

Article 9

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

Original data · 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. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли."
    }
  ]
}

Packages in the snapshot

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

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

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…)

Complete machine result · 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": []
}

Execution · JSON

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

Download JSON ↓

Display metadata

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

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 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

Original data · 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"
}

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

Condition

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

Context date 2026-09-06

Calculation result

Established

Input parameters

What we are finding

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

BaCO3

Input facts

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

Original data · 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"
}

Why this resultApplied rules and conditions

Derivation path3 steps

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

verified by the engine: 2 · case fact: 1 · Full graph: 97 nodes

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

Basis of this answer

Rules on the saved proof path for this answer.

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

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

Other rules in the evaluation25

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

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

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

Derived result for this query

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

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

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

Potential defeating rules

Anchors
- CHEM_ART9
Norm
карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений
Missing
- катион входит в закрытый перечень исключений для карбонатовBarium
Premises
- Premise
  катион входит в закрытый перечень исключений для карбонатовBarium
  Calculation status
  Not established
- Premise
  соль дела образована указанными катионом и аниономBaCO3, Barium, Carbonate
  Calculation status
  Established
Rule
CarbonatePresumedInsoluble/R2

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · 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"
    }
  ]
}

SourcesExcerpts: 7

Article 10

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

Original data · 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Качественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому."
    }
  ]
}

Article 19

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

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

Article 2

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

Original data · 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. СТЕПЕНИ ОКИСЛЕНИЯ"
    }
  ]
}

Article 20

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

Original data · 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Из правила вытеснения установлено одно исключение: щелочной металл металла из раствора соли не вытесняет, ибо прежде вступает в реакцию с водой раствора. Щелочными металлами ряда признаются калий и натрий."
    }
  ]
}

Article 21

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

Original data · 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. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ"
    }
  ]
}

Article 8

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

Original data · 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Направление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях."
    }
  ]
}

Article 9

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

Original data · 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. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли."
    }
  ]
}

Packages in the snapshot

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

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

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…)

Complete machine result · 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": []
}

Execution · JSON

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

Download JSON ↓

Display metadata

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

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 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

Original data · 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"
}

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

Condition

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

Context date 2026-09-06

Calculation result

Not established

Rule premises

Rule: все соли щелочных металлов растворимы
- катион принадлежит щелочному металлуCalciumfact neither supplied nor derived
- соль дела образована указанными катионом и аниономCaSO4, Calcium, Sulfateestablished
Rule: все соли аммония растворимы
- соль дела образована указанными катионом и аниономCaSO4, Ammonium, v1DEPENDS
Rule: карбонаты щелочных металлов и карбонат аммония растворимы
- катион входит в закрытый перечень исключений для карбонатовv1DEPENDS
- соль дела образована указанными катионом и аниономCaSO4, v1, CarbonateDEPENDS
Rule: хлорид предполагается растворимым, пока катион не оказался в перечне исключений
- соль дела образована указанными катионом и аниономCaSO4, v1, ChlorideDEPENDS
Rule: хлорид предполагается растворимым, пока катион не оказался в перечне исключений
- соль дела образована указанными катионом и аниономCaSO4, v1, ChlorideDEPENDS
- катион входит в закрытый перечень исключений для хлоридовv1DEPENDS

Input parameters

What we are finding

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

CaSO4

Input facts

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

Original data · 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"
}

Why this resultApplied rules and conditions

Derivation path1 steps

1
Query evaluation
query

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

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

Applied rules29

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

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

Derived result for this query

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

Other derived facts2

соль, растворимость которой рассматривается
s: CaSO4
Subject shared by the facts below
соль нерастворима в воде
соль малорастворима

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

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

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

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

Unmet conditions

Anchors
- CHEM_ART7
Norm
все соли щелочных металлов растворимы
Premises
- Premise
  катион принадлежит щелочному металлуCalcium
  Calculation status
  Not established
- Premise
  соль дела образована указанными катионом и аниономCaSO4, Calcium, Sulfate
  Calculation status
  Established
Rule
AlkaliMetalSaltIsSoluble
Anchors
- CHEM_ART7
Norm
все соли аммония растворимы
Premises
- note
  зависит от несвязанной переменной
  Premise
  соль дела образована указанными катионом и аниономCaSO4, Ammonium, v1
  Calculation status
  DEPENDS
Rule
AmmoniumSaltIsSoluble
Anchors
- CHEM_ART9
Norm
карбонаты щелочных металлов и карбонат аммония растворимы
Premises
- note
  зависит от несвязанной переменной
  Premise
  катион входит в закрытый перечень исключений для карбонатовv1
  Calculation status
  DEPENDS
- note
  зависит от несвязанной переменной
  Premise
  соль дела образована указанными катионом и аниономCaSO4, v1, Carbonate
  Calculation status
  DEPENDS
Rule
CarbonateExceptionIsSoluble
Anchors
- CHEM_ART8
Norm
хлорид предполагается растворимым, пока катион не оказался в перечне исключений
Premises
- note
  зависит от несвязанной переменной
  Premise
  соль дела образована указанными катионом и аниономCaSO4, v1, Chloride
  Calculation status
  DEPENDS
Rule
ChloridePresumedSoluble/R1
Anchors
- CHEM_ART8
Norm
хлорид предполагается растворимым, пока катион не оказался в перечне исключений
Premises
- note
  зависит от несвязанной переменной
  Premise
  соль дела образована указанными катионом и аниономCaSO4, v1, Chloride
  Calculation status
  DEPENDS
- note
  зависит от несвязанной переменной
  Premise
  катион входит в закрытый перечень исключений для хлоридовv1
  Calculation status
  DEPENDS
Rule
ChloridePresumedSoluble/R2

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · 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"
    }
  ]
}

SourcesExcerpts: 8

Article 10

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

Original data · 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Качественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому."
    }
  ]
}

Article 19

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

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

Article 2

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

Original data · 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. СТЕПЕНИ ОКИСЛЕНИЯ"
    }
  ]
}

Article 20

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

Original data · 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Из правила вытеснения установлено одно исключение: щелочной металл металла из раствора соли не вытесняет, ибо прежде вступает в реакцию с водой раствора. Щелочными металлами ряда признаются калий и натрий."
    }
  ]
}

Article 21

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

Original data · 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. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ"
    }
  ]
}

Article 7

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

Original data · 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Все соли щелочных металлов и все соли аммония растворимы в воде."
    }
  ]
}

Article 8

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

Original data · 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Направление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях."
    }
  ]
}

Article 9

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

Original data · 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. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли."
    }
  ]
}

Packages in the snapshot

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

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

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…)

Complete machine result · 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"
    }
  ]
}

Execution · JSON

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

Download JSON ↓

Display metadata

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

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 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

Original data · 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"
}

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

Condition

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

Context date 2026-09-06

Calculation result

Established

Input parameters

What we are finding

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

CaSO4

Input facts

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

Original data · 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"
}

Why this resultApplied rules and conditions

Derivation path4 steps

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

verified by the engine: 3 · case fact: 1 · Full graph: 100 nodes

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

Basis of this answer

Rules on the saved proof path for this answer.

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

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

Other rules in the evaluation27

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

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

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

Derived result for this query

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

Other derived facts2

соль, растворимость которой рассматривается
s: CaSO4
Subject shared by the facts below
соль нерастворима в воде
соль растворима в воде

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

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

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

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

Potential defeating rules

Anchors
- CHEM_ART8
Norm
сульфат предполагается растворимым, пока катион не оказался в перечне исключений
Missing
- катион входит в закрытый перечень исключений для сульфатовCalcium
Premises
- Premise
  соль дела образована указанными катионом и аниономCaSO4, Calcium, Sulfate
  Calculation status
  Established
- Premise
  катион входит в закрытый перечень исключений для сульфатовCalcium
  Calculation status
  Not established
Rule
SulfatePresumedSoluble/R2
Anchors
- CHEM_ART9
Norm
карбонат предполагается нерастворимым, пока катион не оказался в перечне исключений
Missing
- катион входит в закрытый перечень исключений для карбонатовv1
- соль дела образована указанными катионом и аниономCaSO4, v1, Carbonate
Premises
- note
  зависит от несвязанной переменной
  Premise
  катион входит в закрытый перечень исключений для карбонатовv1
  Calculation status
  DEPENDS
- note
  зависит от несвязанной переменной
  Premise
  соль дела образована указанными катионом и аниономCaSO4, v1, Carbonate
  Calculation status
  DEPENDS
Rule
CarbonatePresumedInsoluble/R2
Anchors
- CHEM_ART8
Norm
хлорид предполагается растворимым, пока катион не оказался в перечне исключений
Missing
- соль дела образована указанными катионом и аниономCaSO4, v1, Chloride
- катион входит в закрытый перечень исключений для хлоридовv1
Premises
- note
  зависит от несвязанной переменной
  Premise
  соль дела образована указанными катионом и аниономCaSO4, v1, Chloride
  Calculation status
  DEPENDS
- note
  зависит от несвязанной переменной
  Premise
  катион входит в закрытый перечень исключений для хлоридовv1
  Calculation status
  DEPENDS
Rule
ChloridePresumedSoluble/R2

Calendar and proof identifiers

Proof reference: mcp

Original reasoning · 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"
    }
  ]
}

SourcesExcerpts: 7

Article 10

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

Original data · 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Качественное отнесение и количественное отнесение независимы и могут разойтись. Расхождение объявляется прямо и не устраняется предпочтением одного отнесения другому."
    }
  ]
}

Article 19

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

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

Article 2

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

Original data · 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. СТЕПЕНИ ОКИСЛЕНИЯ"
    }
  ]
}

Article 20

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

Original data · 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Из правила вытеснения установлено одно исключение: щелочной металл металла из раствора соли не вытесняет, ибо прежде вступает в реакцию с водой раствора. Щелочными металлами ряда признаются калий и натрий."
    }
  ]
}

Article 21

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

Original data · 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. РАДИОАКТИВНЫЕ СМЕЩЕНИЯ"
    }
  ]
}

Article 8

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

Original data · 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Направление презумпции у названных классов — растворимость. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает растворимость соли, а не пробел в сведениях."
    }
  ]
}

Article 9

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

Original data · 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. Отсутствие в деле сведений о принадлежности катиона к перечню исключений означает нерастворимость соли."
    }
  ]
}

Packages in the snapshot

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

Technical dataFull response, parameters and checksums

Calculation status: COMPUTED

Full engine response

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…)

Complete machine result · 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": []
}

Execution · JSON

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

Download JSON ↓

Display metadata

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

Download JSON ↓

JSON · calculations, sources and exact data

{
  "acts": [
    {
      "contributed": true,
      "fragmentCount": 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

Original data · 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"
}

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

How to cite

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

Citation

“Растворимы ли в воде хлорид цинка, карбонат бария и сульфат кальция по правилам растворимости с перечнями исключений?”. Arxo Lens, as of 2026-09-06. https://lens.arxo.io/a/a_mRf6L4aEsYqZIgP9qoHseCjT. Snapshot SHA-256: d5fc8d2413c587f4e6060cbff6fe362f5e3ada10d593f7c9add338b97fa0d2f8.

BibTeX

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

Embed code

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

<iframe src="https://lens.arxo.io/embed/a_mRf6L4aEsYqZIgP9qoHseCjT?lang=en" width="100%" height="390" loading="lazy" title="Zinc chloride, barium carbonate, calcium sulfate — Arxo Lens" style="border:0"></iframe>

Anonymous visit statistics, no cookies.