{"assistant":{"explanations":[{"calculationRefs":["calc-1"],"text":"Выборка фенотипа даёт единственное значение: группа A."},{"calculationRefs":["calc-2"],"text":"Презумпция сработала: по сообщённой группе O генотип i/i считается установленным, пока не опровергнут."},{"calculationRefs":["calc-3"],"text":"Дефитер о бомбейском фенотипе отменяет презумпцию, и вывод о генотипе становится неустановленным. Это не «генотип другой», а «по фенотипу судить нельзя»."},{"calculationRefs":["calc-4"],"text":"Мать не может передать Iᴬ или Iᴮ, а ребёнок AB получил оба, поэтому отцовство исключено по модели."}],"origin":"assistant","summary":"Аллель Iᴬ доминирует над i, поэтому генотип Iᴬ/i даёт группу A. Группа O у матери лишь презюмирует генотип i/i: установленный бомбейский фенотип hh отменяет презумпцию, потому что при hh антигены AB0 не экспрессируются независимо от аллелей. Мать i/i и ребёнок AB исключают любого предполагаемого отца в модели AB0, но это вывод об исключении, а не установление отцовства в остальных случаях."},"calculations":[{"answer":{"answer":{"count":1,"elements":[{"id":"urn:bio:clir:abo#GroupA","kind":"entity_ref"}],"evaluationStatus":"COMPUTED","kind":"COLLECTION","missingInputs":[],"variable":"v0"},"closedEditionRules":[],"derived":["abo_phenotype(Ребёнок, GroupA)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#IA","kind":"entity_ref"},{"id":"urn:bio:clir:abo#i","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_genotype"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupA","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"evidence":[],"id":"urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:bio:clir:abo#IAiIsA","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"count":1},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd"],"sourceAnchors":[]},{"attributes":{"contentHash":"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c","language":"en","legalTime":"2026-09-01","policy":"legal_time","rejectedCandidates":[],"work":"urn:bio:clir:abo#ROGAEV_2009"},"conclusion":{"edition":"urn:bio:clir:abo#ROGAEV_2009_EN","reference":"urn:bio:clir:abo#ROGAEV_2009_STUDY"},"evidence":[],"id":"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb","kind":"source_resolution","premises":[],"sourceAnchors":["urn:bio:clir:abo#ROGAEV_2009_STUDY"]}],"proofHash":"sha256:39b42c887e974fc30f0cb4c86f9b51e25ae9da93d244e3605ccd4b3ca9adab58","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:4d563279177ceee6647619bdf342b9046c3e8e206ed0ed967d6b535ac4abb42a","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":6,"fragments":["urn:bio:clir:abo#ABO_ART1"],"jurisdiction":"none","namespace":"urn:bio:clir:abo","package":"bio-abo","title":"ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:8b19d550496a5adbfe53849bbbc7148f7e00a5c73c30685c86f854fa7589a09a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42","resultHash":"sha256:4d563279177ceee6647619bdf342b9046c3e8e206ed0ed967d6b535ac4abb42a","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:bio:clir:abo#IAiIsA"],"signature":{"constants":{"urn:bio:clir:abo#GroupA":{"labels":[{"language":"ru","status":"unofficial","text":"группа A"}],"type":"urn:bio:clir:abo#ABOPhenotype","value":{"id":"urn:bio:clir:abo#GroupA","kind":"entity_ref"}}},"element":{"index":1,"type":{"name":"urn:bio:clir:abo#ABOPhenotype"}},"parameters":[{"labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}},{"labels":[],"name":"group","type":{"name":"urn:bio:clir:abo#ABOPhenotype"}}],"predicate":"urn:bio:clir:abo#abo_phenotype","schemaVersion":"law.answers.signature/0.1","types":{"urn:bio:clir:abo#ABOPhenotype":{"kind":"entity","labels":[{"language":"ru","status":"unofficial","text":"фенотип ABO"}],"namespace":"urn:bio:clir:abo","package":"bio.abo"},"urn:bio:clir:abo#Person":{"kind":"entity","labels":[{"language":"ru","status":"unofficial","text":"лицо в деле"}],"namespace":"urn:bio:clir:abo","package":"bio.abo"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:8b19d550496a5adbfe53849bbbc7148f7e00a5c73c30685c86f854fa7589a09a\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"resolvedEditions\":{\"urn:bio:clir:abo#ROGAEV_2009_STUDY\":\"urn:bio:clir:abo#ROGAEV_2009_EN\"},\"semanticHash\":\"sha256:b48e80093732dae1279e08f2918c7a6585eefcce7110b55a150c8fffb153e533\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#IA\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#i\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_genotype\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupA\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_phenotype\"},\"evidence\":[],\"id\":\"urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:abo#IAiIsA\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"comprehension\":{\"distinct\":true,\"element\":{\"kind\":\"var\",\"var\":\"v0\"},\"generator\":{\"formula\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"kind\":\"var\",\"var\":\"v0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_phenotype\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":1},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd\"],\"sourceAnchors\":[]},{\"attributes\":{\"contentHash\":\"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c\",\"language\":\"en\",\"legalTime\":\"2026-09-01\",\"policy\":\"legal_time\",\"rejectedCandidates\":[],\"work\":\"urn:bio:clir:abo#ROGAEV_2009\"},\"conclusion\":{\"edition\":\"urn:bio:clir:abo#ROGAEV_2009_EN\",\"reference\":\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"},\"evidence\":[],\"id\":\"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb\",\"kind\":\"source_resolution\",\"premises\":[],\"sourceAnchors\":[\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"]}],\"proofHash\":\"sha256:39b42c887e974fc30f0cb4c86f9b51e25ae9da93d244e3605ccd4b3ca9adab58\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:4d563279177ceee6647619bdf342b9046c3e8e206ed0ed967d6b535ac4abb42a\",\"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\":\"COLLECTION\",\"sourceAnchors\":[],\"value\":[{\"id\":\"urn:bio:clir:abo#GroupA\",\"kind\":\"entity_ref\"}]}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:71d7e583979f5556e5386d6ab00dfd4ad3e828b12e46254c78f26e1601f44777","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#IA","kind":"const_ref"},{"id":"urn:bio:clir:abo#i","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_genotype"},"origin":"case_input","package":"urn:bio:clir:abo"}],"context":{"decisionTime":"2026-09-01T12:00:00+05:00","knowledgeTime":"2026-09-01T12:00:00+05:00","legalTime":"2026-09-01","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:5314d134fa7c215201924a147faa9c1d705729997d894695ab729c38b2c0ecf5","kind":"world_ref","nodeCount":63,"packages":[{"artifactHash":"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e","namespace":"urn:bio:clir:abo","package":"bio-abo","semanticHash":"sha256:ea51825b1342a29143389e8b78da6f1cbf26a62a793c8fd3da36f0b8260fe703"}],"programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42"},"query":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"kind":"collect","queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:8aa6a9f53f54e8d2b58adf72c153652e37bd10f00c675bacdd37196610600bcb"},"id":"calc-1","kind":"collect","label":"Группа крови ребёнка с генотипом Iᴬ/i","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:8aa6a9f53f54e8d2b58adf72c153652e37bd10f00c675bacdd37196610600bcb"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#IA","kind":"entity_ref"},{"id":"urn:bio:clir:abo#i","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_genotype"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupA","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:bio:clir:abo#GroupA","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"id":"urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:bio:clir:abo#IAiIsA","sourceAnchors":["urn:bio:clir:abo#ABO_ART1"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:bio:clir:abo#Person"}}]},{"conclusion":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"count":1},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:IAiIsA:2d11b18bdd51f8514ec333627d952fd5e89bb1d29aa317d05dc301b2845b60bd"],"trust":"engine"}],"symbols":[{"id":"urn:bio:clir:abo#ABOAllele","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"аллель системы ABO"}],"name":"ABOAllele","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ABOPhenotype","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"фенотип ABO"}],"name":"ABOPhenotype","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#GroupA","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"группа A"}],"name":"GroupA","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:abo#IA","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"аллель Iᴬ"}],"name":"IA","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:abo#IAiIsA","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Генотип I-A/i даёт группу A"}],"package":"urn:bio:clir:abo","strength":"strict"},{"id":"urn:bio:clir:abo#Person","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"лицо в деле"}],"name":"Person","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ROGAEV_2009","kind":"source_work","labels":[{"language":"en","status":"unofficial","text":"Genotype Analysis Identifies the Cause of the Royal Disease"}],"package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ROGAEV_2009_STUDY","kind":"reference","labels":[{"language":"en","status":"unofficial","text":"Rogaev et al. (2009), F9 mutation in the Romanov remains"}],"package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#abo_genotype","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"установленный генотип ABO"}],"name":"abo_genotype","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#abo_genotype/arg/p","labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"urn:bio:clir:abo#abo_genotype/arg/left","labels":[],"name":"left","type":{"name":"urn:bio:clir:abo#ABOAllele"}},{"id":"urn:bio:clir:abo#abo_genotype/arg/right","labels":[],"name":"right","type":{"name":"urn:bio:clir:abo#ABOAllele"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:abo#abo_phenotype","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"выводимый либо установленный фенотип ABO"}],"name":"abo_phenotype","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#abo_phenotype/arg/p","labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"urn:bio:clir:abo#abo_phenotype/arg/group","labels":[],"name":"group","type":{"name":"urn:bio:clir:abo#ABOPhenotype"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:abo#i","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"аллель i"}],"name":"i","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":6,"fragments":["urn:bio:clir:abo#ABO_ART1"],"jurisdiction":"none","namespace":"urn:bio:clir:abo","package":"bio-abo","title":"ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:8b19d550496a5adbfe53849bbbc7148f7e00a5c73c30685c86f854fa7589a09a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42","resultHash":"sha256:4d563279177ceee6647619bdf342b9046c3e8e206ed0ed967d6b535ac4abb42a","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Ребёнок",{"kind":"var","var":"v0"}],"facts":[{"args":["Ребёнок","IA","i"],"predicate":"abo_genotype"}],"kind":"collect","legalTime":"2026-09-01","package":"bio-abo","predicate":"abo_phenotype","proof":true},"sources":[{"contentHash":"sha256:b54f172b79383f1268009a7a53c15f7578e1b162624a728dcbfbf8b1322f35c1","edition":"urn:bio:clir:abo#ABO_RU","fragmentKind":"article","id":"urn:bio:clir:abo#ABO_ART1","kind":"fragment","locator":"article/1","package":"urn:bio:clir:abo","texts":[{"contentHash":"sha256:f931520d008e4ec784d9a7a5628ebec8c63abd822ea84eb239bf9b43b7583e8a","language":"ru","status":"official","text":"Аллели Iᴬ и Iᴮ кодоминантны: генотип Iᴬ/Iᴮ даёт фенотип AB. Аллель i рецессивен: i/i даёт фенотип O. Генотипы Iᴬ/Iᴬ и Iᴬ/i дают фенотип A; генотипы Iᴮ/Iᴮ и Iᴮ/i — фенотип B."}]}],"text":"Найдено записей: 1.\nЗначения ?v0: GroupA\nВыведено правом: abo_phenotype(Ребёнок, GroupA)\nПрименены правила: IAiIsA\nПраво (вне юрисдикции государства): ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — доктрина (programHash sha256:fa7bc53564a6…)\nproof-граф: 4 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["presumed_ii_from_o(Мать)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupO","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#phenotype_reported"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"strength":"defeasible"},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"evidence":[],"id":"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:bio:clir:abo#OPhenotypePresumesii/R1","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}}},{"attributes":{"allApplicableCandidateIds":["urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"],"conflictKey":"{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"}","evaluationInputSemanticHash":"sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a","priorityGraphHash":"sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284","programSemanticHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42","stratum":0,"survivingCandidateIds":["urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"]},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"evidence":[],"id":"urn:proof:closure:282880e5bf1dc37cd66e21e713ad5e80c594aeb374be5f6202bbf973378c7f3a","kind":"candidate_closure","premises":["urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"],"sourceAnchors":[]},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"],"sourceAnchors":[]},{"attributes":{"contentHash":"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c","language":"en","legalTime":"2026-09-01","policy":"legal_time","rejectedCandidates":[],"work":"urn:bio:clir:abo#ROGAEV_2009"},"conclusion":{"edition":"urn:bio:clir:abo#ROGAEV_2009_EN","reference":"urn:bio:clir:abo#ROGAEV_2009_STUDY"},"evidence":[],"id":"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb","kind":"source_resolution","premises":[],"sourceAnchors":["urn:bio:clir:abo#ROGAEV_2009_STUDY"]}],"proofHash":"sha256:f8cfe730f6646e65f0272c1efd4e7b2736bea143f62f86763558ab129bf7e8d0","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:2424646ccb273ad0e6decbffe1c69ee9b4c2432cba1e2fef9ae9595182dd1216","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":6,"fragments":["urn:bio:clir:abo#ABO_ART3"],"jurisdiction":"none","namespace":"urn:bio:clir:abo","package":"bio-abo","title":"ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42","resultHash":"sha256:2424646ccb273ad0e6decbffe1c69ee9b4c2432cba1e2fef9ae9595182dd1216","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:bio:clir:abo#OPhenotypePresumesii/R1"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}}],"predicate":"urn:bio:clir:abo#presumed_ii_from_o","schemaVersion":"law.answers.signature/0.1","types":{"urn:bio:clir:abo#Person":{"kind":"entity","labels":[{"language":"ru","status":"unofficial","text":"лицо в деле"}],"namespace":"urn:bio:clir:abo","package":"bio.abo"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"resolvedEditions\":{\"urn:bio:clir:abo#ROGAEV_2009_STUDY\":\"urn:bio:clir:abo#ROGAEV_2009_EN\"},\"semanticHash\":\"sha256:1340a36502d9a8d05a534e186efb479c6203913a78b474ca0a6646f086e5197e\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupO\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#phenotype_reported\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeasible\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:abo#OPhenotypePresumesii/R1\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"allApplicableCandidateIds\":[\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"],\"conflictKey\":\"{\\\"args\\\":[{\\\"id\\\":\\\"urn:mcp:entity:Мать\\\",\\\"kind\\\":\\\"entity_ref\\\"}],\\\"predicate\\\":\\\"urn:bio:clir:abo#presumed_ii_from_o\\\"}\",\"evaluationInputSemanticHash\":\"sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a\",\"priorityGraphHash\":\"sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284\",\"programSemanticHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"stratum\":0,\"survivingCandidateIds\":[\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"]},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:closure:282880e5bf1dc37cd66e21e713ad5e80c594aeb374be5f6202bbf973378c7f3a\",\"kind\":\"candidate_closure\",\"premises\":[\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"],\"sourceAnchors\":[]},{\"attributes\":{\"contentHash\":\"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c\",\"language\":\"en\",\"legalTime\":\"2026-09-01\",\"policy\":\"legal_time\",\"rejectedCandidates\":[],\"work\":\"urn:bio:clir:abo#ROGAEV_2009\"},\"conclusion\":{\"edition\":\"urn:bio:clir:abo#ROGAEV_2009_EN\",\"reference\":\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"},\"evidence\":[],\"id\":\"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb\",\"kind\":\"source_resolution\",\"premises\":[],\"sourceAnchors\":[\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"]}],\"proofHash\":\"sha256:f8cfe730f6646e65f0272c1efd4e7b2736bea143f62f86763558ab129bf7e8d0\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:2424646ccb273ad0e6decbffe1c69ee9b4c2432cba1e2fef9ae9595182dd1216\",\"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:bio:clir:abo#presumed_ii_from_o\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:5a4cefdac07dac3076e48b1dad23c49f04456fd036c03cd7b3795e03d4480bd4","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupO","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#phenotype_reported"},"origin":"case_input","package":"urn:bio:clir:abo"}],"context":{"decisionTime":"2026-09-01T12:00:00+05:00","knowledgeTime":"2026-09-01T12:00:00+05:00","legalTime":"2026-09-01","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:5314d134fa7c215201924a147faa9c1d705729997d894695ab729c38b2c0ecf5","kind":"world_ref","nodeCount":63,"packages":[{"artifactHash":"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e","namespace":"urn:bio:clir:abo","package":"bio-abo","semanticHash":"sha256:ea51825b1342a29143389e8b78da6f1cbf26a62a793c8fd3da36f0b8260fe703"}],"programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:e87a8f121b588a4dd13f5e606e2586da63102471fe4cf13ab7709066571abc87"},"id":"calc-2","kind":"truth","label":"Мать с группой O: презумпция генотипа i/i","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:e87a8f121b588a4dd13f5e606e2586da63102471fe4cf13ab7709066571abc87"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupO","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#phenotype_reported"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"id":"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:bio:clir:abo#OPhenotypePresumesii/R1","sourceAnchors":["urn:bio:clir:abo#ABO_ART3"],"strength":"defeasible","substitution":{"v0":{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:bio:clir:abo#Person"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"],"trust":"engine"}],"symbols":[{"id":"urn:bio:clir:abo#ABOPhenotype","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"фенотип ABO"}],"name":"ABOPhenotype","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#GroupO","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"группа O"}],"name":"GroupO","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:abo#OPhenotypePresumesii/R1","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Группа O презюмирует генотип i/i"}],"package":"urn:bio:clir:abo","strength":"defeasible"},{"id":"urn:bio:clir:abo#Person","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"лицо в деле"}],"name":"Person","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ROGAEV_2009","kind":"source_work","labels":[{"language":"en","status":"unofficial","text":"Genotype Analysis Identifies the Cause of the Royal Disease"}],"package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ROGAEV_2009_STUDY","kind":"reference","labels":[{"language":"en","status":"unofficial","text":"Rogaev et al. (2009), F9 mutation in the Romanov remains"}],"package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#phenotype_reported","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"сообщённый фенотип ABO"}],"name":"phenotype_reported","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#phenotype_reported/arg/p","labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"urn:bio:clir:abo#phenotype_reported/arg/group","labels":[],"name":"group","type":{"name":"urn:bio:clir:abo#ABOPhenotype"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:abo#presumed_ii_from_o","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"фенотип O презюмирует генотип i/i"}],"name":"presumed_ii_from_o","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#presumed_ii_from_o/arg/p","labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":6,"fragments":["urn:bio:clir:abo#ABO_ART3"],"jurisdiction":"none","namespace":"urn:bio:clir:abo","package":"bio-abo","title":"ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:70877b405cbb74f92bc2ec2154f1e98318e6906a1e4d3c4f769a1852c10f3f2a","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42","resultHash":"sha256:2424646ccb273ad0e6decbffe1c69ee9b4c2432cba1e2fef9ae9595182dd1216","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Мать"],"facts":[{"args":["Мать","GroupO"],"predicate":"phenotype_reported"}],"kind":"truth","legalTime":"2026-09-01","package":"bio-abo","predicate":"presumed_ii_from_o","proof":true},"sources":[{"contentHash":"sha256:3f8f840df95f83a69828765befcb08583a29f47485c42710353ef5100a820e30","edition":"urn:bio:clir:abo#ABO_RU","fragmentKind":"article","id":"urn:bio:clir:abo#ABO_ART3","kind":"fragment","locator":"article/3","package":"urn:bio:clir:abo","texts":[{"contentHash":"sha256:994000b1e06200bf8f236c7c7a83d7f6a2fc13082a8d035910eafe644d4bb89b","language":"ru","status":"official","text":"При генотипе hh антигены ABO на эритроцитах не экспрессируются; фенотипически такое лицо может выглядеть как группа O независимо от аллелей ABO. Поэтому одного фенотипа O недостаточно для вывода о генотипе i/i: установленный hh отменяет презумпцию такого вывода."}]}],"text":"presumed_ii_from_o: **TRUE_ONLY** — установлено\nВыведено правом: presumed_ii_from_o(Мать)\nПрименены правила: OPhenotypePresumesii/R1\nПраво (вне юрисдикции государства): ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — доктрина (programHash sha256:fa7bc53564a6…)\nproof-граф: 5 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»","missingInputs":[],"truthStatus":"NEITHER"},"closedEditionRules":[],"derived":["presumed_ii_from_o(Мать)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupO","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#phenotype_reported"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"strength":"defeasible"},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"evidence":[],"id":"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:bio:clir:abo#OPhenotypePresumesii/R1","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-2"},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#has_hh"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"strength":"defeater"},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"evidence":[],"id":"urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:bio:clir:abo#BombayDefeatsOInference","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}}},{"attributes":{"defeated":"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b","reason":"defeater"},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"evidence":[],"id":"urn:proof:defeat:73e3b69b1b91c2f739d07d75f5e36a89642ecb64e8c6057aecd837cc0851f044","kind":"defeat","outcome":"DEFEATED","premises":["urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78","urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b"],"priorityPath":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"truthStatus":"NEITHER"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":[],"sourceAnchors":[]},{"attributes":{"contentHash":"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c","language":"en","legalTime":"2026-09-01","policy":"legal_time","rejectedCandidates":[],"work":"urn:bio:clir:abo#ROGAEV_2009"},"conclusion":{"edition":"urn:bio:clir:abo#ROGAEV_2009_EN","reference":"urn:bio:clir:abo#ROGAEV_2009_STUDY"},"evidence":[],"id":"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb","kind":"source_resolution","premises":[],"sourceAnchors":["urn:bio:clir:abo#ROGAEV_2009_STUDY"]}],"proofHash":"sha256:fd689b4f0ff89d091307ae39dc6aa295c87e3fd10356d2d138cd73066594c939","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:61c5830e3421c327d5884a848e96962ac11ef3954198577e087e1e745ccf598b","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":6,"fragments":["urn:bio:clir:abo#ABO_ART3"],"jurisdiction":"none","namespace":"urn:bio:clir:abo","package":"bio-abo","title":"ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:7e74c29290bc3e6ff7598b46e41cbf1102c6cef9ae5c5538d112499ef10c11c2","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42","resultHash":"sha256:61c5830e3421c327d5884a848e96962ac11ef3954198577e087e1e745ccf598b","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:bio:clir:abo#BombayDefeatsOInference","urn:bio:clir:abo#OPhenotypePresumesii/R1"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}}],"predicate":"urn:bio:clir:abo#presumed_ii_from_o","schemaVersion":"law.answers.signature/0.1","types":{"urn:bio:clir:abo#Person":{"kind":"entity","labels":[{"language":"ru","status":"unofficial","text":"лицо в деле"}],"namespace":"urn:bio:clir:abo","package":"bio.abo"}},"vocab":{}},"vulnerableTo":[],"whyNot":[{"anchors":["urn:bio:clir:abo#ABO_ART3"],"computedHead":false,"label":"Бомбейский фенотип отменяет презумпцию i/i из группы O","premises":[{"premise":"has_hh(Мать)","status":"TRUE_ONLY"},{"premise":"phenotype_reported(Мать, GroupO)","status":"TRUE_ONLY"}],"rule":"BombayDefeatsOInference"},{"anchors":["urn:bio:clir:abo#ABO_ART3"],"computedHead":false,"label":"Группа O презюмирует генотип i/i","premises":[{"premise":"phenotype_reported(Мать, GroupO)","status":"TRUE_ONLY"}],"rule":"OPhenotypePresumesii/R1"}]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:7e74c29290bc3e6ff7598b46e41cbf1102c6cef9ae5c5538d112499ef10c11c2\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"resolvedEditions\":{\"urn:bio:clir:abo#ROGAEV_2009_STUDY\":\"urn:bio:clir:abo#ROGAEV_2009_EN\"},\"semanticHash\":\"sha256:f94058be40a088007bdda7a0a8c4eec01c63e710f13d749963c8bbd8808c8443\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupO\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#phenotype_reported\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeasible\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:abo#OPhenotypePresumesii/R1\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#has_hh\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeater\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:abo#BombayDefeatsOInference\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"defeated\":\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\",\"reason\":\"defeater\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"evidence\":[],\"id\":\"urn:proof:defeat:73e3b69b1b91c2f739d07d75f5e36a89642ecb64e8c6057aecd837cc0851f044\",\"kind\":\"defeat\",\"outcome\":\"DEFEATED\",\"premises\":[\"urn:proof:apply:BombayDefeatsOInference:80326478e568a5664ce377591336e35ca14a1cfc917ecddf0346298a2519ab78\",\"urn:proof:apply:OPhenotypePresumesii/R1:165c01df3f20e4349889117277e0dbb126590cd553f12c1c3629d1c3ad9ad42b\"],\"priorityPath\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#presumed_ii_from_o\"},\"truthStatus\":\"NEITHER\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"contentHash\":\"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c\",\"language\":\"en\",\"legalTime\":\"2026-09-01\",\"policy\":\"legal_time\",\"rejectedCandidates\":[],\"work\":\"urn:bio:clir:abo#ROGAEV_2009\"},\"conclusion\":{\"edition\":\"urn:bio:clir:abo#ROGAEV_2009_EN\",\"reference\":\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"},\"evidence\":[],\"id\":\"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb\",\"kind\":\"source_resolution\",\"premises\":[],\"sourceAnchors\":[\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"]}],\"proofHash\":\"sha256:fd689b4f0ff89d091307ae39dc6aa295c87e3fd10356d2d138cd73066594c939\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:61c5830e3421c327d5884a848e96962ac11ef3954198577e087e1e745ccf598b\",\"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:bio:clir:abo#presumed_ii_from_o\",\"truthStatus\":\"NEITHER\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:b77ebf3708b52d2ccf7b14294b41fa944312afd4c72af48a8070b9103856faf1","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupO","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#phenotype_reported"},"origin":"case_input","package":"urn:bio:clir:abo"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#has_hh"},"origin":"case_input","package":"urn:bio:clir:abo"}],"context":{"decisionTime":"2026-09-01T12:00:00+05:00","knowledgeTime":"2026-09-01T12:00:00+05:00","legalTime":"2026-09-01","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:5314d134fa7c215201924a147faa9c1d705729997d894695ab729c38b2c0ecf5","kind":"world_ref","nodeCount":63,"packages":[{"artifactHash":"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e","namespace":"urn:bio:clir:abo","package":"bio-abo","semanticHash":"sha256:ea51825b1342a29143389e8b78da6f1cbf26a62a793c8fd3da36f0b8260fe703"}],"programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:3eaa53c0dcfdf735d7e4f0dced1b240942e3f449b22fea2928fd482c613efa1f"},"id":"calc-3","kind":"truth","label":"Мать с группой O и генотипом hh: презумпция отменена","presentation":{"blockers":{"whyNot":[{"anchors":["urn:bio:clir:abo#ABO_ART3"],"label":"Бомбейский фенотип отменяет презумпцию i/i из группы O","premises":[{"args":["Мать"],"predicate":"has_hh","predicateId":"urn:bio:clir:abo#has_hh","status":"TRUE_ONLY","text":"has_hh(Мать)"},{"args":["Мать","GroupO"],"predicate":"phenotype_reported","predicateId":"urn:bio:clir:abo#phenotype_reported","status":"TRUE_ONLY","text":"phenotype_reported(Мать, GroupO)"}],"rule":"BombayDefeatsOInference","ruleId":"urn:bio:clir:abo#BombayDefeatsOInference"},{"anchors":["urn:bio:clir:abo#ABO_ART3"],"label":"Группа O презюмирует генотип i/i","premises":[{"args":["Мать","GroupO"],"predicate":"phenotype_reported","predicateId":"urn:bio:clir:abo#phenotype_reported","status":"TRUE_ONLY","text":"phenotype_reported(Мать, GroupO)"}],"rule":"OPhenotypePresumesii/R1","ruleId":"urn:bio:clir:abo#OPhenotypePresumesii/R1"}]},"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:3eaa53c0dcfdf735d7e4f0dced1b240942e3f449b22fea2928fd482c613efa1f"},"steps":[{"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#presumed_ii_from_o"},"truthStatus":"NEITHER"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":[],"trust":"engine"}],"symbols":[{"id":"urn:bio:clir:abo#ABOPhenotype","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"фенотип ABO"}],"name":"ABOPhenotype","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#BombayDefeatsOInference","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Бомбейский фенотип отменяет презумпцию i/i из группы O"}],"package":"urn:bio:clir:abo","strength":"defeater"},{"id":"urn:bio:clir:abo#GroupO","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"группа O"}],"name":"GroupO","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:abo#OPhenotypePresumesii/R1","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Группа O презюмирует генотип i/i"}],"package":"urn:bio:clir:abo","strength":"defeasible"},{"id":"urn:bio:clir:abo#Person","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"лицо в деле"}],"name":"Person","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ROGAEV_2009","kind":"source_work","labels":[{"language":"en","status":"unofficial","text":"Genotype Analysis Identifies the Cause of the Royal Disease"}],"package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ROGAEV_2009_STUDY","kind":"reference","labels":[{"language":"en","status":"unofficial","text":"Rogaev et al. (2009), F9 mutation in the Romanov remains"}],"package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#has_hh","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"установлен генотип hh (бомбейский фенотип)"}],"name":"has_hh","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#has_hh/arg/p","labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:abo#phenotype_reported","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"сообщённый фенотип ABO"}],"name":"phenotype_reported","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#phenotype_reported/arg/p","labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"urn:bio:clir:abo#phenotype_reported/arg/group","labels":[],"name":"group","type":{"name":"urn:bio:clir:abo#ABOPhenotype"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:abo#presumed_ii_from_o","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"фенотип O презюмирует генотип i/i"}],"name":"presumed_ii_from_o","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#presumed_ii_from_o/arg/p","labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":6,"fragments":["urn:bio:clir:abo#ABO_ART3"],"jurisdiction":"none","namespace":"urn:bio:clir:abo","package":"bio-abo","title":"ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:7e74c29290bc3e6ff7598b46e41cbf1102c6cef9ae5c5538d112499ef10c11c2","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42","resultHash":"sha256:61c5830e3421c327d5884a848e96962ac11ef3954198577e087e1e745ccf598b","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Мать"],"facts":[{"args":["Мать","GroupO"],"predicate":"phenotype_reported"},{"args":["Мать"],"predicate":"has_hh"}],"kind":"truth","legalTime":"2026-09-01","package":"bio-abo","predicate":"presumed_ii_from_o","proof":true},"sources":[{"contentHash":"sha256:3f8f840df95f83a69828765befcb08583a29f47485c42710353ef5100a820e30","edition":"urn:bio:clir:abo#ABO_RU","fragmentKind":"article","id":"urn:bio:clir:abo#ABO_ART3","kind":"fragment","locator":"article/3","package":"urn:bio:clir:abo","texts":[{"contentHash":"sha256:994000b1e06200bf8f236c7c7a83d7f6a2fc13082a8d035910eafe644d4bb89b","language":"ru","status":"official","text":"При генотипе hh антигены ABO на эритроцитах не экспрессируются; фенотипически такое лицо может выглядеть как группа O независимо от аллелей ABO. Поэтому одного фенотипа O недостаточно для вывода о генотипе i/i: установленный hh отменяет презумпцию такого вывода."}]}],"text":"presumed_ii_from_o: **NEITHER** — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»\nВыведено правом: presumed_ii_from_o(Мать)\nПрименены правила: BombayDefeatsOInference, OPhenotypePresumesii/R1\nПравило «Бомбейский фенотип отменяет презумпцию i/i из группы O» вывело бы это при посылках:\n    ✓ has_hh(Мать) — TRUE_ONLY\n    ✓ phenotype_reported(Мать, GroupO) — TRUE_ONLY\nПравило «Группа O презюмирует генотип i/i» вывело бы это при посылках:\n    ✓ phenotype_reported(Мать, GroupO) — TRUE_ONLY\n(? — факт не подан и не выведен; ✗ — установлено обратное)\nПолные правила с посылками: law_rules({\"predicate\": \"presumed_ii_from_o\"})\nПраво (вне юрисдикции государства): ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — доктрина (programHash sha256:fa7bc53564a6…)\nproof-граф: 7 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["maternal_ancestor(Мать, Ребёнок)","abo_phenotype(Мать, GroupO)","abo_phenotype(Ребёнок, GroupAB)","paternity_excluded(Мать, Ребёнок)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#mother_of"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#maternal_ancestor"},"evidence":[],"id":"urn:proof:apply:DirectMaternalAncestor:4f7ae35393ed14a150b5d48640b042d1606bdd3718d72bc1284912d6d7304956","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:bio:clir:abo#DirectMaternalAncestor","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-2"},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:bio:clir:abo#i","kind":"entity_ref"},{"id":"urn:bio:clir:abo#i","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_genotype"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupO","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"evidence":[],"id":"urn:proof:apply:iiIsO:4e7277a71396325b6e888a507d6590ad3f3051b21b24b43bfb57134dfef2c404","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:bio:clir:abo#iiIsO","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Мать","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-3"},"conclusion":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#IA","kind":"entity_ref"},{"id":"urn:bio:clir:abo#IB","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_genotype"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupAB","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"evidence":[],"id":"urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:bio:clir:abo#IAIBIsAB","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#paternity_excluded"},"evidence":[],"id":"urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c","kind":"rule_application","premises":["urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c","urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:bio:clir:abo#OMotherAndABChildExcludePaternity","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#paternity_excluded"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c"],"sourceAnchors":[]},{"attributes":{"contentHash":"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c","language":"en","legalTime":"2026-09-01","policy":"legal_time","rejectedCandidates":[],"work":"urn:bio:clir:abo#ROGAEV_2009"},"conclusion":{"edition":"urn:bio:clir:abo#ROGAEV_2009_EN","reference":"urn:bio:clir:abo#ROGAEV_2009_STUDY"},"evidence":[],"id":"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb","kind":"source_resolution","premises":[],"sourceAnchors":["urn:bio:clir:abo#ROGAEV_2009_STUDY"]}],"proofHash":"sha256:18e8d6fa243c9ef5f5319ec2d7d823ca9b180eca92e3774172b8d9d73c3302b6","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:8f4de24005bf8aae5e7be6a292536ec1aab27ac508d8356e9270ceef0456f1d3","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":6,"fragments":["urn:bio:clir:abo#ABO_ART1","urn:bio:clir:abo#ABO_ART2","urn:bio:clir:abo#ABO_ART5"],"jurisdiction":"none","namespace":"urn:bio:clir:abo","package":"bio-abo","title":"ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:d41b9be06dfb91d10d2693a39236472e536098c3d3284a6c7d40bb2d20904c31","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42","resultHash":"sha256:8f4de24005bf8aae5e7be6a292536ec1aab27ac508d8356e9270ceef0456f1d3","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:bio:clir:abo#DirectMaternalAncestor","urn:bio:clir:abo#IAIBIsAB","urn:bio:clir:abo#OMotherAndABChildExcludePaternity","urn:bio:clir:abo#iiIsO"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"mother","type":{"name":"urn:bio:clir:abo#Person"}},{"labels":[],"name":"child","type":{"name":"urn:bio:clir:abo#Person"}}],"predicate":"urn:bio:clir:abo#paternity_excluded","schemaVersion":"law.answers.signature/0.1","types":{"urn:bio:clir:abo#Person":{"kind":"entity","labels":[{"language":"ru","status":"unofficial","text":"лицо в деле"}],"namespace":"urn:bio:clir:abo","package":"bio.abo"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:d41b9be06dfb91d10d2693a39236472e536098c3d3284a6c7d40bb2d20904c31\",\"decisionTime\":\"2026-09-01T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-09-01T12:00:00+05:00\",\"legalTime\":\"2026-09-01\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"resolvedEditions\":{\"urn:bio:clir:abo#ROGAEV_2009_STUDY\":\"urn:bio:clir:abo#ROGAEV_2009_EN\"},\"semanticHash\":\"sha256:8f09aaf7b4ed598642144ac67530d48dfdfd118812dc849d18971091ab2960a5\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#mother_of\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#maternal_ancestor\"},\"evidence\":[],\"id\":\"urn:proof:apply:DirectMaternalAncestor:4f7ae35393ed14a150b5d48640b042d1606bdd3718d72bc1284912d6d7304956\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:abo#DirectMaternalAncestor\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#i\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#i\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_genotype\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupO\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_phenotype\"},\"evidence\":[],\"id\":\"urn:proof:apply:iiIsO:4e7277a71396325b6e888a507d6590ad3f3051b21b24b43bfb57134dfef2c404\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:abo#iiIsO\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#IA\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#IB\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_genotype\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:abo#GroupAB\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#abo_phenotype\"},\"evidence\":[],\"id\":\"urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:bio:clir:abo#IAIBIsAB\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#paternity_excluded\"},\"evidence\":[],\"id\":\"urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c\",\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:abo#OMotherAndABChildExcludePaternity\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Мать\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Ребёнок\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:abo#paternity_excluded\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c\"],\"sourceAnchors\":[]},{\"attributes\":{\"contentHash\":\"sha256:9d2132bad0c997905520b27294b4b887ca038bee1ff2b0a44f03eea844c3510c\",\"language\":\"en\",\"legalTime\":\"2026-09-01\",\"policy\":\"legal_time\",\"rejectedCandidates\":[],\"work\":\"urn:bio:clir:abo#ROGAEV_2009\"},\"conclusion\":{\"edition\":\"urn:bio:clir:abo#ROGAEV_2009_EN\",\"reference\":\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"},\"evidence\":[],\"id\":\"urn:proof:source-resolution:fe0f963adbd7fa34b53ddd0cbbe0e83810bebdde0dffb6b9c7c259baa39d54fb\",\"kind\":\"source_resolution\",\"premises\":[],\"sourceAnchors\":[\"urn:bio:clir:abo#ROGAEV_2009_STUDY\"]}],\"proofHash\":\"sha256:18e8d6fa243c9ef5f5319ec2d7d823ca9b180eca92e3774172b8d9d73c3302b6\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:8f4de24005bf8aae5e7be6a292536ec1aab27ac508d8356e9270ceef0456f1d3\",\"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:bio:clir:abo#paternity_excluded\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:a684b6d69a7e84dfd37fb123f0f7648387e93a000f2b742df97dd5b68898be4a","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#mother_of"},"origin":"case_input","package":"urn:bio:clir:abo"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:bio:clir:abo#i","kind":"const_ref"},{"id":"urn:bio:clir:abo#i","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_genotype"},"origin":"case_input","package":"urn:bio:clir:abo"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#IA","kind":"const_ref"},{"id":"urn:bio:clir:abo#IB","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_genotype"},"origin":"case_input","package":"urn:bio:clir:abo"}],"context":{"decisionTime":"2026-09-01T12:00:00+05:00","knowledgeTime":"2026-09-01T12:00:00+05:00","legalTime":"2026-09-01","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:5314d134fa7c215201924a147faa9c1d705729997d894695ab729c38b2c0ecf5","kind":"world_ref","nodeCount":63,"packages":[{"artifactHash":"sha256:f938d42fbcbda24192b2beeb31b90d111f566faa724c4e42b753023b694ec98e","namespace":"urn:bio:clir:abo","package":"bio-abo","semanticHash":"sha256:ea51825b1342a29143389e8b78da6f1cbf26a62a793c8fd3da36f0b8260fe703"}],"programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#paternity_excluded"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:f0b449449d1db9157a6a3c5b276d3a6fd1f88ef983ba464b11b16caffffa8aeb"},"id":"calc-4","kind":"truth","label":"Мать i/i и ребёнок AB: отцовство исключено в модели AB0","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:f0b449449d1db9157a6a3c5b276d3a6fd1f88ef983ba464b11b16caffffa8aeb"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#mother_of"},"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:bio:clir:abo#i","kind":"entity_ref"},{"id":"urn:bio:clir:abo#i","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_genotype"},"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#IA","kind":"entity_ref"},{"id":"urn:bio:clir:abo#IB","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_genotype"},"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"},{"id":"urn:bio:clir:abo#GroupAB","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"head":{"args":[{"kind":"var","var":"v0"},{"id":"urn:bio:clir:abo#GroupAB","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#abo_phenotype"},"id":"urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:bio:clir:abo#IAIBIsAB","sourceAnchors":["urn:bio:clir:abo#ABO_ART1"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:bio:clir:abo#Person"}}]},{"conclusion":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#paternity_excluded"},"head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#paternity_excluded"},"id":"urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c","kind":"rule_application","originStatus":"available","premises":["urn:proof:apply:IAIBIsAB:512b6fab2f5e2c2a56972da7e3d0b915632d89fb4854d9eb82fe2dd357f0523c","urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:bio:clir:abo#OMotherAndABChildExcludePaternity","sourceAnchors":["urn:bio:clir:abo#ABO_ART2"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"v1","type":{"name":"urn:bio:clir:abo#Person"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Мать","kind":"entity_ref"},{"id":"urn:mcp:entity:Ребёнок","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:abo#paternity_excluded"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:OMotherAndABChildExcludePaternity:73e939e07665890b5eede44f74af78cb2d9b26f9cb6dd212687d70d3a33f216c"],"trust":"engine"}],"symbols":[{"id":"urn:bio:clir:abo#ABOAllele","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"аллель системы ABO"}],"name":"ABOAllele","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ABOPhenotype","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"фенотип ABO"}],"name":"ABOPhenotype","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#DirectMaternalAncestor","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Непосредственная мать является материнским предком"}],"package":"urn:bio:clir:abo","strength":"strict"},{"id":"urn:bio:clir:abo#GroupAB","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"группа AB"}],"name":"GroupAB","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:abo#GroupO","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"группа O"}],"name":"GroupO","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:abo#IA","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"аллель Iᴬ"}],"name":"IA","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:abo#IAIBIsAB","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Генотип I-A/I-B даёт группу AB"}],"package":"urn:bio:clir:abo","strength":"strict"},{"id":"urn:bio:clir:abo#IB","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"аллель Iᴮ"}],"name":"IB","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:abo#OMotherAndABChildExcludePaternity","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Группа O у матери и AB у ребёнка исключают отцовство в модели"}],"package":"urn:bio:clir:abo","strength":"strict"},{"id":"urn:bio:clir:abo#Person","kind":"type_decl","labels":[{"language":"ru","status":"unofficial","text":"лицо в деле"}],"name":"Person","package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ROGAEV_2009","kind":"source_work","labels":[{"language":"en","status":"unofficial","text":"Genotype Analysis Identifies the Cause of the Royal Disease"}],"package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#ROGAEV_2009_STUDY","kind":"reference","labels":[{"language":"en","status":"unofficial","text":"Rogaev et al. (2009), F9 mutation in the Romanov remains"}],"package":"urn:bio:clir:abo"},{"id":"urn:bio:clir:abo#abo_genotype","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"установленный генотип ABO"}],"name":"abo_genotype","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#abo_genotype/arg/p","labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"urn:bio:clir:abo#abo_genotype/arg/left","labels":[],"name":"left","type":{"name":"urn:bio:clir:abo#ABOAllele"}},{"id":"urn:bio:clir:abo#abo_genotype/arg/right","labels":[],"name":"right","type":{"name":"urn:bio:clir:abo#ABOAllele"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:abo#abo_phenotype","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"выводимый либо установленный фенотип ABO"}],"name":"abo_phenotype","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#abo_phenotype/arg/p","labels":[],"name":"p","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"urn:bio:clir:abo#abo_phenotype/arg/group","labels":[],"name":"group","type":{"name":"urn:bio:clir:abo#ABOPhenotype"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:abo#i","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"аллель i"}],"name":"i","package":"urn:bio:clir:abo","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:abo#iiIsO","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Генотип i/i даёт группу O"}],"package":"urn:bio:clir:abo","strength":"strict"},{"id":"urn:bio:clir:abo#maternal_ancestor","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"предок по материнской линии"}],"name":"maternal_ancestor","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#maternal_ancestor/arg/ancestor","labels":[],"name":"ancestor","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"urn:bio:clir:abo#maternal_ancestor/arg/descendant","labels":[],"name":"descendant","type":{"name":"urn:bio:clir:abo#Person"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:abo#mother_of","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"мать в родословной дела"}],"name":"mother_of","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#mother_of/arg/mother","labels":[],"name":"mother","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"urn:bio:clir:abo#mother_of/arg/child","labels":[],"name":"child","type":{"name":"urn:bio:clir:abo#Person"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:abo#paternity_excluded","kind":"symbol_decl","labels":[{"language":"ru","status":"unofficial","text":"отцовство любого предполагаемого отца исключено в модели ABO"}],"name":"paternity_excluded","package":"urn:bio:clir:abo","parameters":[{"id":"urn:bio:clir:abo#paternity_excluded/arg/mother","labels":[],"name":"mother","type":{"name":"urn:bio:clir:abo#Person"}},{"id":"urn:bio:clir:abo#paternity_excluded/arg/child","labels":[],"name":"child","type":{"name":"urn:bio:clir:abo#Person"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":6,"fragments":["urn:bio:clir:abo#ABO_ART1","urn:bio:clir:abo#ABO_ART2","urn:bio:clir:abo#ABO_ART5"],"jurisdiction":"none","namespace":"urn:bio:clir:abo","package":"bio-abo","title":"ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:d41b9be06dfb91d10d2693a39236472e536098c3d3284a6c7d40bb2d20904c31","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-09-01","mode":"audit","programHash":"sha256:fa7bc53564a6b5c48f5bf9966a11c9b1679bb3c5dc9ccb35ce11ea2cce030c42","resultHash":"sha256:8f4de24005bf8aae5e7be6a292536ec1aab27ac508d8356e9270ceef0456f1d3","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Мать","Ребёнок"],"facts":[{"args":["Мать","Ребёнок"],"predicate":"mother_of"},{"args":["Мать","i","i"],"predicate":"abo_genotype"},{"args":["Ребёнок","IA","IB"],"predicate":"abo_genotype"}],"kind":"truth","legalTime":"2026-09-01","package":"bio-abo","predicate":"paternity_excluded","proof":true},"sources":[{"contentHash":"sha256:b54f172b79383f1268009a7a53c15f7578e1b162624a728dcbfbf8b1322f35c1","edition":"urn:bio:clir:abo#ABO_RU","fragmentKind":"article","id":"urn:bio:clir:abo#ABO_ART1","kind":"fragment","locator":"article/1","package":"urn:bio:clir:abo","texts":[{"contentHash":"sha256:f931520d008e4ec784d9a7a5628ebec8c63abd822ea84eb239bf9b43b7583e8a","language":"ru","status":"official","text":"Аллели Iᴬ и Iᴮ кодоминантны: генотип Iᴬ/Iᴮ даёт фенотип AB. Аллель i рецессивен: i/i даёт фенотип O. Генотипы Iᴬ/Iᴬ и Iᴬ/i дают фенотип A; генотипы Iᴮ/Iᴮ и Iᴮ/i — фенотип B."}]},{"contentHash":"sha256:cb8a799b25e2eef7192aeaaa12ac1893f27709b872c4a53c27d9f0e1faeb7edd","edition":"urn:bio:clir:abo#ABO_RU","fragmentKind":"article","id":"urn:bio:clir:abo#ABO_ART2","kind":"fragment","locator":"article/2","package":"urn:bio:clir:abo","texts":[{"contentHash":"sha256:84122d6ac942fd18557144a5b2b92fa937965ad11717277c5240629f158eee07","language":"ru","status":"official","text":"Если у матери генотип i/i, а у ребёнка установлен фенотип AB, предполагаемый отец не может быть биологическим отцом в модели ABO: мать не передаёт Iᴬ или Iᴮ. Это вывод об исключении, а не установление отцовства в остальных случаях."}]},{"contentHash":"sha256:f9c46f09f14bc8fcbe1e57240972e2aaccca0ff9bff5f256da8a96a4c147fb8f","edition":"urn:bio:clir:abo#ABO_RU","fragmentKind":"article","id":"urn:bio:clir:abo#ABO_ART5","kind":"fragment","locator":"article/5","package":"urn:bio:clir:abo","texts":[{"contentHash":"sha256:77ff1dbd66abc7f3c39aaabd8edc44863f44f0451cd7375a15a313bd16ef4716","language":"ru","status":"official","text":"Гемофилия в этом срезе рецессивна и сцеплена с X-хромосомой. Дочь больного мужчины получает его X и является облигатной носительницей. Сын не получает X от отца, поэтому болезнь отца сама по себе не делает сына носителем. Здоровая дочь больного мужчины передаёт аллель следующему поколению с неопределённостью; её дочь без дополнительных фактов остаётся возможной, но не установленной носительницей."}]}],"text":"paternity_excluded: **TRUE_ONLY** — установлено\nВыведено правом: maternal_ancestor(Мать, Ребёнок); abo_phenotype(Мать, GroupO); abo_phenotype(Ребёнок, GroupAB); paternity_excluded(Мать, Ребёнок)\nПрименены правила: DirectMaternalAncestor, IAIBIsAB, OMotherAndABChildExcludePaternity, iiIsO\nПраво (вне юрисдикции государства): ABO/Rh и X-сцепленная гемофилия: авторское учебное изложение — доктрина (programHash sha256:fa7bc53564a6…)\nproof-граф: 9 узлов — поле evaluation готово для law_explain"}],"language":"ru","question":{"origin":"user","text":"У ребёнка генотип IᴬI по системе AB0: какая у него группа крови? Можно ли из группы O у матери заключить о её генотипе, и что меняет бомбейский фенотип?"},"schemaVersion":"law.answers.document/0.1"}