{"assistant":{"explanations":[{"calculationRefs":["calc-1"],"text":"Два правила расщепления дают две гаметы: с доминантным и с рецессивным аллелем."},{"calculationRefs":["calc-2"],"text":"Доля вычислена делением счётчиков: три доминантных исхода на четыре клетки, ответ хранится дробью."},{"calculationRefs":["calc-3"],"text":"Дигибридная решётка из шестнадцати клеток даёт девять с обоими доминантными признаками: 9/16."},{"calculationRefs":["calc-4"],"text":"Правило независимого комбинирования опровержимое: без сведений о хромосомах оно действует."},{"calculationRefs":["calc-5"],"text":"Оба признака на одной хромосоме включают дефитер, и вывод о независимом комбинировании становится неустановленным."}],"origin":"assistant","summary":"Гибрид образует гаметы с обоими аллелями, доминантным и рецессивным. Доли считаются точными дробями по перечисленным клеткам решётки: 3/4 доминантных исходов в моногибридном скрещивании и 9/16 класса с обоими доминантными признаками в дигибридном. Независимое комбинирование признаков действует по умолчанию, но факт о расположении обоих генов на одной хромосоме отменяет его: сцепление по Моргану выведено дефитером."},"calculations":[{"answer":{"answer":{"count":2,"elements":[{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}],"evaluationStatus":"COMPUTED","kind":"COLLECTION","missingInputs":[],"variable":"v0"},"closedEditionRules":[],"derived":["dominant_phenotype(Скрещивание, Признак)","gamete_carries(Скрещивание, Признак, Аллель-A)","gamete_carries(Скрещивание, Признак, Аллель-a)"],"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"},{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#hybrid_for"},"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:mcp:entity:Признак","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dominant_allele"},"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:mcp:entity:Признак","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#recessive_allele"},"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:mcp:entity:Признак","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dominant_phenotype"},"evidence":[],"id":"urn:proof:apply:DominantPhenotypeOfHybrid:0c1a5d55679a4bf2068022c60bd7f0c57b6689ce750b87f65341ef0a7079ee94","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:bio:clir:mendel#DominantPhenotypeOfHybrid","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},"v2":{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"},"v3":{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#gamete_carries"},"evidence":[],"id":"urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:bio:clir:mendel#HybridSeparatesDominantAllele","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},"v2":{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"},"v3":{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#gamete_carries"},"evidence":[],"id":"urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:bio:clir:mendel#HybridSeparatesRecessiveAllele","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},"v2":{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"},"v3":{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#gamete_carries"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"count":2},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189","urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e"],"sourceAnchors":[]}],"proofHash":"sha256:d97e7d9c8339e3f16fb7d34beb93310fd08270424e5d5ea2fb999e0af3b53cb1","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:f8c865466fc1eada042f6e591b675e1f25739ae7ba877e27b2c805a6af7e00b7","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_3_TO_1","urn:bio:clir:mendel#MENDEL_SEGREGATION"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:207949bef67cd242afcffc28ac9dbda49094e30dc51c19854a497feb669757aa","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:f8c865466fc1eada042f6e591b675e1f25739ae7ba877e27b2c805a6af7e00b7","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:bio:clir:mendel#DominantPhenotypeOfHybrid","urn:bio:clir:mendel#HybridSeparatesDominantAllele","urn:bio:clir:mendel#HybridSeparatesRecessiveAllele"],"signature":{"constants":{},"element":{"index":2,"type":{"name":"urn:bio:clir:mendel#Allele"}},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"labels":[],"name":"t","type":{"name":"urn:bio:clir:mendel#Trait"}},{"labels":[],"name":"a","type":{"name":"urn:bio:clir:mendel#Allele"}}],"predicate":"urn:bio:clir:mendel#gamete_carries","schemaVersion":"law.answers.signature/0.1","types":{"urn:bio:clir:mendel#Allele":{"kind":"entity","labels":[{"language":"de","status":"unofficial","text":"Erbfaktor"}],"namespace":"urn:bio:clir:mendel","package":"bio.mendel"},"urn:bio:clir:mendel#Cross":{"kind":"entity","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"namespace":"urn:bio:clir:mendel","package":"bio.mendel"},"urn:bio:clir:mendel#Trait":{"kind":"entity","labels":[{"language":"de","status":"unofficial","text":"Merkmal"}],"namespace":"urn:bio:clir:mendel","package":"bio.mendel"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:207949bef67cd242afcffc28ac9dbda49094e30dc51c19854a497feb669757aa\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:0346d7df01645415088e00b244f97449fcee1da0484875ff4e7dbd657ec41222\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"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\"},{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#hybrid_for\"},\"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:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dominant_allele\"},\"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:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#recessive_allele\"},\"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:mcp:entity:Признак\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dominant_phenotype\"},\"evidence\":[],\"id\":\"urn:proof:apply:DominantPhenotypeOfHybrid:0c1a5d55679a4bf2068022c60bd7f0c57b6689ce750b87f65341ef0a7079ee94\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:bio:clir:mendel#DominantPhenotypeOfHybrid\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},\"v3\":{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#gamete_carries\"},\"evidence\":[],\"id\":\"urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:bio:clir:mendel#HybridSeparatesDominantAllele\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},\"v3\":{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#gamete_carries\"},\"evidence\":[],\"id\":\"urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\"],\"rule\":\"urn:bio:clir:mendel#HybridSeparatesRecessiveAllele\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},\"v3\":{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"comprehension\":{\"distinct\":true,\"element\":{\"kind\":\"var\",\"var\":\"v0\"},\"generator\":{\"formula\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак\",\"kind\":\"entity_ref\"},{\"kind\":\"var\",\"var\":\"v0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#gamete_carries\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":2},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189\",\"urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:d97e7d9c8339e3f16fb7d34beb93310fd08270424e5d5ea2fb999e0af3b53cb1\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:f8c865466fc1eada042f6e591b675e1f25739ae7ba877e27b2c805a6af7e00b7\",\"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:mcp:entity:Аллель-A\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Аллель-a\",\"kind\":\"entity_ref\"}]}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:db13e16f28df1b18708dfcb48de688d939f1be36222dd9a13a2f3a01acea26cc","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"},{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#hybrid_for"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dominant_allele"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#recessive_allele"},"origin":"case_input","package":"urn:bio:clir:mendel"}],"context":{"decisionTime":"2026-08-31T12:00:00+05:00","knowledgeTime":"2026-08-31T12:00:00+05:00","legalTime":"2026-08-31","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:82e39472d0a0a8e6c7d754b826d6a7d2c16982b337f57f2e8ff36309f8d9fe7a","kind":"world_ref","nodeCount":48,"packages":[{"artifactHash":"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012","namespace":"urn:bio:clir:mendel","package":"bio-mendel","semanticHash":"sha256:a3fa708325d9bc089306c4459667f679908577742cf38dc9dca53f0a6a369c00"}],"programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3"},"query":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#gamete_carries"},"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:55cdd3bd1993c94c40d7a7ffc5e035254c37dae1fb0ca6fe8acb48f2f24ef154"},"id":"calc-1","kind":"collect","label":"Гаметы гибрида Aa по признаку","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:55cdd3bd1993c94c40d7a7ffc5e035254c37dae1fb0ca6fe8acb48f2f24ef154"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#hybrid_for"},"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:mcp:entity:Аллель-A","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dominant_allele"},"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:mcp:entity:Аллель-a","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#recessive_allele"},"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:mcp:entity:Признак","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#gamete_carries"},"head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#gamete_carries"},"id":"urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:bio:clir:mendel#HybridSeparatesDominantAllele","sourceAnchors":["urn:bio:clir:mendel#MENDEL_SEGREGATION"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},"v2":{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"},"v3":{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"v1","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"v2","type":{"name":"urn:bio:clir:mendel#Allele"}},{"id":"v3","type":{"name":"urn:bio:clir:mendel#Allele"}}]},{"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#gamete_carries"},"head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"},{"kind":"var","var":"v3"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#gamete_carries"},"id":"urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3"],"rule":"urn:bio:clir:mendel#HybridSeparatesRecessiveAllele","sourceAnchors":["urn:bio:clir:mendel#MENDEL_SEGREGATION"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},"v2":{"id":"urn:mcp:entity:Аллель-A","kind":"entity_ref"},"v3":{"id":"urn:mcp:entity:Аллель-a","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"v1","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"v2","type":{"name":"urn:bio:clir:mendel#Allele"}},{"id":"v3","type":{"name":"urn:bio:clir:mendel#Allele"}}]},{"conclusion":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#gamete_carries"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"count":2},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:HybridSeparatesDominantAllele:2009b700e37279e41e3ba5174b5531068c6a3116487696e6624af83f72c8d189","urn:proof:apply:HybridSeparatesRecessiveAllele:56d32d088c60d1799e5bd3a151da91b0def682b63d2c1c92362146e28eb6662e"],"trust":"engine"}],"symbols":[{"id":"urn:bio:clir:mendel#Allele","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Erbfaktor"}],"name":"Allele","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#Cross","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"name":"Cross","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#DominantPhenotypeOfHybrid","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Доминантный признак гибрида проявляется"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#HybridSeparatesDominantAllele","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Гибрид образует гамету с доминантным аллелем"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#HybridSeparatesRecessiveAllele","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Гибрид образует гамету с рецессивным аллелем"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#Trait","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Merkmal"}],"name":"Trait","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#dominant_allele","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"dominierendes Merkmal im Versuch"}],"name":"dominant_allele","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dominant_allele/arg/t","labels":[],"name":"t","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"urn:bio:clir:mendel#dominant_allele/arg/a","labels":[],"name":"a","type":{"name":"urn:bio:clir:mendel#Allele"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dominant_phenotype","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"dominierendes Merkmal erscheint"}],"name":"dominant_phenotype","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dominant_phenotype/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#dominant_phenotype/arg/t","labels":[],"name":"t","type":{"name":"urn:bio:clir:mendel#Trait"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#gamete_carries","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Hybrid bildet Keimzellen mit diesem Merkmal"}],"name":"gamete_carries","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#gamete_carries/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#gamete_carries/arg/t","labels":[],"name":"t","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"urn:bio:clir:mendel#gamete_carries/arg/a","labels":[],"name":"a","type":{"name":"urn:bio:clir:mendel#Allele"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#hybrid_for","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Hybridform mit zwei Merkmalen"}],"name":"hybrid_for","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#hybrid_for/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#hybrid_for/arg/t","labels":[],"name":"t","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"urn:bio:clir:mendel#hybrid_for/arg/dominant","labels":[],"name":"dominant","type":{"name":"urn:bio:clir:mendel#Allele"}},{"id":"urn:bio:clir:mendel#hybrid_for/arg/recessive","labels":[],"name":"recessive","type":{"name":"urn:bio:clir:mendel#Allele"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#recessive_allele","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"recessives Merkmal im Versuch"}],"name":"recessive_allele","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#recessive_allele/arg/t","labels":[],"name":"t","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"urn:bio:clir:mendel#recessive_allele/arg/a","labels":[],"name":"a","type":{"name":"urn:bio:clir:mendel#Allele"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_3_TO_1","urn:bio:clir:mendel#MENDEL_SEGREGATION"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:207949bef67cd242afcffc28ac9dbda49094e30dc51c19854a497feb669757aa","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:f8c865466fc1eada042f6e591b675e1f25739ae7ba877e27b2c805a6af7e00b7","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Скрещивание","Признак",{"kind":"var","var":"v0"}],"facts":[{"args":["Скрещивание","Признак","Аллель-A","Аллель-a"],"predicate":"hybrid_for"},{"args":["Признак","Аллель-A"],"predicate":"dominant_allele"},{"args":["Признак","Аллель-a"],"predicate":"recessive_allele"}],"kind":"collect","legalTime":"2026-08-31","package":"bio-mendel","predicate":"gamete_carries","proof":true},"sources":[{"contentHash":"sha256:5532e63d15ff0fe1b789bb396d43ecf27a947fe20f3ade0989522016f77c46a0","edition":"urn:bio:clir:mendel#MENDEL_DE_REPRINT","fragmentKind":"section","id":"urn:bio:clir:mendel#MENDEL_3_TO_1","kind":"fragment","locator":"section/die-zweite-generation/3-1","package":"urn:bio:clir:mendel","texts":[{"contentHash":"sha256:eeca78d88cd024b7006d781e55538fa7d82d86ac08161c31931622c864eebbe8","language":"de","status":"unofficial","text":"Merkmale das Durchschnittsverhältniss 2,98 : 1 oder 3 : 1."}]},{"contentHash":"sha256:167b421671dbb36e704254d27395b705313c7437b19e9c1898570741caf91d91","edition":"urn:bio:clir:mendel#MENDEL_DE_REPRINT","fragmentKind":"section","id":"urn:bio:clir:mendel#MENDEL_SEGREGATION","kind":"fragment","locator":"section/die-zweite-generation/2-1-1","package":"urn:bio:clir:mendel","texts":[{"contentHash":"sha256:74b8cc7dd567c263136b9ff6d060f96d568979184dff52c1cc107232b301f80a","language":"de","status":"unofficial","text":"demnach für alle Versuche in die Verhältnisse 2 : 1 : 1 auf, wenn man"}]}],"text":"Найдено записей: 2.\nЗначения ?v0: Аллель-A, Аллель-a\nВыведено правом: dominant_phenotype(Скрещивание, Признак); gamete_carries(Скрещивание, Признак, Аллель-A); gamete_carries(Скрещивание, Признак, Аллель-a)\nПрименены правила: DominantPhenotypeOfHybrid, HybridSeparatesDominantAllele, HybridSeparatesRecessiveAllele\nПраво (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…)\nproof-граф: 7 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"count":1,"elements":[{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"3/4"}],"evaluationStatus":"COMPUTED","kind":"COLLECTION","missingInputs":[],"variable":"v0"},"closedEditionRules":[],"derived":["monohybrid_dominant_count(Скрещивание, 3)","monohybrid_total_count(Скрещивание, 4)","monohybrid_dominant_fraction(Скрещивание, 3/4)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_cross"},"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:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-1","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"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:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-4"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-5"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-2","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-5","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-6"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-3","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-6","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-7"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-7","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":3}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_dominant_count"},"evidence":[],"id":"urn:proof:apply:CountMonohybridDominant:dfe03e0d8fc12844bfff36a442b9647c549483c90a9f7f56e731f000fb257597","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-5","urn:proof:assert:urn:mcp:case#fact-7"],"rule":"urn:bio:clir:mendel#CountMonohybridDominant","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-8"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-4","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-8","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":4}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_total_count"},"evidence":[],"id":"urn:proof:apply:CountMonohybridTotal:24df988dd8aace2b039131a5fb05df94f0ac2df98642d0d1823e183173c1b58a","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-4","urn:proof:assert:urn:mcp:case#fact-6","urn:proof:assert:urn:mcp:case#fact-8"],"rule":"urn:bio:clir:mendel#CountMonohybridTotal","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"3/4"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_dominant_fraction"},"evidence":[],"id":"urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-4","urn:proof:assert:urn:mcp:case#fact-5","urn:proof:assert:urn:mcp:case#fact-6","urn:proof:assert:urn:mcp:case#fact-7","urn:proof:assert:urn:mcp:case#fact-8"],"rule":"urn:bio:clir:mendel#FractionMonohybridDominant","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:mendel#monohybrid_dominant_fraction"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"count":1},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413"],"sourceAnchors":[]}],"proofHash":"sha256:a098288f53e90a9f12a8bb96133c8d8c7b4a19a819194285100363b4aa314455","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:87e40e9e6c65682582f0e529a47c3a72549c9a843a0cadca8733b78eea45b7ca","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_3_TO_1"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:45a8128bf642045f74496cbddce656af8d72cead999233484bdeb86c905523d7","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:87e40e9e6c65682582f0e529a47c3a72549c9a843a0cadca8733b78eea45b7ca","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:bio:clir:mendel#CountMonohybridDominant","urn:bio:clir:mendel#CountMonohybridTotal","urn:bio:clir:mendel#FractionMonohybridDominant"],"signature":{"constants":{},"element":{"index":1,"type":{"name":"urn:law:std#Rational"}},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"labels":[],"name":"share","type":{"name":"urn:law:std#Rational"}}],"predicate":"urn:bio:clir:mendel#monohybrid_dominant_fraction","schemaVersion":"law.answers.signature/0.1","types":{"urn:bio:clir:mendel#Cross":{"kind":"entity","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"namespace":"urn:bio:clir:mendel","package":"bio.mendel"},"urn:law:std#Rational":{"kind":"std"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:45a8128bf642045f74496cbddce656af8d72cead999233484bdeb86c905523d7\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:876c3fa636aeb716b3a0bffa8cfd9d8e3e55481211df96e32348e98941ca0896\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_cross\"},\"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:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-1\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_member\"},\"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:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-1\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Boolean\"},\"value\":true}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-2\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-2\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Boolean\"},\"value\":true}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-6\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-3\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-6\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-7\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-3\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Boolean\"},\"value\":true}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-7\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":3}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_dominant_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountMonohybridDominant:dfe03e0d8fc12844bfff36a442b9647c549483c90a9f7f56e731f000fb257597\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:assert:urn:mcp:case#fact-7\"],\"rule\":\"urn:bio:clir:mendel#CountMonohybridDominant\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-8\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Потомок-4\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-8\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":4}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_total_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountMonohybridTotal:24df988dd8aace2b039131a5fb05df94f0ac2df98642d0d1823e183173c1b58a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-4\",\"urn:proof:assert:urn:mcp:case#fact-6\",\"urn:proof:assert:urn:mcp:case#fact-8\"],\"rule\":\"urn:bio:clir:mendel#CountMonohybridTotal\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"3/4\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#monohybrid_dominant_fraction\"},\"evidence\":[],\"id\":\"urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:assert:urn:mcp:case#fact-6\",\"urn:proof:assert:urn:mcp:case#fact-7\",\"urn:proof:assert:urn:mcp:case#fact-8\"],\"rule\":\"urn:bio:clir:mendel#FractionMonohybridDominant\",\"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:mendel#monohybrid_dominant_fraction\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":1},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:a098288f53e90a9f12a8bb96133c8d8c7b4a19a819194285100363b4aa314455\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:87e40e9e6c65682582f0e529a47c3a72549c9a843a0cadca8733b78eea45b7ca\",\"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\":[{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"3/4\"}]}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:ab706f300f5bfbde9e4a8ef89a12b3fd4a293e0eb84a34e7e322981a0f8488d8","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_cross"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-1","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-4","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-5","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-2","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-6","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-3","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-7","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-8","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-4","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-9","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-4","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":false}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"}],"context":{"decisionTime":"2026-08-31T12:00:00+05:00","knowledgeTime":"2026-08-31T12:00:00+05:00","legalTime":"2026-08-31","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:82e39472d0a0a8e6c7d754b826d6a7d2c16982b337f57f2e8ff36309f8d9fe7a","kind":"world_ref","nodeCount":48,"packages":[{"artifactHash":"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012","namespace":"urn:bio:clir:mendel","package":"bio-mendel","semanticHash":"sha256:a3fa708325d9bc089306c4459667f679908577742cf38dc9dca53f0a6a369c00"}],"programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3"},"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:mendel#monohybrid_dominant_fraction"},"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:cb545fc9563052469c1f87608c0d1b4d62715eeb19faaae2a0722e688881cfd6"},"id":"calc-2","kind":"collect","label":"Доля доминантных исходов моногибридного скрещивания","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:cb545fc9563052469c1f87608c0d1b4d62715eeb19faaae2a0722e688881cfd6"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_cross"},"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:mcp:entity:Потомок-1","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"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:mcp:entity:Потомок-1","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-2","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-5","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-3","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-6","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-3","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-7","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Потомок-4","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-8","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"3/4"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_dominant_fraction"},"head":{"args":[{"kind":"var","var":"v0"},{"kind":"binary","left":{"input":{"binders":[],"distinct":true,"element":{"kind":"var","var":"v1"},"generator":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"},{"kind":"value","type":{"name":"urn:law:std#Boolean"},"value":true}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_outcome"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v1","type":{"name":"urn:bio:clir:mendel#Offspring"}}},"kind":"aggregate","op":"count"},"op":"div","right":{"input":{"binders":[],"distinct":true,"element":{"kind":"var","var":"v1"},"generator":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_member"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v1","type":{"name":"urn:bio:clir:mendel#Offspring"}}},"kind":"aggregate","op":"count"}}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#monohybrid_dominant_fraction"},"id":"urn:proof:apply:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-4","urn:proof:assert:urn:mcp:case#fact-5","urn:proof:assert:urn:mcp:case#fact-6","urn:proof:assert:urn:mcp:case#fact-7","urn:proof:assert:urn:mcp:case#fact-8"],"rule":"urn:bio:clir:mendel#FractionMonohybridDominant","sourceAnchors":["urn:bio:clir:mendel#MENDEL_3_TO_1"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:bio:clir:mendel#Cross"}}]},{"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:mendel#monohybrid_dominant_fraction"},"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:FractionMonohybridDominant:62a4e764efcc32a2595731bee1574c0799ccf7761d73789b7bf931b67e9f9413"],"trust":"engine"}],"symbols":[{"id":"urn:bio:clir:mendel#CountMonohybridDominant","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Подсчёт доминантных исходов моногибридного скрещивания"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#CountMonohybridTotal","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Подсчёт всех исходов моногибридного скрещивания"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#Cross","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"name":"Cross","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#FractionMonohybridDominant","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Точная доля доминантных исходов моногибридного скрещивания"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#Offspring","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Nachkomme oder gezählte Punnett-Zelle"}],"name":"Offspring","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#monohybrid_cross","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"gezählte monohybride Kreuzung"}],"name":"monohybrid_cross","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#monohybrid_cross/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#monohybrid_dominant_count","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Zahl der dominanten Ergebnisse"}],"name":"monohybrid_dominant_count","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#monohybrid_dominant_count/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#monohybrid_dominant_count/arg/n","labels":[],"name":"n","type":{"name":"urn:law:std#Integer"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#monohybrid_dominant_fraction","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"genaue Anteil der dominanten Ergebnisse"}],"name":"monohybrid_dominant_fraction","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#monohybrid_dominant_fraction/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#monohybrid_dominant_fraction/arg/share","labels":[],"name":"share","type":{"name":"urn:law:std#Rational"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#monohybrid_member","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Element der gezählten monohybriden Reihe"}],"name":"monohybrid_member","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#monohybrid_member/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#monohybrid_member/arg/o","labels":[],"name":"o","type":{"name":"urn:bio:clir:mendel#Offspring"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#monohybrid_outcome","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"gezähltes Ergebnis der monohybriden Kreuzung"}],"name":"monohybrid_outcome","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#monohybrid_outcome/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#monohybrid_outcome/arg/o","labels":[],"name":"o","type":{"name":"urn:bio:clir:mendel#Offspring"}},{"id":"urn:bio:clir:mendel#monohybrid_outcome/arg/dominant","labels":[],"name":"dominant","type":{"name":"urn:law:std#Boolean"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#monohybrid_total_count","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Zahl aller Ergebnisse"}],"name":"monohybrid_total_count","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#monohybrid_total_count/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#monohybrid_total_count/arg/n","labels":[],"name":"n","type":{"name":"urn:law:std#Integer"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_3_TO_1"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:45a8128bf642045f74496cbddce656af8d72cead999233484bdeb86c905523d7","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:87e40e9e6c65682582f0e529a47c3a72549c9a843a0cadca8733b78eea45b7ca","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Скрещивание",{"kind":"var","var":"v0"}],"facts":[{"args":["Скрещивание"],"predicate":"monohybrid_cross"},{"args":["Скрещивание","Потомок-1"],"predicate":"monohybrid_member"},{"args":["Скрещивание","Потомок-1",true],"predicate":"monohybrid_outcome"},{"args":["Скрещивание","Потомок-2"],"predicate":"monohybrid_member"},{"args":["Скрещивание","Потомок-2",true],"predicate":"monohybrid_outcome"},{"args":["Скрещивание","Потомок-3"],"predicate":"monohybrid_member"},{"args":["Скрещивание","Потомок-3",true],"predicate":"monohybrid_outcome"},{"args":["Скрещивание","Потомок-4"],"predicate":"monohybrid_member"},{"args":["Скрещивание","Потомок-4",false],"predicate":"monohybrid_outcome"}],"kind":"collect","legalTime":"2026-08-31","package":"bio-mendel","predicate":"monohybrid_dominant_fraction","proof":true},"sources":[{"contentHash":"sha256:5532e63d15ff0fe1b789bb396d43ecf27a947fe20f3ade0989522016f77c46a0","edition":"urn:bio:clir:mendel#MENDEL_DE_REPRINT","fragmentKind":"section","id":"urn:bio:clir:mendel#MENDEL_3_TO_1","kind":"fragment","locator":"section/die-zweite-generation/3-1","package":"urn:bio:clir:mendel","texts":[{"contentHash":"sha256:eeca78d88cd024b7006d781e55538fa7d82d86ac08161c31931622c864eebbe8","language":"de","status":"unofficial","text":"Merkmale das Durchschnittsverhältniss 2,98 : 1 oder 3 : 1."}]}],"text":"Найдено записей: 1.\nЗначения ?v0: 3/4\nВыведено правом: monohybrid_dominant_count(Скрещивание, 3); monohybrid_total_count(Скрещивание, 4); monohybrid_dominant_fraction(Скрещивание, 3/4)\nПрименены правила: CountMonohybridDominant, CountMonohybridTotal, FractionMonohybridDominant\nПраво (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…)\nproof-граф: 12 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"count":1,"elements":[{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"9/16"}],"evaluationStatus":"COMPUTED","kind":"COLLECTION","missingInputs":[],"variable":"v0"},"closedEditionRules":[],"derived":["dihybrid_class_count(Скрещивание, FirstDominantSecondRecessive, 3)","dihybrid_class_count(Скрещивание, FirstRecessiveSecondDominant, 3)","dihybrid_class_count(Скрещивание, BothRecessive, 1)","dihybrid_class_count(Скрещивание, BothDominant, 9)","dihybrid_total_count(Скрещивание, 16)","dihybrid_class_fraction(Скрещивание, FirstRecessiveSecondDominant, 3/16)","dihybrid_class_fraction(Скрещивание, FirstDominantSecondRecessive, 3/16)","dihybrid_class_fraction(Скрещивание, BothRecessive, 1/16)","dihybrid_class_fraction(Скрещивание, BothDominant, 9/16)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_cross"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-10"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-4","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-10","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-11"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-5","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-11","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-12"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-5","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-12","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-13"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-6","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-13","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-14"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-6","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-14","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-15"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-7","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-15","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-16"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-7","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-16","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-17"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-8","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-17","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-18"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-8","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-18","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-19"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-9","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-19","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-2"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_observed"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-20"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-9","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-20","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-21"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_observed"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-21","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-22"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-10","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-22","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-23"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-10","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-23","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-24"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-11","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-24","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-25"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-11","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-25","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-26"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-12","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-26","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-27"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-12","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-27","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":3}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_count"},"evidence":[],"id":"urn:proof:apply:CountDihybridClass:ab76c94b991e0ac2b577f9dee954c76590ef0e054610fc781df2e56fda77494e","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-21","urn:proof:assert:urn:mcp:case#fact-23","urn:proof:assert:urn:mcp:case#fact-25","urn:proof:assert:urn:mcp:case#fact-27"],"rule":"urn:bio:clir:mendel#CountDihybridClass","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-28"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_observed"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-28","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-29"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-13","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-29","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-3"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-1","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-30"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-13","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-30","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-31"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-14","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-31","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-32"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-14","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-32","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-33"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-15","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-33","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-34"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-15","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-34","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":3}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_count"},"evidence":[],"id":"urn:proof:apply:CountDihybridClass:0c4e43e5d232c07782fdcc83d07078e1e67fb8e97f86bd0d808903acf38cb3a6","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-28","urn:proof:assert:urn:mcp:case#fact-30","urn:proof:assert:urn:mcp:case#fact-32","urn:proof:assert:urn:mcp:case#fact-34"],"rule":"urn:bio:clir:mendel#CountDihybridClass","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-35"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothRecessive","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_observed"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-35","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-36"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-16","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-36","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-37"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-16","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothRecessive","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-37","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothRecessive","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":1}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_count"},"evidence":[],"id":"urn:proof:apply:CountDihybridClass:119dcc9f514301f25a09252385601e7db0a2e7aa39886b870a21816ec81479e3","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-35","urn:proof:assert:urn:mcp:case#fact-37"],"rule":"urn:bio:clir:mendel#CountDihybridClass","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:bio:clir:mendel#BothRecessive","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-4"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-1","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-5"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-5","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-6"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-2","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-6","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-7"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-3","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-7","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-8"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-3","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-8","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":9}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_count"},"evidence":[],"id":"urn:proof:apply:CountDihybridClass:d31bd02e2e5f31d64e6a56c81fe2300dcd78534184bb75e0d697706afdc7c98b","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-10","urn:proof:assert:urn:mcp:case#fact-12","urn:proof:assert:urn:mcp:case#fact-14","urn:proof:assert:urn:mcp:case#fact-16","urn:proof:assert:urn:mcp:case#fact-18","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-20","urn:proof:assert:urn:mcp:case#fact-4","urn:proof:assert:urn:mcp:case#fact-6","urn:proof:assert:urn:mcp:case#fact-8"],"rule":"urn:bio:clir:mendel#CountDihybridClass","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-9"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-4","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-9","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":16}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_total_count"},"evidence":[],"id":"urn:proof:apply:CountDihybridTotal:b5c0c9d04808caf4c9d7d541d6a55bc05bb25f0ca8713a21eba2bc1a80ab1034","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-11","urn:proof:assert:urn:mcp:case#fact-13","urn:proof:assert:urn:mcp:case#fact-15","urn:proof:assert:urn:mcp:case#fact-17","urn:proof:assert:urn:mcp:case#fact-19","urn:proof:assert:urn:mcp:case#fact-22","urn:proof:assert:urn:mcp:case#fact-24","urn:proof:assert:urn:mcp:case#fact-26","urn:proof:assert:urn:mcp:case#fact-29","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-31","urn:proof:assert:urn:mcp:case#fact-33","urn:proof:assert:urn:mcp:case#fact-36","urn:proof:assert:urn:mcp:case#fact-5","urn:proof:assert:urn:mcp:case#fact-7","urn:proof:assert:urn:mcp:case#fact-9"],"rule":"urn:bio:clir:mendel#CountDihybridTotal","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"3/16"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_fraction"},"evidence":[],"id":"urn:proof:apply:FractionDihybridClass:44c2d5bda94bca9a4ea4c799fe2595298bcf3b80761264bc70c6fa99ccbd33ba","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-11","urn:proof:assert:urn:mcp:case#fact-13","urn:proof:assert:urn:mcp:case#fact-15","urn:proof:assert:urn:mcp:case#fact-17","urn:proof:assert:urn:mcp:case#fact-19","urn:proof:assert:urn:mcp:case#fact-22","urn:proof:assert:urn:mcp:case#fact-24","urn:proof:assert:urn:mcp:case#fact-26","urn:proof:assert:urn:mcp:case#fact-28","urn:proof:assert:urn:mcp:case#fact-29","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-30","urn:proof:assert:urn:mcp:case#fact-31","urn:proof:assert:urn:mcp:case#fact-32","urn:proof:assert:urn:mcp:case#fact-33","urn:proof:assert:urn:mcp:case#fact-34","urn:proof:assert:urn:mcp:case#fact-36","urn:proof:assert:urn:mcp:case#fact-5","urn:proof:assert:urn:mcp:case#fact-7","urn:proof:assert:urn:mcp:case#fact-9"],"rule":"urn:bio:clir:mendel#FractionDihybridClass","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"3/16"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_fraction"},"evidence":[],"id":"urn:proof:apply:FractionDihybridClass:6bb5e97fb446b8bc9db523bd9ad866ff29a6fa62ad183feadfba503d93ecd44c","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-11","urn:proof:assert:urn:mcp:case#fact-13","urn:proof:assert:urn:mcp:case#fact-15","urn:proof:assert:urn:mcp:case#fact-17","urn:proof:assert:urn:mcp:case#fact-19","urn:proof:assert:urn:mcp:case#fact-21","urn:proof:assert:urn:mcp:case#fact-22","urn:proof:assert:urn:mcp:case#fact-23","urn:proof:assert:urn:mcp:case#fact-24","urn:proof:assert:urn:mcp:case#fact-25","urn:proof:assert:urn:mcp:case#fact-26","urn:proof:assert:urn:mcp:case#fact-27","urn:proof:assert:urn:mcp:case#fact-29","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-31","urn:proof:assert:urn:mcp:case#fact-33","urn:proof:assert:urn:mcp:case#fact-36","urn:proof:assert:urn:mcp:case#fact-5","urn:proof:assert:urn:mcp:case#fact-7","urn:proof:assert:urn:mcp:case#fact-9"],"rule":"urn:bio:clir:mendel#FractionDihybridClass","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothRecessive","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"1/16"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_fraction"},"evidence":[],"id":"urn:proof:apply:FractionDihybridClass:7be1540518f161ee97f1804b8111ae5ed464a25c6397f0ff115f5b92319bbd6a","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-11","urn:proof:assert:urn:mcp:case#fact-13","urn:proof:assert:urn:mcp:case#fact-15","urn:proof:assert:urn:mcp:case#fact-17","urn:proof:assert:urn:mcp:case#fact-19","urn:proof:assert:urn:mcp:case#fact-22","urn:proof:assert:urn:mcp:case#fact-24","urn:proof:assert:urn:mcp:case#fact-26","urn:proof:assert:urn:mcp:case#fact-29","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-31","urn:proof:assert:urn:mcp:case#fact-33","urn:proof:assert:urn:mcp:case#fact-35","urn:proof:assert:urn:mcp:case#fact-36","urn:proof:assert:urn:mcp:case#fact-37","urn:proof:assert:urn:mcp:case#fact-5","urn:proof:assert:urn:mcp:case#fact-7","urn:proof:assert:urn:mcp:case#fact-9"],"rule":"urn:bio:clir:mendel#FractionDihybridClass","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:bio:clir:mendel#BothRecessive","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"9/16"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_fraction"},"evidence":[],"id":"urn:proof:apply:FractionDihybridClass:cfc94688a254c9d6ad89a2e7858d9ad0ddb77adab5cb7325e5ffcf110769fb05","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-10","urn:proof:assert:urn:mcp:case#fact-11","urn:proof:assert:urn:mcp:case#fact-12","urn:proof:assert:urn:mcp:case#fact-13","urn:proof:assert:urn:mcp:case#fact-14","urn:proof:assert:urn:mcp:case#fact-15","urn:proof:assert:urn:mcp:case#fact-16","urn:proof:assert:urn:mcp:case#fact-17","urn:proof:assert:urn:mcp:case#fact-18","urn:proof:assert:urn:mcp:case#fact-19","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-20","urn:proof:assert:urn:mcp:case#fact-22","urn:proof:assert:urn:mcp:case#fact-24","urn:proof:assert:urn:mcp:case#fact-26","urn:proof:assert:urn:mcp:case#fact-29","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-31","urn:proof:assert:urn:mcp:case#fact-33","urn:proof:assert:urn:mcp:case#fact-36","urn:proof:assert:urn:mcp:case#fact-4","urn:proof:assert:urn:mcp:case#fact-5","urn:proof:assert:urn:mcp:case#fact-6","urn:proof:assert:urn:mcp:case#fact-7","urn:proof:assert:urn:mcp:case#fact-8","urn:proof:assert:urn:mcp:case#fact-9"],"rule":"urn:bio:clir:mendel#FractionDihybridClass","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}}},{"attributes":{},"conclusion":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_fraction"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v0"}},"count":1},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:FractionDihybridClass:cfc94688a254c9d6ad89a2e7858d9ad0ddb77adab5cb7325e5ffcf110769fb05"],"sourceAnchors":[]}],"proofHash":"sha256:6d206b365d45e0723b1ad9deb2e2e8377c8061fd96b63a6a98a513f4c864f20f","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:9458ca277512bd4450b558fb82df2031246ebcd4068f13d4f0221a6e1d6e3518","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:148f69303d6be2f738e67f8bb9b19bd825fb047d9e074620da671d699a2b7bef","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:9458ca277512bd4450b558fb82df2031246ebcd4068f13d4f0221a6e1d6e3518","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:bio:clir:mendel#CountDihybridClass","urn:bio:clir:mendel#CountDihybridTotal","urn:bio:clir:mendel#FractionDihybridClass"],"signature":{"constants":{"urn:bio:clir:mendel#BothDominant":{"labels":[{"language":"de","status":"unofficial","text":"beide dominante Merkmale"}],"type":"urn:bio:clir:mendel#DihybridClass","value":{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}}},"element":{"index":2,"type":{"name":"urn:law:std#Rational"}},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"labels":[],"name":"k","type":{"name":"urn:bio:clir:mendel#DihybridClass"}},{"labels":[],"name":"share","type":{"name":"urn:law:std#Rational"}}],"predicate":"urn:bio:clir:mendel#dihybrid_class_fraction","schemaVersion":"law.answers.signature/0.1","types":{"urn:bio:clir:mendel#Cross":{"kind":"entity","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"namespace":"urn:bio:clir:mendel","package":"bio.mendel"},"urn:bio:clir:mendel#DihybridClass":{"kind":"entity","labels":[{"language":"de","status":"unofficial","text":"Phänotypklasse einer dihybriden Kreuzung"}],"namespace":"urn:bio:clir:mendel","package":"bio.mendel"},"urn:law:std#Rational":{"kind":"std"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:148f69303d6be2f738e67f8bb9b19bd825fb047d9e074620da671d699a2b7bef\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:dc54d04e35c842b2daa7dad310b8e69d06757dbec5821b4afb76e07655bc4d2d\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_cross\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-10\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-4\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-10\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-11\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-5\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-11\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-12\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-5\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-12\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-13\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-6\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-13\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-14\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-6\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-14\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-15\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-7\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-15\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-16\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-7\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-16\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-17\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-8\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-17\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-18\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-8\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-18\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-19\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-9\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-19\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-2\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_observed\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-20\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-9\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-20\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-21\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstDominantSecondRecessive\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_observed\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-21\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-22\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-10\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-22\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-23\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-10\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstDominantSecondRecessive\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-23\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-24\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-11\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-24\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-25\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-11\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstDominantSecondRecessive\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-25\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-26\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-12\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-26\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-27\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-12\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstDominantSecondRecessive\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-27\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstDominantSecondRecessive\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":3}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountDihybridClass:ab76c94b991e0ac2b577f9dee954c76590ef0e054610fc781df2e56fda77494e\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-21\",\"urn:proof:assert:urn:mcp:case#fact-23\",\"urn:proof:assert:urn:mcp:case#fact-25\",\"urn:proof:assert:urn:mcp:case#fact-27\"],\"rule\":\"urn:bio:clir:mendel#CountDihybridClass\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:bio:clir:mendel#FirstDominantSecondRecessive\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-28\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstRecessiveSecondDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_observed\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-28\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-29\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-13\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-29\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-1\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-30\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-13\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstRecessiveSecondDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-30\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-31\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-14\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-31\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-32\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-14\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstRecessiveSecondDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-32\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-33\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-15\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-33\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-34\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-15\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstRecessiveSecondDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-34\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstRecessiveSecondDominant\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":3}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountDihybridClass:0c4e43e5d232c07782fdcc83d07078e1e67fb8e97f86bd0d808903acf38cb3a6\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-28\",\"urn:proof:assert:urn:mcp:case#fact-30\",\"urn:proof:assert:urn:mcp:case#fact-32\",\"urn:proof:assert:urn:mcp:case#fact-34\"],\"rule\":\"urn:bio:clir:mendel#CountDihybridClass\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:bio:clir:mendel#FirstRecessiveSecondDominant\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-35\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothRecessive\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_observed\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-35\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-36\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-16\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-36\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-37\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-16\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothRecessive\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-37\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothRecessive\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":1}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountDihybridClass:119dcc9f514301f25a09252385601e7db0a2e7aa39886b870a21816ec81479e3\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-35\",\"urn:proof:assert:urn:mcp:case#fact-37\"],\"rule\":\"urn:bio:clir:mendel#CountDihybridClass\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:bio:clir:mendel#BothRecessive\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-1\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-5\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-2\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-5\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-6\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-2\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-6\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-7\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-3\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-7\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-8\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-3\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_outcome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-8\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":9}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountDihybridClass:d31bd02e2e5f31d64e6a56c81fe2300dcd78534184bb75e0d697706afdc7c98b\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-10\",\"urn:proof:assert:urn:mcp:case#fact-12\",\"urn:proof:assert:urn:mcp:case#fact-14\",\"urn:proof:assert:urn:mcp:case#fact-16\",\"urn:proof:assert:urn:mcp:case#fact-18\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-20\",\"urn:proof:assert:urn:mcp:case#fact-4\",\"urn:proof:assert:urn:mcp:case#fact-6\",\"urn:proof:assert:urn:mcp:case#fact-8\"],\"rule\":\"urn:bio:clir:mendel#CountDihybridClass\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-9\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Клетка-4\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_member\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-9\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":16}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_total_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountDihybridTotal:b5c0c9d04808caf4c9d7d541d6a55bc05bb25f0ca8713a21eba2bc1a80ab1034\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-11\",\"urn:proof:assert:urn:mcp:case#fact-13\",\"urn:proof:assert:urn:mcp:case#fact-15\",\"urn:proof:assert:urn:mcp:case#fact-17\",\"urn:proof:assert:urn:mcp:case#fact-19\",\"urn:proof:assert:urn:mcp:case#fact-22\",\"urn:proof:assert:urn:mcp:case#fact-24\",\"urn:proof:assert:urn:mcp:case#fact-26\",\"urn:proof:assert:urn:mcp:case#fact-29\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-31\",\"urn:proof:assert:urn:mcp:case#fact-33\",\"urn:proof:assert:urn:mcp:case#fact-36\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:assert:urn:mcp:case#fact-7\",\"urn:proof:assert:urn:mcp:case#fact-9\"],\"rule\":\"urn:bio:clir:mendel#CountDihybridTotal\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstRecessiveSecondDominant\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"3/16\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_fraction\"},\"evidence\":[],\"id\":\"urn:proof:apply:FractionDihybridClass:44c2d5bda94bca9a4ea4c799fe2595298bcf3b80761264bc70c6fa99ccbd33ba\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-11\",\"urn:proof:assert:urn:mcp:case#fact-13\",\"urn:proof:assert:urn:mcp:case#fact-15\",\"urn:proof:assert:urn:mcp:case#fact-17\",\"urn:proof:assert:urn:mcp:case#fact-19\",\"urn:proof:assert:urn:mcp:case#fact-22\",\"urn:proof:assert:urn:mcp:case#fact-24\",\"urn:proof:assert:urn:mcp:case#fact-26\",\"urn:proof:assert:urn:mcp:case#fact-28\",\"urn:proof:assert:urn:mcp:case#fact-29\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-30\",\"urn:proof:assert:urn:mcp:case#fact-31\",\"urn:proof:assert:urn:mcp:case#fact-32\",\"urn:proof:assert:urn:mcp:case#fact-33\",\"urn:proof:assert:urn:mcp:case#fact-34\",\"urn:proof:assert:urn:mcp:case#fact-36\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:assert:urn:mcp:case#fact-7\",\"urn:proof:assert:urn:mcp:case#fact-9\"],\"rule\":\"urn:bio:clir:mendel#FractionDihybridClass\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:bio:clir:mendel#FirstRecessiveSecondDominant\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#FirstDominantSecondRecessive\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"3/16\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_fraction\"},\"evidence\":[],\"id\":\"urn:proof:apply:FractionDihybridClass:6bb5e97fb446b8bc9db523bd9ad866ff29a6fa62ad183feadfba503d93ecd44c\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-11\",\"urn:proof:assert:urn:mcp:case#fact-13\",\"urn:proof:assert:urn:mcp:case#fact-15\",\"urn:proof:assert:urn:mcp:case#fact-17\",\"urn:proof:assert:urn:mcp:case#fact-19\",\"urn:proof:assert:urn:mcp:case#fact-21\",\"urn:proof:assert:urn:mcp:case#fact-22\",\"urn:proof:assert:urn:mcp:case#fact-23\",\"urn:proof:assert:urn:mcp:case#fact-24\",\"urn:proof:assert:urn:mcp:case#fact-25\",\"urn:proof:assert:urn:mcp:case#fact-26\",\"urn:proof:assert:urn:mcp:case#fact-27\",\"urn:proof:assert:urn:mcp:case#fact-29\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-31\",\"urn:proof:assert:urn:mcp:case#fact-33\",\"urn:proof:assert:urn:mcp:case#fact-36\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:assert:urn:mcp:case#fact-7\",\"urn:proof:assert:urn:mcp:case#fact-9\"],\"rule\":\"urn:bio:clir:mendel#FractionDihybridClass\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:bio:clir:mendel#FirstDominantSecondRecessive\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothRecessive\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"1/16\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_fraction\"},\"evidence\":[],\"id\":\"urn:proof:apply:FractionDihybridClass:7be1540518f161ee97f1804b8111ae5ed464a25c6397f0ff115f5b92319bbd6a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-11\",\"urn:proof:assert:urn:mcp:case#fact-13\",\"urn:proof:assert:urn:mcp:case#fact-15\",\"urn:proof:assert:urn:mcp:case#fact-17\",\"urn:proof:assert:urn:mcp:case#fact-19\",\"urn:proof:assert:urn:mcp:case#fact-22\",\"urn:proof:assert:urn:mcp:case#fact-24\",\"urn:proof:assert:urn:mcp:case#fact-26\",\"urn:proof:assert:urn:mcp:case#fact-29\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-31\",\"urn:proof:assert:urn:mcp:case#fact-33\",\"urn:proof:assert:urn:mcp:case#fact-35\",\"urn:proof:assert:urn:mcp:case#fact-36\",\"urn:proof:assert:urn:mcp:case#fact-37\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:assert:urn:mcp:case#fact-7\",\"urn:proof:assert:urn:mcp:case#fact-9\"],\"rule\":\"urn:bio:clir:mendel#FractionDihybridClass\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:bio:clir:mendel#BothRecessive\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"9/16\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_fraction\"},\"evidence\":[],\"id\":\"urn:proof:apply:FractionDihybridClass:cfc94688a254c9d6ad89a2e7858d9ad0ddb77adab5cb7325e5ffcf110769fb05\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-10\",\"urn:proof:assert:urn:mcp:case#fact-11\",\"urn:proof:assert:urn:mcp:case#fact-12\",\"urn:proof:assert:urn:mcp:case#fact-13\",\"urn:proof:assert:urn:mcp:case#fact-14\",\"urn:proof:assert:urn:mcp:case#fact-15\",\"urn:proof:assert:urn:mcp:case#fact-16\",\"urn:proof:assert:urn:mcp:case#fact-17\",\"urn:proof:assert:urn:mcp:case#fact-18\",\"urn:proof:assert:urn:mcp:case#fact-19\",\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-20\",\"urn:proof:assert:urn:mcp:case#fact-22\",\"urn:proof:assert:urn:mcp:case#fact-24\",\"urn:proof:assert:urn:mcp:case#fact-26\",\"urn:proof:assert:urn:mcp:case#fact-29\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-31\",\"urn:proof:assert:urn:mcp:case#fact-33\",\"urn:proof:assert:urn:mcp:case#fact-36\",\"urn:proof:assert:urn:mcp:case#fact-4\",\"urn:proof:assert:urn:mcp:case#fact-5\",\"urn:proof:assert:urn:mcp:case#fact-6\",\"urn:proof:assert:urn:mcp:case#fact-7\",\"urn:proof:assert:urn:mcp:case#fact-8\",\"urn:proof:assert:urn:mcp:case#fact-9\"],\"rule\":\"urn:bio:clir:mendel#FractionDihybridClass\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"comprehension\":{\"distinct\":true,\"element\":{\"kind\":\"var\",\"var\":\"v0\"},\"generator\":{\"formula\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"id\":\"urn:bio:clir:mendel#BothDominant\",\"kind\":\"entity_ref\"},{\"kind\":\"var\",\"var\":\"v0\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_class_fraction\"},\"kind\":\"status\",\"status\":\"established\"},\"kind\":\"comprehension\",\"variable\":{\"id\":\"v0\"}},\"count\":1},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:FractionDihybridClass:cfc94688a254c9d6ad89a2e7858d9ad0ddb77adab5cb7325e5ffcf110769fb05\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:6d206b365d45e0723b1ad9deb2e2e8377c8061fd96b63a6a98a513f4c864f20f\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:9458ca277512bd4450b558fb82df2031246ebcd4068f13d4f0221a6e1d6e3518\",\"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\":[{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Rational\"},\"value\":\"9/16\"}]}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:80922324b666b3f36f76367fd774c48b8250ab17b1cd358deca0800d34b45e74","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_cross"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"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:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_observed"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-1","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-4","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-1","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-5","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-6","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-2","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-7","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-3","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-8","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-3","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-9","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-4","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-10","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-4","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-11","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-5","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-12","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-5","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-13","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-6","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-14","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-6","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-15","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-7","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-16","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-7","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-17","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-8","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-18","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-8","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-19","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-9","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-20","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-9","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-21","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_observed"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-22","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-10","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-23","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-10","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-24","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-11","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-25","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-11","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-26","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-12","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-27","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-12","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-28","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_observed"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-29","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-13","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-30","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-13","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-31","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-14","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-32","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-14","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-33","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-15","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-34","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-15","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-35","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothRecessive","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_observed"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-36","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-16","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-37","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-16","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothRecessive","kind":"const_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"origin":"case_input","package":"urn:bio:clir:mendel"}],"context":{"decisionTime":"2026-08-31T12:00:00+05:00","knowledgeTime":"2026-08-31T12:00:00+05:00","legalTime":"2026-08-31","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:82e39472d0a0a8e6c7d754b826d6a7d2c16982b337f57f2e8ff36309f8d9fe7a","kind":"world_ref","nodeCount":48,"packages":[{"artifactHash":"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012","namespace":"urn:bio:clir:mendel","package":"bio-mendel","semanticHash":"sha256:a3fa708325d9bc089306c4459667f679908577742cf38dc9dca53f0a6a369c00"}],"programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3"},"query":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"const_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_fraction"},"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:6eadadbc2dadabee6fd9a2c636ae6a9e2cf25883093eaa1bda73f7820c6e892a"},"id":"calc-3","kind":"collect","label":"Доля класса «оба признака доминантные» в дигибридном скрещивании","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:6eadadbc2dadabee6fd9a2c636ae6a9e2cf25883093eaa1bda73f7820c6e892a"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_cross"},"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:mcp:entity:Клетка-4","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-10","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-5","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-11","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-5","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-12","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-6","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-13","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-6","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-14","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-7","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-15","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-7","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-16","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-8","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-17","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-8","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-18","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-9","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-19","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_observed"},"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:mcp:entity:Клетка-9","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-20","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-10","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-22","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-11","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-24","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-12","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-26","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-13","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-29","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-1","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-14","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-31","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-15","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-33","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-16","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-36","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-1","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-5","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-2","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-6","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-3","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-7","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-3","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"id":"urn:proof:assert:urn:mcp:case#fact-8","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Клетка-4","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"id":"urn:proof:assert:urn:mcp:case#fact-9","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Rational"},"value":"9/16"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_fraction"},"head":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v1"},{"kind":"binary","left":{"input":{"binders":[],"distinct":true,"element":{"kind":"var","var":"v2"},"generator":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v2"},{"kind":"var","var":"v1"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_outcome"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v2","type":{"name":"urn:bio:clir:mendel#Offspring"}}},"kind":"aggregate","op":"count"},"op":"div","right":{"input":{"binders":[],"distinct":true,"element":{"kind":"var","var":"v2"},"generator":{"formula":{"args":[{"kind":"var","var":"v0"},{"kind":"var","var":"v2"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_member"},"kind":"status","status":"established"},"kind":"comprehension","variable":{"id":"v2","type":{"name":"urn:bio:clir:mendel#Offspring"}}},"kind":"aggregate","op":"count"}}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_fraction"},"id":"urn:proof:apply:FractionDihybridClass:cfc94688a254c9d6ad89a2e7858d9ad0ddb77adab5cb7325e5ffcf110769fb05","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-10","urn:proof:assert:urn:mcp:case#fact-11","urn:proof:assert:urn:mcp:case#fact-12","urn:proof:assert:urn:mcp:case#fact-13","urn:proof:assert:urn:mcp:case#fact-14","urn:proof:assert:urn:mcp:case#fact-15","urn:proof:assert:urn:mcp:case#fact-16","urn:proof:assert:urn:mcp:case#fact-17","urn:proof:assert:urn:mcp:case#fact-18","urn:proof:assert:urn:mcp:case#fact-19","urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-20","urn:proof:assert:urn:mcp:case#fact-22","urn:proof:assert:urn:mcp:case#fact-24","urn:proof:assert:urn:mcp:case#fact-26","urn:proof:assert:urn:mcp:case#fact-29","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-31","urn:proof:assert:urn:mcp:case#fact-33","urn:proof:assert:urn:mcp:case#fact-36","urn:proof:assert:urn:mcp:case#fact-4","urn:proof:assert:urn:mcp:case#fact-5","urn:proof:assert:urn:mcp:case#fact-6","urn:proof:assert:urn:mcp:case#fact-7","urn:proof:assert:urn:mcp:case#fact-8","urn:proof:assert:urn:mcp:case#fact-9"],"rule":"urn:bio:clir:mendel#FractionDihybridClass","sourceAnchors":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"strength":"strict","substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"v1","type":{"name":"urn:bio:clir:mendel#DihybridClass"}}]},{"conclusion":{"comprehension":{"distinct":true,"element":{"kind":"var","var":"v0"},"generator":{"formula":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:bio:clir:mendel#BothDominant","kind":"entity_ref"},{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_class_fraction"},"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:FractionDihybridClass:cfc94688a254c9d6ad89a2e7858d9ad0ddb77adab5cb7325e5ffcf110769fb05"],"trust":"engine"}],"symbols":[{"id":"urn:bio:clir:mendel#BothDominant","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"beide dominante Merkmale"}],"name":"BothDominant","package":"urn:bio:clir:mendel","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:mendel#BothRecessive","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"beide recessive Merkmale"}],"name":"BothRecessive","package":"urn:bio:clir:mendel","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:mendel#CountDihybridClass","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Подсчёт класса дигибридного скрещивания"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#CountDihybridTotal","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Подсчёт всех исходов дигибридного скрещивания"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#Cross","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"name":"Cross","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#DihybridClass","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Phänotypklasse einer dihybriden Kreuzung"}],"name":"DihybridClass","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#FirstDominantSecondRecessive","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"erstes dominant, zweites recessiv"}],"name":"FirstDominantSecondRecessive","package":"urn:bio:clir:mendel","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:mendel#FirstRecessiveSecondDominant","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"erstes recessiv, zweites dominant"}],"name":"FirstRecessiveSecondDominant","package":"urn:bio:clir:mendel","parameters":[],"symbolKind":"constant"},{"id":"urn:bio:clir:mendel#FractionDihybridClass","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Точная доля класса дигибридного скрещивания"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#Offspring","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Nachkomme oder gezählte Punnett-Zelle"}],"name":"Offspring","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#dihybrid_class_count","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Zahl der Klasse"}],"name":"dihybrid_class_count","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_class_count/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#dihybrid_class_count/arg/k","labels":[],"name":"k","type":{"name":"urn:bio:clir:mendel#DihybridClass"}},{"id":"urn:bio:clir:mendel#dihybrid_class_count/arg/n","labels":[],"name":"n","type":{"name":"urn:law:std#Integer"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_class_fraction","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"genauer Anteil der Klasse"}],"name":"dihybrid_class_fraction","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_class_fraction/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#dihybrid_class_fraction/arg/k","labels":[],"name":"k","type":{"name":"urn:bio:clir:mendel#DihybridClass"}},{"id":"urn:bio:clir:mendel#dihybrid_class_fraction/arg/share","labels":[],"name":"share","type":{"name":"urn:law:std#Rational"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_class_observed","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Klasse kommt im gezählten Fall vor"}],"name":"dihybrid_class_observed","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_class_observed/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#dihybrid_class_observed/arg/k","labels":[],"name":"k","type":{"name":"urn:bio:clir:mendel#DihybridClass"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_cross","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"gezählte dihybride Kreuzung"}],"name":"dihybrid_cross","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_cross/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_member","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Element der gezählten dihybriden Reihe"}],"name":"dihybrid_member","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_member/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#dihybrid_member/arg/o","labels":[],"name":"o","type":{"name":"urn:bio:clir:mendel#Offspring"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_outcome","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"gezähltes Ergebnis der dihybriden Kreuzung"}],"name":"dihybrid_outcome","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_outcome/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#dihybrid_outcome/arg/o","labels":[],"name":"o","type":{"name":"urn:bio:clir:mendel#Offspring"}},{"id":"urn:bio:clir:mendel#dihybrid_outcome/arg/k","labels":[],"name":"k","type":{"name":"urn:bio:clir:mendel#DihybridClass"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_total_count","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Zahl aller dihybriden Ergebnisse"}],"name":"dihybrid_total_count","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_total_count/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#dihybrid_total_count/arg/n","labels":[],"name":"n","type":{"name":"urn:law:std#Integer"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:148f69303d6be2f738e67f8bb9b19bd825fb047d9e074620da671d699a2b7bef","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:9458ca277512bd4450b558fb82df2031246ebcd4068f13d4f0221a6e1d6e3518","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Скрещивание","BothDominant",{"kind":"var","var":"v0"}],"facts":[{"args":["Скрещивание"],"predicate":"dihybrid_cross"},{"args":["Скрещивание","BothDominant"],"predicate":"dihybrid_class_observed"},{"args":["Скрещивание","Клетка-1"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-1","BothDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-2"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-2","BothDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-3"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-3","BothDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-4"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-4","BothDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-5"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-5","BothDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-6"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-6","BothDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-7"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-7","BothDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-8"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-8","BothDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-9"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-9","BothDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","FirstDominantSecondRecessive"],"predicate":"dihybrid_class_observed"},{"args":["Скрещивание","Клетка-10"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-10","FirstDominantSecondRecessive"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-11"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-11","FirstDominantSecondRecessive"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-12"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-12","FirstDominantSecondRecessive"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","FirstRecessiveSecondDominant"],"predicate":"dihybrid_class_observed"},{"args":["Скрещивание","Клетка-13"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-13","FirstRecessiveSecondDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-14"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-14","FirstRecessiveSecondDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","Клетка-15"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-15","FirstRecessiveSecondDominant"],"predicate":"dihybrid_outcome"},{"args":["Скрещивание","BothRecessive"],"predicate":"dihybrid_class_observed"},{"args":["Скрещивание","Клетка-16"],"predicate":"dihybrid_member"},{"args":["Скрещивание","Клетка-16","BothRecessive"],"predicate":"dihybrid_outcome"}],"kind":"collect","legalTime":"2026-08-31","package":"bio-mendel","predicate":"dihybrid_class_fraction","proof":true},"sources":[{"contentHash":"sha256:b5513fabbd6d60ceae8668bba2b911546b0eddb9abd370d84f13b20d6121732f","edition":"urn:bio:clir:mendel#MENDEL_DE_REPRINT","fragmentKind":"section","id":"urn:bio:clir:mendel#MENDEL_INDEPENDENCE","kind":"fragment","locator":"section/kombinationsreihe","package":"urn:bio:clir:mendel","texts":[{"contentHash":"sha256:a6cfaadc44489d0f3f19c08e02fa309b06bd64fe337066cb7c3d72705523c950","language":"de","status":"unofficial","text":"in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden"}]}],"text":"Найдено записей: 1.\nЗначения ?v0: 9/16\nВыведено правом: dihybrid_class_count(Скрещивание, FirstDominantSecondRecessive, 3); dihybrid_class_count(Скрещивание, FirstRecessiveSecondDominant, 3); dihybrid_class_count(Скрещивание, BothRecessive, 1); dihybrid_class_count(Скрещивание, BothDominant, 9); dihybrid_total_count(Скрещивание, 16); dihybrid_class_fraction(Скрещивание, FirstRecessiveSecondDominant, 3/16); dihybrid_class_fraction(Скрещивание, FirstDominantSecondRecessive, 3/16); dihybrid_class_fraction(Скрещивание, BothRecessive, 1/16); dihybrid_class_fraction(Скрещивание, BothDominant, 9/16)\nПрименены правила: CountDihybridClass, CountDihybridTotal, FractionDihybridClass\nПраво (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…)\nproof-граф: 47 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"установлено","missingInputs":[],"truthStatus":"TRUE_ONLY"},"closedEditionRules":[],"derived":["dihybrid_total_count(Скрещивание, 0)","independently_assorts(Скрещивание)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_cross"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":0}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_total_count"},"evidence":[],"id":"urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:bio:clir:mendel#CountDihybridTotal","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"},{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#cross_uses_traits"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"strength":"defeasible"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"evidence":[],"id":"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:bio:clir:mendel#IndependentCombination","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},"v2":{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"}}},{"attributes":{"allApplicableCandidateIds":["urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"],"conflictKey":"{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"}","evaluationInputSemanticHash":"sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262","priorityGraphHash":"sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284","programSemanticHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","stratum":0,"survivingCandidateIds":["urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"]},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"evidence":[],"id":"urn:proof:closure:d67a31a7575167955ca1619b8934568fd7467309fbc651ad4e88f642049db119","kind":"candidate_closure","premises":["urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"],"sourceAnchors":[]},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"truthStatus":"TRUE_ONLY"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":["urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"],"sourceAnchors":[]}],"proofHash":"sha256:f059c276e33a89a9e92236a4fa591180e54597864e66da1097199b2c1899e420","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:50d4e7a151bfd8b63439f8a6395a020cd04f87fafe60b21bf4d6d146b540610a","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:50d4e7a151bfd8b63439f8a6395a020cd04f87fafe60b21bf4d6d146b540610a","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:bio:clir:mendel#CountDihybridTotal","urn:bio:clir:mendel#IndependentCombination"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}}],"predicate":"urn:bio:clir:mendel#independently_assorts","schemaVersion":"law.answers.signature/0.1","types":{"urn:bio:clir:mendel#Cross":{"kind":"entity","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"namespace":"urn:bio:clir:mendel","package":"bio.mendel"}},"vocab":{}},"vulnerableTo":[],"whyNot":[]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:c0db6f0d384db640f24a4c244a1a884ea2e777b344bf74cadbcf3a5932fd6188\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_cross\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":0}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_total_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:mendel#CountDihybridTotal\",\"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\"},{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#cross_uses_traits\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeasible\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:mendel#IndependentCombination\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"allApplicableCandidateIds\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\"],\"conflictKey\":\"{\\\"args\\\":[{\\\"id\\\":\\\"urn:mcp:entity:Скрещивание\\\",\\\"kind\\\":\\\"entity_ref\\\"}],\\\"predicate\\\":\\\"urn:bio:clir:mendel#independently_assorts\\\"}\",\"evaluationInputSemanticHash\":\"sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262\",\"priorityGraphHash\":\"sha256:055aa8b384c4f7b5f8397630ec50fdcbb4ae6245eeb46f1b885f1186230d9284\",\"programSemanticHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"stratum\":0,\"survivingCandidateIds\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\"]},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:closure:d67a31a7575167955ca1619b8934568fd7467309fbc651ad4e88f642049db119\",\"kind\":\"candidate_closure\",\"premises\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\"],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:f059c276e33a89a9e92236a4fa591180e54597864e66da1097199b2c1899e420\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:50d4e7a151bfd8b63439f8a6395a020cd04f87fafe60b21bf4d6d146b540610a\",\"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:mendel#independently_assorts\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:0c9a494f9cc9821c39ad85c5da623d39b0f91746f88765115f38df81dfc27c43","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_cross"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#cross_uses_traits"},"origin":"case_input","package":"urn:bio:clir:mendel"}],"context":{"decisionTime":"2026-08-31T12:00:00+05:00","knowledgeTime":"2026-08-31T12:00:00+05:00","legalTime":"2026-08-31","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:82e39472d0a0a8e6c7d754b826d6a7d2c16982b337f57f2e8ff36309f8d9fe7a","kind":"world_ref","nodeCount":48,"packages":[{"artifactHash":"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012","namespace":"urn:bio:clir:mendel","package":"bio-mendel","semanticHash":"sha256:a3fa708325d9bc089306c4459667f679908577742cf38dc9dca53f0a6a369c00"}],"programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:e4eeaf9be0482978437efd14c4cb1f3cf60530a2dce03f7225cc856686b1521d"},"id":"calc-4","kind":"truth","label":"Независимое комбинирование двух признаков","presentation":{"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:e4eeaf9be0482978437efd14c4cb1f3cf60530a2dce03f7225cc856686b1521d"},"steps":[{"assertionOrigin":"case_input","conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_cross"},"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:mcp:entity:Признак-1","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#cross_uses_traits"},"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","originStatus":"available","premises":[],"trust":"case"},{"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"head":{"args":[{"kind":"var","var":"v0"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"id":"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40","kind":"rule_application","originStatus":"available","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:bio:clir:mendel#IndependentCombination","sourceAnchors":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"strength":"defeasible","substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},"v2":{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"}},"trust":"engine","variables":[{"id":"v0","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"v1","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"v2","type":{"name":"urn:bio:clir:mendel#Trait"}}]},{"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"truthStatus":"TRUE_ONLY"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":["urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40"],"trust":"engine"}],"symbols":[{"id":"urn:bio:clir:mendel#CountDihybridTotal","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Подсчёт всех исходов дигибридного скрещивания"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#Cross","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"name":"Cross","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#IndependentCombination","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Независимое комбинирование двух признаков"}],"package":"urn:bio:clir:mendel","strength":"defeasible"},{"id":"urn:bio:clir:mendel#Trait","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Merkmal"}],"name":"Trait","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#cross_uses_traits","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Kreuzung vereinigt zwei Merkmale"}],"name":"cross_uses_traits","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#cross_uses_traits/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#cross_uses_traits/arg/first","labels":[],"name":"first","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"urn:bio:clir:mendel#cross_uses_traits/arg/second","labels":[],"name":"second","type":{"name":"urn:bio:clir:mendel#Trait"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_cross","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"gezählte dihybride Kreuzung"}],"name":"dihybrid_cross","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_cross/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_total_count","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Zahl aller dihybriden Ergebnisse"}],"name":"dihybrid_total_count","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_total_count/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#dihybrid_total_count/arg/n","labels":[],"name":"n","type":{"name":"urn:law:std#Integer"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#independently_assorts","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Merkmale kombinieren unabhängig"}],"name":"independently_assorts","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#independently_assorts/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:6e11466b3898fb6157bfd30d31e35ff42ed25dfb5cf784cc58a65e4e98f2c262","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:50d4e7a151bfd8b63439f8a6395a020cd04f87fafe60b21bf4d6d146b540610a","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Скрещивание"],"facts":[{"args":["Скрещивание"],"predicate":"dihybrid_cross"},{"args":["Скрещивание","Признак-1","Признак-2"],"predicate":"cross_uses_traits"}],"kind":"truth","legalTime":"2026-08-31","package":"bio-mendel","predicate":"independently_assorts","proof":true},"sources":[{"contentHash":"sha256:b5513fabbd6d60ceae8668bba2b911546b0eddb9abd370d84f13b20d6121732f","edition":"urn:bio:clir:mendel#MENDEL_DE_REPRINT","fragmentKind":"section","id":"urn:bio:clir:mendel#MENDEL_INDEPENDENCE","kind":"fragment","locator":"section/kombinationsreihe","package":"urn:bio:clir:mendel","texts":[{"contentHash":"sha256:a6cfaadc44489d0f3f19c08e02fa309b06bd64fe337066cb7c3d72705523c950","language":"de","status":"unofficial","text":"in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden"}]}],"text":"independently_assorts: **TRUE_ONLY** — установлено\nВыведено правом: dihybrid_total_count(Скрещивание, 0); independently_assorts(Скрещивание)\nПрименены правила: CountDihybridTotal, IndependentCombination\nПраво (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…)\nproof-граф: 6 узлов — поле evaluation готово для law_explain"},{"answer":{"answer":{"evaluationStatus":"COMPUTED","kind":"TRUTH","meaning":"НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»","missingInputs":[],"truthStatus":"NEITHER"},"closedEditionRules":[],"derived":["dihybrid_total_count(Скрещивание, 0)","independently_assorts(Скрещивание)"],"derivedOmitted":0,"evaluation":{"proofGraph":{"nodes":[{"attributes":{"assertion":"urn:mcp:case#fact-1"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_cross"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-1","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"kind":"value","type":{"name":"urn:law:std#Integer"},"value":0}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_total_count"},"evidence":[],"id":"urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1"],"rule":"urn:bio:clir:mendel#CountDihybridTotal","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"},{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#cross_uses_traits"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-2","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"strength":"defeasible"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"evidence":[],"id":"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-1","urn:proof:assert:urn:mcp:case#fact-2"],"rule":"urn:bio:clir:mendel#IndependentCombination","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},"v2":{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"}}},{"attributes":{"assertion":"urn:mcp:case#fact-3"},"conclusion":{"args":[{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},{"id":"urn:mcp:entity:Хромосома","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#trait_on_chromosome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-3","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"assertion":"urn:mcp:case#fact-4"},"conclusion":{"args":[{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"},{"id":"urn:mcp:entity:Хромосома","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#trait_on_chromosome"},"evidence":[],"id":"urn:proof:assert:urn:mcp:case#fact-4","kind":"assertion","premises":[],"sourceAnchors":[]},{"attributes":{"strength":"defeater"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"evidence":[],"id":"urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d","kind":"rule_application","premises":["urn:proof:assert:urn:mcp:case#fact-2","urn:proof:assert:urn:mcp:case#fact-3","urn:proof:assert:urn:mcp:case#fact-4"],"rule":"urn:bio:clir:mendel#MorganLinkageDefeatsIndependence","sourceAnchors":[],"substitution":{"v0":{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},"v1":{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},"v2":{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"},"v3":{"id":"urn:mcp:entity:Хромосома","kind":"entity_ref"}}},{"attributes":{"defeated":"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40","reason":"defeater"},"conclusion":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"evidence":[],"id":"urn:proof:defeat:26409956c8f2562ec79529772466e2086a5684b916e94bbf5a16e1040e3496ff","kind":"defeat","outcome":"DEFEATED","premises":["urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40","urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d"],"priorityPath":[],"sourceAnchors":[]},{"attributes":{},"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"truthStatus":"NEITHER"},"evidence":[],"id":"urn:proof:query:mcp","kind":"query_evaluation","premises":[],"sourceAnchors":[]}],"proofHash":"sha256:a93daed958cfa28457217de28131a2cca84c6736d8027833ddd9b3935af3a7c7","roots":["urn:proof:query:mcp"]},"resultHash":"sha256:9c3bfd931eea46e3b6ffae3984065b89f4884978f32788b5bc183f217037958a","schemaVersion":"law.core.evaluation/0.2"},"evaluationStatus":"COMPUTED","issues":[],"judgmentRequests":[],"proofRef":"urn:proof:query:mcp","provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:07281eb59f13916209573cd058eaae690098a48bf8e81825054df040e590ca73","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:9c3bfd931eea46e3b6ffae3984065b89f4884978f32788b5bc183f217037958a","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"rulesApplied":["urn:bio:clir:mendel#CountDihybridTotal","urn:bio:clir:mendel#IndependentCombination","urn:bio:clir:mendel#MorganLinkageDefeatsIndependence"],"signature":{"constants":{},"parameters":[{"labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}}],"predicate":"urn:bio:clir:mendel#independently_assorts","schemaVersion":"law.answers.signature/0.1","types":{"urn:bio:clir:mendel#Cross":{"kind":"entity","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"namespace":"urn:bio:clir:mendel","package":"bio.mendel"}},"vocab":{}},"vulnerableTo":[],"whyNot":[{"anchors":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"computedHead":false,"label":"Независимое комбинирование двух признаков","premises":[{"premise":"dihybrid_cross(Скрещивание)","status":"TRUE_ONLY"},{"premise":"cross_uses_traits(Скрещивание, Признак-1, Признак-2)","status":"TRUE_ONLY"}],"rule":"IndependentCombination"},{"anchors":[],"computedHead":false,"label":"Сцепление генов отменяет независимое комбинирование","premises":[{"premise":"cross_uses_traits(Скрещивание, Признак-1, Признак-2)","status":"TRUE_ONLY"},{"premise":"trait_on_chromosome(Признак-1, Хромосома)","status":"TRUE_ONLY"},{"premise":"trait_on_chromosome(Признак-2, Хромосома)","status":"TRUE_ONLY"}],"rule":"MorganLinkageDefeatsIndependence"}]},"execution":{"evaluationBytes":"{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:07281eb59f13916209573cd058eaae690098a48bf8e81825054df040e590ca73\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:8f4fedce6eb8e7693414f2658ddca8c03a53fc0295bda6da09be2961cf6d2b8d\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_cross\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":0}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#dihybrid_total_count\"},\"evidence\":[],\"id\":\"urn:proof:apply:CountDihybridTotal:2892a8fc9798c7cc76263c261eb88aa54f93d8fa6f014e2e0766ff6d14d9a0e6\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:bio:clir:mendel#CountDihybridTotal\",\"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\"},{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#cross_uses_traits\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-2\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeasible\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\",\"urn:proof:assert:urn:mcp:case#fact-2\"],\"rule\":\"urn:bio:clir:mendel#IndependentCombination\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-3\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Хромосома\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#trait_on_chromosome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-3\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-4\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"},{\"id\":\"urn:mcp:entity:Хромосома\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#trait_on_chromosome\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-4\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{\"strength\":\"defeater\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-2\",\"urn:proof:assert:urn:mcp:case#fact-3\",\"urn:proof:assert:urn:mcp:case#fact-4\"],\"rule\":\"urn:bio:clir:mendel#MorganLinkageDefeatsIndependence\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"},\"v1\":{\"id\":\"urn:mcp:entity:Признак-1\",\"kind\":\"entity_ref\"},\"v2\":{\"id\":\"urn:mcp:entity:Признак-2\",\"kind\":\"entity_ref\"},\"v3\":{\"id\":\"urn:mcp:entity:Хромосома\",\"kind\":\"entity_ref\"}}},{\"attributes\":{\"defeated\":\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\",\"reason\":\"defeater\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"evidence\":[],\"id\":\"urn:proof:defeat:26409956c8f2562ec79529772466e2086a5684b916e94bbf5a16e1040e3496ff\",\"kind\":\"defeat\",\"outcome\":\"DEFEATED\",\"premises\":[\"urn:proof:apply:IndependentCombination:56ca252b88a880ff302d7f78a1dd3c96a15d1ed38cf02bea355959acd7082a40\",\"urn:proof:apply:MorganLinkageDefeatsIndependence:7d74ae4016263a7fe5f972d56544225b8bfbdfe4bcf4be3e3d27ed4ef32d865d\"],\"priorityPath\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Скрещивание\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:bio:clir:mendel#independently_assorts\"},\"truthStatus\":\"NEITHER\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:a93daed958cfa28457217de28131a2cca84c6736d8027833ddd9b3935af3a7c7\",\"roots\":[\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:9c3bfd931eea46e3b6ffae3984065b89f4884978f32788b5bc183f217037958a\",\"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:mendel#independently_assorts\",\"truthStatus\":\"NEITHER\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}","evaluationSha256":"sha256:91d6f76fd85a06883652a1fa5e830e3fd7f596c17edb04b3f5e0d243f4a5ea00","request":{"case":{"assertions":[{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-1","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#dihybrid_cross"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-2","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#cross_uses_traits"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-3","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Признак-1","kind":"entity_ref"},{"id":"urn:mcp:entity:Хромосома","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#trait_on_chromosome"},"origin":"case_input","package":"urn:bio:clir:mendel"},{"contentHash":"sha256:0000000000000000000000000000000000000000000000000000000000000000","evidence":[],"id":"urn:mcp:case#fact-4","kind":"assertion","literal":{"args":[{"id":"urn:mcp:entity:Признак-2","kind":"entity_ref"},{"id":"urn:mcp:entity:Хромосома","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#trait_on_chromosome"},"origin":"case_input","package":"urn:bio:clir:mendel"}],"context":{"decisionTime":"2026-08-31T12:00:00+05:00","knowledgeTime":"2026-08-31T12:00:00+05:00","legalTime":"2026-08-31","timezone":"Asia/Qyzylorda"},"options":{"selectedInterpretations":[]}},"ir":{"irSha256":"sha256:82e39472d0a0a8e6c7d754b826d6a7d2c16982b337f57f2e8ff36309f8d9fe7a","kind":"world_ref","nodeCount":48,"packages":[{"artifactHash":"sha256:a26de66a905f54b103955f9b6cf1179c92990e4069cc058d4d9f2a034aea0012","namespace":"urn:bio:clir:mendel","package":"bio-mendel","semanticHash":"sha256:a3fa708325d9bc089306c4459667f679908577742cf38dc9dca53f0a6a369c00"}],"programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3"},"query":{"kind":"truth","literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"queryId":"urn:query:mcp"},"schemaVersion":"law.core.evaluation-request/0.2","semanticVersion":"0.2"},"requestCanonicalSha256":"sha256:2377c9397b742404ee783eb10b01881edace8e6999857c2ae70311d79a901546"},"id":"calc-5","kind":"truth","label":"Те же признаки на одной хромосоме: сцепление по Моргану","presentation":{"blockers":{"whyNot":[{"anchors":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"label":"Независимое комбинирование двух признаков","premises":[{"args":["Скрещивание"],"predicate":"dihybrid_cross","predicateId":"urn:bio:clir:mendel#dihybrid_cross","status":"TRUE_ONLY","text":"dihybrid_cross(Скрещивание)"},{"args":["Скрещивание","Признак-1","Признак-2"],"predicate":"cross_uses_traits","predicateId":"urn:bio:clir:mendel#cross_uses_traits","status":"TRUE_ONLY","text":"cross_uses_traits(Скрещивание, Признак-1, Признак-2)"}],"rule":"IndependentCombination","ruleId":"urn:bio:clir:mendel#IndependentCombination"},{"anchors":[],"label":"Сцепление генов отменяет независимое комбинирование","premises":[{"args":["Скрещивание","Признак-1","Признак-2"],"predicate":"cross_uses_traits","predicateId":"urn:bio:clir:mendel#cross_uses_traits","status":"TRUE_ONLY","text":"cross_uses_traits(Скрещивание, Признак-1, Признак-2)"},{"args":["Признак-1","Хромосома"],"predicate":"trait_on_chromosome","predicateId":"urn:bio:clir:mendel#trait_on_chromosome","status":"TRUE_ONLY","text":"trait_on_chromosome(Признак-1, Хромосома)"},{"args":["Признак-2","Хромосома"],"predicate":"trait_on_chromosome","predicateId":"urn:bio:clir:mendel#trait_on_chromosome","status":"TRUE_ONLY","text":"trait_on_chromosome(Признак-2, Хромосома)"}],"rule":"MorganLinkageDefeatsIndependence","ruleId":"urn:bio:clir:mendel#MorganLinkageDefeatsIndependence"}]},"schemaVersion":"law.answers.presentation/0.1","source":{"requestCanonicalSha256":"sha256:2377c9397b742404ee783eb10b01881edace8e6999857c2ae70311d79a901546"},"steps":[{"conclusion":{"literal":{"args":[{"id":"urn:mcp:entity:Скрещивание","kind":"entity_ref"}],"kind":"literal","polarity":"positive","predicate":"urn:bio:clir:mendel#independently_assorts"},"truthStatus":"NEITHER"},"id":"urn:proof:query:mcp","kind":"query_evaluation","originStatus":"available","premises":[],"trust":"engine"}],"symbols":[{"id":"urn:bio:clir:mendel#Chromosome","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Chromosom"}],"name":"Chromosome","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#CountDihybridTotal","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Подсчёт всех исходов дигибридного скрещивания"}],"package":"urn:bio:clir:mendel","strength":"strict"},{"id":"urn:bio:clir:mendel#Cross","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Kreuzungsfall"}],"name":"Cross","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#IndependentCombination","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Независимое комбинирование двух признаков"}],"package":"urn:bio:clir:mendel","strength":"defeasible"},{"id":"urn:bio:clir:mendel#MorganLinkageDefeatsIndependence","kind":"rule","labels":[{"language":"ru","status":"unofficial","text":"Сцепление генов отменяет независимое комбинирование"}],"package":"urn:bio:clir:mendel","strength":"defeater"},{"id":"urn:bio:clir:mendel#Trait","kind":"type_decl","labels":[{"language":"de","status":"unofficial","text":"Merkmal"}],"name":"Trait","package":"urn:bio:clir:mendel"},{"id":"urn:bio:clir:mendel#cross_uses_traits","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Kreuzung vereinigt zwei Merkmale"}],"name":"cross_uses_traits","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#cross_uses_traits/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#cross_uses_traits/arg/first","labels":[],"name":"first","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"urn:bio:clir:mendel#cross_uses_traits/arg/second","labels":[],"name":"second","type":{"name":"urn:bio:clir:mendel#Trait"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_cross","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"gezählte dihybride Kreuzung"}],"name":"dihybrid_cross","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_cross/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#dihybrid_total_count","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Zahl aller dihybriden Ergebnisse"}],"name":"dihybrid_total_count","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#dihybrid_total_count/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}},{"id":"urn:bio:clir:mendel#dihybrid_total_count/arg/n","labels":[],"name":"n","type":{"name":"urn:law:std#Integer"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#independently_assorts","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Merkmale kombinieren unabhängig"}],"name":"independently_assorts","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#independently_assorts/arg/c","labels":[],"name":"c","type":{"name":"urn:bio:clir:mendel#Cross"}}],"symbolKind":"relation"},{"id":"urn:bio:clir:mendel#trait_on_chromosome","kind":"symbol_decl","labels":[{"language":"de","status":"unofficial","text":"Merkmal liegt auf Chromosom"}],"name":"trait_on_chromosome","package":"urn:bio:clir:mendel","parameters":[{"id":"urn:bio:clir:mendel#trait_on_chromosome/arg/t","labels":[],"name":"t","type":{"name":"urn:bio:clir:mendel#Trait"}},{"id":"urn:bio:clir:mendel#trait_on_chromosome/arg/chr","labels":[],"name":"chr","type":{"name":"urn:bio:clir:mendel#Chromosome"}}],"symbolKind":"relation"}],"tables":[]},"provenance":{"acts":[{"contributed":true,"fragmentCount":3,"fragments":["urn:bio:clir:mendel#MENDEL_INDEPENDENCE"],"jurisdiction":"none","namespace":"urn:bio:clir:mendel","package":"bio-mendel","title":"Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — вне юрисдикции государства — доктрина"}],"caseHash":"sha256:07281eb59f13916209573cd058eaae690098a48bf8e81825054df040e590ca73","codeHash":"sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699","jurisdiction":"вне юрисдикции государства","legalTime":"2026-08-31","mode":"audit","programHash":"sha256:0319f609396989fe3133d3122813b2c299ff3cc66e08a11980ef8e65bcd950d3","resultHash":"sha256:9c3bfd931eea46e3b6ffae3984065b89f4884978f32788b5bc183f217037958a","rustCodeHash":"sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4","timezone":"Asia/Qyzylorda"},"request":{"args":["Скрещивание"],"facts":[{"args":["Скрещивание"],"predicate":"dihybrid_cross"},{"args":["Скрещивание","Признак-1","Признак-2"],"predicate":"cross_uses_traits"},{"args":["Признак-1","Хромосома"],"predicate":"trait_on_chromosome"},{"args":["Признак-2","Хромосома"],"predicate":"trait_on_chromosome"}],"kind":"truth","legalTime":"2026-08-31","package":"bio-mendel","predicate":"independently_assorts","proof":true},"sources":[{"contentHash":"sha256:b5513fabbd6d60ceae8668bba2b911546b0eddb9abd370d84f13b20d6121732f","edition":"urn:bio:clir:mendel#MENDEL_DE_REPRINT","fragmentKind":"section","id":"urn:bio:clir:mendel#MENDEL_INDEPENDENCE","kind":"fragment","locator":"section/kombinationsreihe","package":"urn:bio:clir:mendel","texts":[{"contentHash":"sha256:a6cfaadc44489d0f3f19c08e02fa309b06bd64fe337066cb7c3d72705523c950","language":"de","status":"unofficial","text":"in hybrider Verbindung unabhängig ist von den anderweitigen Unterschieden"}]}],"text":"independently_assorts: **NEITHER** — НЕ УСТАНОВЛЕНО: в формализованном праве нет ни подтверждения, ни опровержения (открытый мир §69) — это не «нет»\nВыведено правом: dihybrid_total_count(Скрещивание, 0); independently_assorts(Скрещивание)\nПрименены правила: CountDihybridTotal, IndependentCombination, MorganLinkageDefeatsIndependence\nПравило «Независимое комбинирование двух признаков» вывело бы это при посылках:\n    ✓ dihybrid_cross(Скрещивание) — TRUE_ONLY\n    ✓ cross_uses_traits(Скрещивание, Признак-1, Признак-2) — TRUE_ONLY\nПравило «Сцепление генов отменяет независимое комбинирование» вывело бы это при посылках:\n    ✓ cross_uses_traits(Скрещивание, Признак-1, Признак-2) — TRUE_ONLY\n    ✓ trait_on_chromosome(Признак-1, Хромосома) — TRUE_ONLY\n    ✓ trait_on_chromosome(Признак-2, Хромосома) — TRUE_ONLY\n(? — факт не подан и не выведен; ✗ — установлено обратное)\nПолные правила с посылками: law_rules({\"predicate\": \"independently_assorts\"})\nПраво (вне юрисдикции государства): Gregor Mendel, Versuche über Pflanzen-Hybriden (1866): ограниченная формализация наследования — доктрина (programHash sha256:0319f6093969…)\nproof-граф: 9 узлов — поле evaluation готово для law_explain"}],"language":"ru","question":{"origin":"user","text":"Гибрид по одному признаку даёт в решётке Пеннета три доминантных исхода из четырёх, дигибрид — девять из шестнадцати с обоими доминантными признаками. Какие гаметы образует гибрид, каковы точные доли, и что меняет сцепление генов на одной хромосоме?"},"schemaVersion":"law.answers.document/0.1"}