{"assistant":{"explanations":[{"calculationRefs":["calc-1"],"text":"По Аррениусу кислота — то, что в водном растворе даёт катионы водорода. Дело это утверждает, и кислотность установлена."},{"calculationRefs":["calc-2"],"text":"По Брёнстеду—Лоури кислота — донор протона. HCl отдаёт протон, и кислотность установлена."},{"calculationRefs":["calc-3"],"text":"По Льюису кислота — акцептор электронной пары. Дело прямо утверждает, что HCl её не принимает, поэтому ответ не «не установлено», а «опровергнуто»."}],"origin":"assistant","summary":"Факты дела одни и те же: HCl растворяется в воде и даёт катионы водорода, отдаёт протон и не принимает электронную пару. По Аррениусу и по Брёнстеду он кислота, по Льюису — нет. Ответ меняется не из-за фактов, а из-за выбранного определения: слово «кислота» в учебнике имеет три значения, и модель требует назвать одно из них прежде, чем отвечать."},"calculations":[{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["arrhenius_acid(urn:case:chem:hcl)","bronsted_acid(urn:case:chem:hcl)","is_acid(urn:case:chem:hcl)","не lewis_acid(urn:case:chem:hcl)"],"derivedOmitted":0,"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:chem:clir:acid-base","package":"chem-acid-base","title":"Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"},{"contributed":false,"fragmentCount":23,"fragments":[],"jurisdiction":"none","namespace":"urn:openstax:clir:chemistry-acids","package":"openstax-chemistry-acids","title":"OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:152d993b71c6e6ebdf4b5172d877f2d261b74f0bbe0e33670ac824dc12b9d32c","codeHash":"sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064","jurisdiction":"правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b","resultHash":"sha256:6dced39b59a77cf2f3663c7bdf680ba2e524a4c82abc37e560a873ec1f627cb0","rustCodeHash":"sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid","urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation","urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid","urn:chem:clir:acid-base#BronstedAcidDonatesProton","urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"predicate":"urn:chem:clir:acid-base#is_acid","schemaVersion":"law.answers.signature/0.1","types":{"urn:openstax:clir:chemistry-acids#Species":{"kind":"entity","labels":[{"language":"en","status":"unofficial","text":"chemical species"},{"language":"ru","status":"unofficial","text":"химическая частица"}],"namespace":"urn:openstax:clir:chemistry-acids","package":"openstax.chemistry_acids"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:152d993b71c6e6ebdf4b5172d877f2d261b74f0bbe0e33670ac824dc12b9d32c\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[\"urn:chem:clir:acid-base#ArrheniusReading\"],\"jurisdictionProfile\":\"examples.profile/0.1.0\",\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:72341e51c5f40021fa3737ab43a73aabc4c627ea09770d0eccbeaf46662d97bb\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#species_in_question\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#dissolves_in_water\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#arrhenius_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidIsBronstedAcid:09cc31f36705305b571c3f507564d6b3a86b70feeda3a81605a76b4070df0c5b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusReading/AcidIsArrheniusAcid:a3f1952db0738f22c785d2d4dd7394c60d1a6f33db5a0a6d73d6146823440114\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#donates_proton\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:chem:clir:acid-base#BronstedAcidDonatesProton\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:openstax:clir:chemistry-acids#accepts_electron_pair\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:chem:clir:acid-base#lewis_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-5\"],\"rule\":\"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"selected\":[\"urn:chem:clir:acid-base#ArrheniusReading\"]},\"evidence\":[],\"id\":\"urn:proof:interpretation-selection\",\"kind\":\"interpretation_selection\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:ArrheniusReading/AcidIsArrheniusAcid:a3f1952db0738f22c785d2d4dd7394c60d1a6f33db5a0a6d73d6146823440114\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:d0f7d0ba977f62fadc8f4efc3c2a5f5d93142c1be2419ef8fcc1f42311a208df\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:6dced39b59a77cf2f3663c7bdf680ba2e524a4c82abc37e560a873ec1f627cb0\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:chem:clir:acid-base#is_acid\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:ed23bdf49b59b988f24f8c99c96ff1ca5634f08238a365341ff69ff3c6e8d82e","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#species_in_question"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#dissolves_in_water"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-4","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#donates_proton"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-5","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:openstax:clir:chemistry-acids#accepts_electron_pair"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"}],"context":{"decisionTime":"2026-09-06T12:00:00+05:00","knowledgeTime":"2026-09-06T12:00:00+05:00","legalTime":"2026-09-06","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":["urn:chem:clir:acid-base#ArrheniusReading"]}},"ir":{"irSha256":"sha256:0bc6312c57c770e83a78de44336311463524c27ff13a5352d1b13c083298f3a8","kind":"world_ref","nodeCount":89,"packages":[{"artifactHash":"sha256:3ab9d430f7ef46646dbab770ac088299c9d2f5694bb819bc6202f53f5578f3b3","namespace":"urn:chem:clir:acid-base","package":"chem-acid-base","semanticHash":"sha256:f1a9bd47d51ba8beffa928b856969df9d1d27f3e596a141fa0b8746294bcd1d7"},{"artifactHash":"sha256:7e32b669f218a77d04ad65e10e3637e1f7f6e14119fc6f89f2b24c31ffbc05e6","namespace":"urn:openstax:clir:chemistry-acids","package":"openstax-chemistry-acids","semanticHash":"sha256:74688db904093c2ca7e3ede9264d25dc2ddb764673cf24be5a295e6232bafbb4"}],"programHash":"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:ca0b5b2aca0f08dd7fbbd3648d1812a835998091184deed8c78880aa85282988"},"id":"calc-1","kind":"truth","label":"Прочтение Аррениуса","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:ca0b5b2aca0f08dd7fbbd3648d1812a835998091184deed8c78880aa85282988"},"steps":[{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#dissolves_in_water"},"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation"},"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#arrhenius_acid"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#arrhenius_acid"},"id":"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation","strength":"strict","substitution":{"v0":{"id":"urn:case:chem:hcl","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"openstax.chemistry_acids#Species"}}]},{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"id":"urn:proof:apply:ArrheniusReading/AcidIsArrheniusAcid:a3f1952db0738f22c785d2d4dd7394c60d1a6f33db5a0a6d73d6146823440114","kind":"rule_application","premises":["urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37"],"rule":"urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid","strength":"strict","substitution":{"v0":{"id":"urn:case:chem:hcl","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"openstax.chemistry_acids#Species"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:ArrheniusReading/AcidIsArrheniusAcid:a3f1952db0738f22c785d2d4dd7394c60d1a6f33db5a0a6d73d6146823440114"],"trust":"engine"}],"symbols":[{"id":"urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"the Brønsted-Lowry description is more general: every Arrhenius acid is a Brønsted-Lowry acid"},{"language":"ru","status":"unofficial","text":"определение Брёнстеда—Лоури общее: всякая кислота Аррениуса — кислота Брёнстеда"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"a compound that dissolves in water to yield hydrogen cations is an Arrhenius acid"},{"language":"ru","status":"unofficial","text":"растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#ArrheniusReading","kind":"interpretation","labels":[{"language":"en","status":"unofficial","text":"Arrhenius reading: an acid yields hydrogen cations in water"},{"language":"ru","status":"unofficial","text":"прочтение Аррениуса: кислота — то, что даёт в воде катионы водорода"}],"package":"urn:chem:clir:acid-base"},{"id":"urn:chem:clir:acid-base#ArrheniusReading/AcidIsArrheniusAcid","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"under the Arrhenius reading, an acid is an Arrhenius acid"},{"language":"ru","status":"unofficial","text":"по прочтению Аррениуса кислота — кислота Аррениуса"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#BronstedAcidDonatesProton","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"a compound that donates a proton is a Brønsted-Lowry acid"},{"language":"ru","status":"unofficial","text":"отдающая протон частица — кислота Брёнстеда—Лоури"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"a presented species whose electron-pair acceptance is refuted is not a Lewis acid"},{"language":"ru","status":"unofficial","text":"предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#arrhenius_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"Arrhenius acid: yields hydrogen cations in water"},{"language":"ru","status":"unofficial","text":"кислота по Аррениусу: в воде даёт катионы водорода"}],"name":"arrhenius_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#arrhenius_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:chem:clir:acid-base#bronsted_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"Brønsted-Lowry acid: proton donor"},{"language":"ru","status":"unofficial","text":"кислота по Брёнстеду—Лоури: донор протона"}],"name":"bronsted_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#bronsted_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:chem:clir:acid-base#is_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species is an acid under the selected reading"},{"language":"ru","status":"unofficial","text":"частица признаётся кислотой по выбранному прочтению"}],"name":"is_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#is_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:chem:clir:acid-base#lewis_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"Lewis acid: electron-pair acceptor"},{"language":"ru","status":"unofficial","text":"кислота по Льюису: акцептор электронной пары"}],"name":"lewis_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#lewis_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#Species","kind":"type_decl","labels":[{"language":"en","status":"unofficial","text":"chemical species"},{"language":"ru","status":"unofficial","text":"химическая частица"}],"name":"Species","package":"urn:openstax:clir:chemistry-acids"},{"id":"urn:openstax:clir:chemistry-acids#accepts_electron_pair","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species accepts an electron pair forming a coordinate covalent bond"},{"language":"ru","status":"unofficial","text":"частица принимает пару электронов и образует координационную связь"}],"name":"accepts_electron_pair","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#accepts_electron_pair/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#dissolves_in_water","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species dissolves in water"},{"language":"ru","status":"unofficial","text":"частица растворяется в воде"}],"name":"dissolves_in_water","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#dissolves_in_water/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#donates_proton","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species donates a proton to another compound"},{"language":"ru","status":"unofficial","text":"частица отдаёт протон другой частице"}],"name":"donates_proton","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#donates_proton/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#species_in_question","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species is presented by the case as the subject of the question"},{"language":"ru","status":"unofficial","text":"частица предъявлена делом как предмет вопроса"}],"name":"species_in_question","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#species_in_question/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"on dissolving in water the species yields hydrogen cations"},{"language":"ru","status":"unofficial","text":"при растворении в воде частица даёт катион водорода"}],"name":"yields_hydrogen_cation","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:chem:clir:acid-base","package":"chem-acid-base","title":"Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"},{"contributed":false,"fragmentCount":23,"fragments":[],"jurisdiction":"none","namespace":"urn:openstax:clir:chemistry-acids","package":"openstax-chemistry-acids","title":"OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:152d993b71c6e6ebdf4b5172d877f2d261b74f0bbe0e33670ac824dc12b9d32c","codeHash":"sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064","jurisdiction":"правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b","resultHash":"sha256:6dced39b59a77cf2f3663c7bdf680ba2e524a4c82abc37e560a873ec1f627cb0","rustCodeHash":"sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:chem:hcl"],"facts":[{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"species_in_question"},{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"dissolves_in_water"},{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"yields_hydrogen_cation"},{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"donates_proton"},{"args":["urn:case:chem:hcl"],"negated":true,"package":"openstax-chemistry-acids","predicate":"accepts_electron_pair"}],"kind":"truth","legalTime":"2026-09-06","package":"chem-acid-base","predicate":"is_acid","selectedInterpretations":["urn:chem:clir:acid-base#ArrheniusReading"]},"sources":[],"text":"is_acid: **TRUE_ONLY** — установлено\nВыведено правом: arrhenius_acid(urn:case:chem:hcl); bronsted_acid(urn:case:chem:hcl); is_acid(urn:case:chem:hcl); не lewis_acid(urn:case:chem:hcl)\nПрименены правила: ArrheniusAcidIsBronstedAcid, ArrheniusAcidYieldsHydrogenCation, ArrheniusReading/AcidIsArrheniusAcid, BronstedAcidDonatesProton, NotLewisAcidWithoutAcceptance\nПраво (правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан): Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина (programHash sha256:ab5a9045fc28…)\nВместе с актами: OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["arrhenius_acid(urn:case:chem:hcl)","bronsted_acid(urn:case:chem:hcl)","is_acid(urn:case:chem:hcl)","не lewis_acid(urn:case:chem:hcl)"],"derivedOmitted":0,"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:chem:clir:acid-base","package":"chem-acid-base","title":"Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"},{"contributed":false,"fragmentCount":23,"fragments":[],"jurisdiction":"none","namespace":"urn:openstax:clir:chemistry-acids","package":"openstax-chemistry-acids","title":"OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:2e507608678574912bfe7ddbe8225c3fb2dc0ec1ae5b60814c92defc79049914","codeHash":"sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064","jurisdiction":"правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b","resultHash":"sha256:b3e0301149ece52156cd7f4308f92402eea74138e01fb0fa1759c658f91b6eca","rustCodeHash":"sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid","urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation","urn:chem:clir:acid-base#BronstedAcidDonatesProton","urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid","urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"predicate":"urn:chem:clir:acid-base#is_acid","schemaVersion":"law.answers.signature/0.1","types":{"urn:openstax:clir:chemistry-acids#Species":{"kind":"entity","labels":[{"language":"en","status":"unofficial","text":"chemical species"},{"language":"ru","status":"unofficial","text":"химическая частица"}],"namespace":"urn:openstax:clir:chemistry-acids","package":"openstax.chemistry_acids"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:2e507608678574912bfe7ddbe8225c3fb2dc0ec1ae5b60814c92defc79049914\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[\"urn:chem:clir:acid-base#BronstedReading\"],\"jurisdictionProfile\":\"examples.profile/0.1.0\",\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:e0f5987f237c52ee0609531083f8451a939f47ebaccb543ed7bbd0e7983ce428\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#species_in_question\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#dissolves_in_water\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#arrhenius_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidIsBronstedAcid:09cc31f36705305b571c3f507564d6b3a86b70feeda3a81605a76b4070df0c5b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#donates_proton\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:chem:clir:acid-base#BronstedAcidDonatesProton\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:BronstedReading/AcidIsBronstedAcid:c7aebc30aa55a5600e0c5896b62ef8ef836bbfa93c5eadca56c90fbab8930763\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98\"],\"rule\":\"urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:openstax:clir:chemistry-acids#accepts_electron_pair\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:chem:clir:acid-base#lewis_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-5\"],\"rule\":\"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"selected\":[\"urn:chem:clir:acid-base#BronstedReading\"]},\"evidence\":[],\"id\":\"urn:proof:interpretation-selection\",\"kind\":\"interpretation_selection\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:BronstedReading/AcidIsBronstedAcid:c7aebc30aa55a5600e0c5896b62ef8ef836bbfa93c5eadca56c90fbab8930763\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:dc61b699d5a4836c9bd21b1e75c4d4d9cdebfddcfe7400842304b0736a64a7b8\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:b3e0301149ece52156cd7f4308f92402eea74138e01fb0fa1759c658f91b6eca\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:chem:clir:acid-base#is_acid\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:0a3c516ac3602cf7328244203d414bd5a5e288c11a0eca9035e7491d10259c2c","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#species_in_question"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#dissolves_in_water"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-4","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#donates_proton"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-5","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:openstax:clir:chemistry-acids#accepts_electron_pair"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"}],"context":{"decisionTime":"2026-09-06T12:00:00+05:00","knowledgeTime":"2026-09-06T12:00:00+05:00","legalTime":"2026-09-06","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":["urn:chem:clir:acid-base#BronstedReading"]}},"ir":{"irSha256":"sha256:0bc6312c57c770e83a78de44336311463524c27ff13a5352d1b13c083298f3a8","kind":"world_ref","nodeCount":89,"packages":[{"artifactHash":"sha256:3ab9d430f7ef46646dbab770ac088299c9d2f5694bb819bc6202f53f5578f3b3","namespace":"urn:chem:clir:acid-base","package":"chem-acid-base","semanticHash":"sha256:f1a9bd47d51ba8beffa928b856969df9d1d27f3e596a141fa0b8746294bcd1d7"},{"artifactHash":"sha256:7e32b669f218a77d04ad65e10e3637e1f7f6e14119fc6f89f2b24c31ffbc05e6","namespace":"urn:openstax:clir:chemistry-acids","package":"openstax-chemistry-acids","semanticHash":"sha256:74688db904093c2ca7e3ede9264d25dc2ddb764673cf24be5a295e6232bafbb4"}],"programHash":"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:35a5eb79507ff8544aec69f9268ffd9a79bbf7eaac6f2822520609c88e0de4e7"},"id":"calc-2","kind":"truth","label":"Прочтение Брёнстеда—Лоури","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:35a5eb79507ff8544aec69f9268ffd9a79bbf7eaac6f2822520609c88e0de4e7"},"steps":[{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#donates_proton"},"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#bronsted_acid"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#bronsted_acid"},"id":"urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-4"],"rule":"urn:chem:clir:acid-base#BronstedAcidDonatesProton","strength":"strict","substitution":{"v0":{"id":"urn:case:chem:hcl","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"openstax.chemistry_acids#Species"}}]},{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"id":"urn:proof:apply:BronstedReading/AcidIsBronstedAcid:c7aebc30aa55a5600e0c5896b62ef8ef836bbfa93c5eadca56c90fbab8930763","kind":"rule_application","premises":["urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98"],"rule":"urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid","strength":"strict","substitution":{"v0":{"id":"urn:case:chem:hcl","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"openstax.chemistry_acids#Species"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:BronstedReading/AcidIsBronstedAcid:c7aebc30aa55a5600e0c5896b62ef8ef836bbfa93c5eadca56c90fbab8930763"],"trust":"engine"}],"symbols":[{"id":"urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"the Brønsted-Lowry description is more general: every Arrhenius acid is a Brønsted-Lowry acid"},{"language":"ru","status":"unofficial","text":"определение Брёнстеда—Лоури общее: всякая кислота Аррениуса — кислота Брёнстеда"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"a compound that dissolves in water to yield hydrogen cations is an Arrhenius acid"},{"language":"ru","status":"unofficial","text":"растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#BronstedAcidDonatesProton","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"a compound that donates a proton is a Brønsted-Lowry acid"},{"language":"ru","status":"unofficial","text":"отдающая протон частица — кислота Брёнстеда—Лоури"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#BronstedReading","kind":"interpretation","labels":[{"language":"en","status":"unofficial","text":"Brønsted-Lowry reading: an acid is a proton donor"},{"language":"ru","status":"unofficial","text":"прочтение Брёнстеда—Лоури: кислота — донор протона"}],"package":"urn:chem:clir:acid-base"},{"id":"urn:chem:clir:acid-base#BronstedReading/AcidIsBronstedAcid","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"under the Brønsted-Lowry reading, an acid is a Brønsted-Lowry acid"},{"language":"ru","status":"unofficial","text":"по прочтению Брёнстеда кислота — кислота Брёнстеда"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"a presented species whose electron-pair acceptance is refuted is not a Lewis acid"},{"language":"ru","status":"unofficial","text":"предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#arrhenius_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"Arrhenius acid: yields hydrogen cations in water"},{"language":"ru","status":"unofficial","text":"кислота по Аррениусу: в воде даёт катионы водорода"}],"name":"arrhenius_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#arrhenius_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:chem:clir:acid-base#bronsted_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"Brønsted-Lowry acid: proton donor"},{"language":"ru","status":"unofficial","text":"кислота по Брёнстеду—Лоури: донор протона"}],"name":"bronsted_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#bronsted_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:chem:clir:acid-base#is_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species is an acid under the selected reading"},{"language":"ru","status":"unofficial","text":"частица признаётся кислотой по выбранному прочтению"}],"name":"is_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#is_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:chem:clir:acid-base#lewis_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"Lewis acid: electron-pair acceptor"},{"language":"ru","status":"unofficial","text":"кислота по Льюису: акцептор электронной пары"}],"name":"lewis_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#lewis_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#Species","kind":"type_decl","labels":[{"language":"en","status":"unofficial","text":"chemical species"},{"language":"ru","status":"unofficial","text":"химическая частица"}],"name":"Species","package":"urn:openstax:clir:chemistry-acids"},{"id":"urn:openstax:clir:chemistry-acids#accepts_electron_pair","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species accepts an electron pair forming a coordinate covalent bond"},{"language":"ru","status":"unofficial","text":"частица принимает пару электронов и образует координационную связь"}],"name":"accepts_electron_pair","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#accepts_electron_pair/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#dissolves_in_water","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species dissolves in water"},{"language":"ru","status":"unofficial","text":"частица растворяется в воде"}],"name":"dissolves_in_water","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#dissolves_in_water/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#donates_proton","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species donates a proton to another compound"},{"language":"ru","status":"unofficial","text":"частица отдаёт протон другой частице"}],"name":"donates_proton","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#donates_proton/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#species_in_question","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species is presented by the case as the subject of the question"},{"language":"ru","status":"unofficial","text":"частица предъявлена делом как предмет вопроса"}],"name":"species_in_question","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#species_in_question/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"on dissolving in water the species yields hydrogen cations"},{"language":"ru","status":"unofficial","text":"при растворении в воде частица даёт катион водорода"}],"name":"yields_hydrogen_cation","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:chem:clir:acid-base","package":"chem-acid-base","title":"Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"},{"contributed":false,"fragmentCount":23,"fragments":[],"jurisdiction":"none","namespace":"urn:openstax:clir:chemistry-acids","package":"openstax-chemistry-acids","title":"OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:2e507608678574912bfe7ddbe8225c3fb2dc0ec1ae5b60814c92defc79049914","codeHash":"sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064","jurisdiction":"правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b","resultHash":"sha256:b3e0301149ece52156cd7f4308f92402eea74138e01fb0fa1759c658f91b6eca","rustCodeHash":"sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:chem:hcl"],"facts":[{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"species_in_question"},{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"dissolves_in_water"},{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"yields_hydrogen_cation"},{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"donates_proton"},{"args":["urn:case:chem:hcl"],"negated":true,"package":"openstax-chemistry-acids","predicate":"accepts_electron_pair"}],"kind":"truth","legalTime":"2026-09-06","package":"chem-acid-base","predicate":"is_acid","selectedInterpretations":["urn:chem:clir:acid-base#BronstedReading"]},"sources":[],"text":"is_acid: **TRUE_ONLY** — установлено\nВыведено правом: arrhenius_acid(urn:case:chem:hcl); bronsted_acid(urn:case:chem:hcl); is_acid(urn:case:chem:hcl); не lewis_acid(urn:case:chem:hcl)\nПрименены правила: ArrheniusAcidIsBronstedAcid, ArrheniusAcidYieldsHydrogenCation, BronstedAcidDonatesProton, BronstedReading/AcidIsBronstedAcid, NotLewisAcidWithoutAcceptance\nПраво (правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан): Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина (programHash sha256:ab5a9045fc28…)\nВместе с актами: OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"опровергнуто","missingInputs":[],"truthStatus":"FALSE_ONLY"},"closedEditionRules":[],"derived":["arrhenius_acid(urn:case:chem:hcl)","bronsted_acid(urn:case:chem:hcl)","не lewis_acid(urn:case:chem:hcl)","не is_acid(urn:case:chem:hcl)"],"derivedOmitted":0,"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:chem:clir:acid-base","package":"chem-acid-base","title":"Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"},{"contributed":false,"fragmentCount":23,"fragments":[],"jurisdiction":"none","namespace":"urn:openstax:clir:chemistry-acids","package":"openstax-chemistry-acids","title":"OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:25a8ad89f49c8e7644145365c808979a88b639b29e4e8a24cd689d84ea17ac14","codeHash":"sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064","jurisdiction":"правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b","resultHash":"sha256:0ddf4814300565ac0d33219fd217ef894fdbcb3a79eca49349d2f44f5bee4fbb","rustCodeHash":"sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid","urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation","urn:chem:clir:acid-base#BronstedAcidDonatesProton","urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis","urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"predicate":"urn:chem:clir:acid-base#is_acid","schemaVersion":"law.answers.signature/0.1","types":{"urn:openstax:clir:chemistry-acids#Species":{"kind":"entity","labels":[{"language":"en","status":"unofficial","text":"chemical species"},{"language":"ru","status":"unofficial","text":"химическая частица"}],"namespace":"urn:openstax:clir:chemistry-acids","package":"openstax.chemistry_acids"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:25a8ad89f49c8e7644145365c808979a88b639b29e4e8a24cd689d84ea17ac14\",\"decisionTime\":\"2026-09-06T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[\"urn:chem:clir:acid-base#LewisReading\"],\"jurisdictionProfile\":\"examples.profile/0.1.0\",\"knowledgeTime\":\"2026-09-06T12:00:00+05:00\",\"legalTime\":\"2026-09-06\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:5de61fb63225060f4cdf95250231cbea0adf3e6f5a200694073317df28663263\",\"semantics\":\"law.core/0.1.0\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#species_in_question\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#dissolves_in_water\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#arrhenius_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:ArrheniusAcidIsBronstedAcid:09cc31f36705305b571c3f507564d6b3a86b70feeda3a81605a76b4070df0c5b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:ArrheniusAcidYieldsHydrogenCation:db11cb4ff3da746ab3512f56385ead084ab533fe1899519a7e7670166cffdf37\"],\"rule\":\"urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:openstax:clir:chemistry-acids#donates_proton\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#bronsted_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:BronstedAcidDonatesProton:03517306d1e1b0aa06c69a585c22d079acebef088aa125b6861c41baee216e98\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:chem:clir:acid-base#BronstedAcidDonatesProton\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:openstax:clir:chemistry-acids#accepts_electron_pair\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:chem:clir:acid-base#lewis_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-5\"],\"rule\":\"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"negative\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"evidence\":[],\"id\":\"urn:proof:apply:LewisReading/NotAcidUnderLewis:74b936a829a91e77f005b91cb39885f73f5871e34aa344dac215e397e2c20cc3\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9\",\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"selected\":[\"urn:chem:clir:acid-base#LewisReading\"]},\"evidence\":[],\"id\":\"urn:proof:interpretation-selection\",\"kind\":\"interpretation_selection\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:case:chem:hcl\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:chem:clir:acid-base#is_acid\"},\"truthStatus\":\"FALSE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:LewisReading/NotAcidUnderLewis:74b936a829a91e77f005b91cb39885f73f5871e34aa344dac215e397e2c20cc3\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:e8675e1ec4424563204dac42b149f6476e972f815f8acc35b3ff20fd645fa49b\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:0ddf4814300565ac0d33219fd217ef894fdbcb3a79eca49349d2f44f5bee4fbb\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:chem:clir:acid-base#is_acid\",\"truthStatus\":\"FALSE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.1\"}","evaluationSha256":"sha256:a4e977a694f2a866ab4a6a40e0c378eff7a68d90e54fd082d246db363f406b71","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#species_in_question"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#dissolves_in_water"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-4","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#donates_proton"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-5","kind":"assertion","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:openstax:clir:chemistry-acids#accepts_electron_pair"},"origin":"case_input","package":"urn:openstax:clir:chemistry-acids"}],"context":{"decisionTime":"2026-09-06T12:00:00+05:00","knowledgeTime":"2026-09-06T12:00:00+05:00","legalTime":"2026-09-06","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":["urn:chem:clir:acid-base#LewisReading"]}},"ir":{"irSha256":"sha256:0bc6312c57c770e83a78de44336311463524c27ff13a5352d1b13c083298f3a8","kind":"world_ref","nodeCount":89,"packages":[{"artifactHash":"sha256:3ab9d430f7ef46646dbab770ac088299c9d2f5694bb819bc6202f53f5578f3b3","namespace":"urn:chem:clir:acid-base","package":"chem-acid-base","semanticHash":"sha256:f1a9bd47d51ba8beffa928b856969df9d1d27f3e596a141fa0b8746294bcd1d7"},{"artifactHash":"sha256:7e32b669f218a77d04ad65e10e3637e1f7f6e14119fc6f89f2b24c31ffbc05e6","namespace":"urn:openstax:clir:chemistry-acids","package":"openstax-chemistry-acids","semanticHash":"sha256:74688db904093c2ca7e3ede9264d25dc2ddb764673cf24be5a295e6232bafbb4"}],"programHash":"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.1.0"},"requestCanonicalSha256":"sha256:d697bb94ce7795b7043f8ba72167529c77c7268c70ca2e77dee93b8b29a9f34d"},"id":"calc-3","kind":"truth","label":"Прочтение Льюиса","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:d697bb94ce7795b7043f8ba72167529c77c7268c70ca2e77dee93b8b29a9f34d"},"steps":[{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:openstax:clir:chemistry-acids#species_in_question"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:openstax:clir:chemistry-acids#accepts_electron_pair"},"id":"urn:proof:assert:urn:mcp:case#fact-5","kind":"assertion","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:chem:clir:acid-base#lewis_acid"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"negative","predicate":"urn:chem:clir:acid-base#lewis_acid"},"id":"urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-5"],"rule":"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance","strength":"strict","substitution":{"v0":{"id":"urn:case:chem:hcl","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"openstax.chemistry_acids#Species"}}]},{"conclusion":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"negative","predicate":"urn:chem:clir:acid-base#is_acid"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"negative","predicate":"urn:chem:clir:acid-base#is_acid"},"id":"urn:proof:apply:LewisReading/NotAcidUnderLewis:74b936a829a91e77f005b91cb39885f73f5871e34aa344dac215e397e2c20cc3","kind":"rule_application","premises":["urn:proof:apply:NotLewisAcidWithoutAcceptance:04f50aa546881b6c1b6841f8b35baa24831a17fe9aba58335c67d653b1410ae9","urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis","strength":"strict","substitution":{"v0":{"id":"urn:case:chem:hcl","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"openstax.chemistry_acids#Species"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:case:chem:hcl","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:chem:clir:acid-base#is_acid"},"truthStatus":"FALSE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:LewisReading/NotAcidUnderLewis:74b936a829a91e77f005b91cb39885f73f5871e34aa344dac215e397e2c20cc3"],"trust":"engine"}],"symbols":[{"id":"urn:chem:clir:acid-base#ArrheniusAcidIsBronstedAcid","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"the Brønsted-Lowry description is more general: every Arrhenius acid is a Brønsted-Lowry acid"},{"language":"ru","status":"unofficial","text":"определение Брёнстеда—Лоури общее: всякая кислота Аррениуса — кислота Брёнстеда"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#ArrheniusAcidYieldsHydrogenCation","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"a compound that dissolves in water to yield hydrogen cations is an Arrhenius acid"},{"language":"ru","status":"unofficial","text":"растворяющаяся в воде частица, дающая катионы водорода, — кислота Аррениуса"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#BronstedAcidDonatesProton","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"a compound that donates a proton is a Brønsted-Lowry acid"},{"language":"ru","status":"unofficial","text":"отдающая протон частица — кислота Брёнстеда—Лоури"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#LewisReading","kind":"interpretation","labels":[{"language":"en","status":"unofficial","text":"Lewis reading: an acid is an electron-pair acceptor"},{"language":"ru","status":"unofficial","text":"прочтение Льюиса: кислота — акцептор электронной пары"}],"package":"urn:chem:clir:acid-base"},{"id":"urn:chem:clir:acid-base#LewisReading/NotAcidUnderLewis","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"under the Lewis reading, a refuted Lewis acid is not an acid"},{"language":"ru","status":"unofficial","text":"по прочтению Льюиса опровергнутая кислотность Льюиса опровергает кислотность"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#NotLewisAcidWithoutAcceptance","kind":"rule","labels":[{"language":"en","status":"unofficial","text":"a presented species whose electron-pair acceptance is refuted is not a Lewis acid"},{"language":"ru","status":"unofficial","text":"предъявленная частица с опровергнутой акцепторностью пары — не кислота Льюиса"}],"package":"urn:chem:clir:acid-base","strength":"strict"},{"id":"urn:chem:clir:acid-base#arrhenius_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"Arrhenius acid: yields hydrogen cations in water"},{"language":"ru","status":"unofficial","text":"кислота по Аррениусу: в воде даёт катионы водорода"}],"name":"arrhenius_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#arrhenius_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:chem:clir:acid-base#bronsted_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"Brønsted-Lowry acid: proton donor"},{"language":"ru","status":"unofficial","text":"кислота по Брёнстеду—Лоури: донор протона"}],"name":"bronsted_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#bronsted_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:chem:clir:acid-base#is_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species is an acid under the selected reading"},{"language":"ru","status":"unofficial","text":"частица признаётся кислотой по выбранному прочтению"}],"name":"is_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#is_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:chem:clir:acid-base#lewis_acid","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"Lewis acid: electron-pair acceptor"},{"language":"ru","status":"unofficial","text":"кислота по Льюису: акцептор электронной пары"}],"name":"lewis_acid","package":"urn:chem:clir:acid-base","parameters":[{"id":"urn:chem:clir:acid-base#lewis_acid/arg/s","labels":[],"name":"s","type":{"name":"openstax.chemistry_acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#Species","kind":"type_decl","labels":[{"language":"en","status":"unofficial","text":"chemical species"},{"language":"ru","status":"unofficial","text":"химическая частица"}],"name":"Species","package":"urn:openstax:clir:chemistry-acids"},{"id":"urn:openstax:clir:chemistry-acids#accepts_electron_pair","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species accepts an electron pair forming a coordinate covalent bond"},{"language":"ru","status":"unofficial","text":"частица принимает пару электронов и образует координационную связь"}],"name":"accepts_electron_pair","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#accepts_electron_pair/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#dissolves_in_water","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species dissolves in water"},{"language":"ru","status":"unofficial","text":"частица растворяется в воде"}],"name":"dissolves_in_water","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#dissolves_in_water/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#donates_proton","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species donates a proton to another compound"},{"language":"ru","status":"unofficial","text":"частица отдаёт протон другой частице"}],"name":"donates_proton","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#donates_proton/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#species_in_question","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"the species is presented by the case as the subject of the question"},{"language":"ru","status":"unofficial","text":"частица предъявлена делом как предмет вопроса"}],"name":"species_in_question","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#species_in_question/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"},{"id":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation","kind":"symbol_decl","labels":[{"language":"en","status":"unofficial","text":"on dissolving in water the species yields hydrogen cations"},{"language":"ru","status":"unofficial","text":"при растворении в воде частица даёт катион водорода"}],"name":"yields_hydrogen_cation","package":"urn:openstax:clir:chemistry-acids","parameters":[{"id":"urn:openstax:clir:chemistry-acids#yields_hydrogen_cation/arg/s","labels":[],"name":"s","type":{"name":"urn:openstax:clir:chemistry-acids#Species"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":0,"fragments":[],"jurisdiction":null,"namespace":"urn:chem:clir:acid-base","package":"chem-acid-base","title":"Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина"},{"contributed":false,"fragmentCount":23,"fragments":[],"jurisdiction":"none","namespace":"urn:openstax:clir:chemistry-acids","package":"openstax-chemistry-acids","title":"OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:25a8ad89f49c8e7644145365c808979a88b639b29e4e8a24cd689d84ea17ac14","codeHash":"sha256:e15010f5d380ca41876098bbfb889c90716b9f5dc8973165a2a72df02161b064","jurisdiction":"правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан","legalTime":"2026-09-06","mode":"audit","programHash":"sha256:ab5a9045fc28f2ba3422726fa62e1081af930cee62d8b64c3be74a1369b5b19b","resultHash":"sha256:0ddf4814300565ac0d33219fd217ef894fdbcb3a79eca49349d2f44f5bee4fbb","rustCodeHash":"sha256:c172d647ee1fb2dd60ac4bea8c2dcd98e5b9bcf7c1a3ae2623f63a0ccf716474","timezone":"Asia/Qyzylorda"},"request":{"args":["urn:case:chem:hcl"],"facts":[{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"species_in_question"},{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"dissolves_in_water"},{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"yields_hydrogen_cation"},{"args":["urn:case:chem:hcl"],"package":"openstax-chemistry-acids","predicate":"donates_proton"},{"args":["urn:case:chem:hcl"],"negated":true,"package":"openstax-chemistry-acids","predicate":"accepts_electron_pair"}],"kind":"truth","legalTime":"2026-09-06","package":"chem-acid-base","predicate":"is_acid","selectedInterpretations":["urn:chem:clir:acid-base#LewisReading"]},"sources":[],"text":"is_acid: **FALSE_ONLY** — опровергнуто\nВыведено правом: arrhenius_acid(urn:case:chem:hcl); bronsted_acid(urn:case:chem:hcl); не lewis_acid(urn:case:chem:hcl); не is_acid(urn:case:chem:hcl)\nПрименены правила: ArrheniusAcidIsBronstedAcid, ArrheniusAcidYieldsHydrogenCation, BronstedAcidDonatesProton, LewisReading/NotAcidUnderLewis, NotLewisAcidWithoutAcceptance\nПраво (правопорядок не объявлен; основная юрисдикция корпуса — Республика Казахстан): Кислота и основание: три определения одного термина прочтениями §152 — Аррениус, Брёнстед—Лоури, Льюис — доктрина (programHash sha256:ab5a9045fc28…)\nВместе с актами: OpenStax Chemistry 2e, гл. 14 и §15.2: словарь частиц и ролей кислотно-основного равновесия — вне юрисдикции государства — доктрина"}],"language":"ru","question":{"origin":"user","text":"Является ли хлороводород HCl кислотой? Один и тот же случай по трём определениям: Аррениуса, Брёнстеда—Лоури и Льюиса."},"schemaVersion":"law.answers.document/0.1"}