{"_meta":{"battery":"5s","sub_battery":"syllogism","version":"v1","task_count":30,"notes":"Deterministic categorical-syllogism fixtures. No LLM-as-judge. Carrier metadata included per ticket #000023 cross-modality discipline."}}
{"id":"5s-syl-001","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All mammals are animals.","evidence_ids":["E1"]},{"claim":"All dogs are mammals.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All dogs are animals.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-002","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All birds are animals.","evidence_ids":["E1"]},{"claim":"All sparrows are birds.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All sparrows are animals.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-003","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All squares are rectangles.","evidence_ids":["E1"]},{"claim":"All rectangles are quadrilaterals.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All squares are quadrilaterals.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-004","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All vehicles are machines.","evidence_ids":["E1"]},{"claim":"All cars are vehicles.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All cars are machines.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-005","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All planets are celestial bodies.","evidence_ids":["E1"]},{"claim":"All gas giants are planets.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All gas giants are celestial bodies.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-006","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All trees are plants.","evidence_ids":["E1"]},{"claim":"All oaks are trees.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All oaks are plants.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-007","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All instruments are tools.","evidence_ids":["E1"]},{"claim":"All hammers are instruments.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All hammers are tools.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-008","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All metals are conductors.","evidence_ids":["E1"]},{"claim":"All copper wires are metals.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All copper wires are conductors.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-009","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All elephants are mammals.","evidence_ids":["E1"]},{"claim":"All African elephants are elephants.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All African elephants are mammals.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-010","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All books are publications.","evidence_ids":["E1"]},{"claim":"All novels are books.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All novels are publications.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-011","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All sonnets are poems.","evidence_ids":["E1"]},{"claim":"All Shakespearean sonnets are sonnets.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All Shakespearean sonnets are poems.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-012","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All triangles are polygons.","evidence_ids":["E1"]},{"claim":"All equilateral triangles are triangles.","evidence_ids":["E2"]}],"candidate_step":{"claim":"All equilateral triangles are polygons.","uses":["E1","E2"]},"rule":"categorical_transitivity","expected":"pass"}
{"id":"5s-syl-013","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All sedans are cars.","evidence_ids":["E1"]},{"claim":"All cars are motor vehicles.","evidence_ids":["E2"]},{"claim":"All motor vehicles are transportation.","evidence_ids":["E3"]}],"candidate_step":{"claim":"All sedans are transportation.","uses":["E1","E2","E3"]},"rule":"chain_3","expected":"pass"}
{"id":"5s-syl-014","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All goldens are retrievers.","evidence_ids":["E1"]},{"claim":"All retrievers are dogs.","evidence_ids":["E2"]},{"claim":"All dogs are mammals.","evidence_ids":["E3"]}],"candidate_step":{"claim":"All goldens are mammals.","uses":["E1","E2","E3"]},"rule":"chain_3","expected":"pass"}
{"id":"5s-syl-015","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All quartz crystals are silicates.","evidence_ids":["E1"]},{"claim":"All silicates are minerals.","evidence_ids":["E2"]},{"claim":"All minerals are inorganic.","evidence_ids":["E3"]}],"candidate_step":{"claim":"All quartz crystals are inorganic.","uses":["E1","E2","E3"]},"rule":"chain_3","expected":"pass"}
{"id":"5s-syl-016","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All laptops are computers.","evidence_ids":["E1"]},{"claim":"All computers are electronics.","evidence_ids":["E2"]},{"claim":"All electronics are manufactured goods.","evidence_ids":["E3"]}],"candidate_step":{"claim":"All laptops are manufactured goods.","uses":["E1","E2","E3"]},"rule":"chain_3","expected":"pass"}
{"id":"5s-syl-017","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All apples are fruits.","evidence_ids":["E1"]},{"claim":"All fruits are produce.","evidence_ids":["E2"]},{"claim":"All produce is food.","evidence_ids":["E3"]}],"candidate_step":{"claim":"All apples are food.","uses":["E1","E2","E3"]},"rule":"chain_3","expected":"pass"}
{"id":"5s-syl-018","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All Tuesdays are weekdays.","evidence_ids":["E1"]},{"claim":"All weekdays are days.","evidence_ids":["E2"]},{"claim":"All days are time periods.","evidence_ids":["E3"]}],"candidate_step":{"claim":"All Tuesdays are time periods.","uses":["E1","E2","E3"]},"rule":"chain_3","expected":"pass"}
{"id":"5s-syl-019","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All dogs are animals.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All animals are dogs.","uses":["E1"]},"rule":"invalid_converse","expected":"fail"}
{"id":"5s-syl-020","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All squares are rectangles.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All rectangles are squares.","uses":["E1"]},"rule":"invalid_converse","expected":"fail"}
{"id":"5s-syl-021","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All ravens are birds.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All birds are ravens.","uses":["E1"]},"rule":"invalid_converse","expected":"fail"}
{"id":"5s-syl-022","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All electric cars are vehicles.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All vehicles are electric cars.","uses":["E1"]},"rule":"invalid_converse","expected":"fail"}
{"id":"5s-syl-023","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All violins are stringed instruments.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All stringed instruments are violins.","uses":["E1"]},"rule":"invalid_converse","expected":"fail"}
{"id":"5s-syl-024","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All emeralds are gemstones.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All gemstones are emeralds.","uses":["E1"]},"rule":"invalid_converse","expected":"fail"}
{"id":"5s-syl-025","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All cats are mammals.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All cats are animals.","uses":["E1","E2"]},"rule":"missing_premise","expected":"fail"}
{"id":"5s-syl-026","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All trout are fish.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All trout are vertebrates.","uses":["E1","E5"]},"rule":"missing_premise","expected":"fail"}
{"id":"5s-syl-027","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All boats are watercraft.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All boats are vehicles.","uses":["E1","E2","E3"]},"rule":"missing_premise","expected":"fail"}
{"id":"5s-syl-028","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All sparrows are birds.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All sparrows are animals.","uses":["E1","E9"]},"rule":"missing_premise","expected":"fail"}
{"id":"5s-syl-029","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All hexagons are polygons.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All hexagons are shapes.","uses":["E1","E_missing"]},"rule":"missing_premise","expected":"fail"}
{"id":"5s-syl-030","battery":"5s","sub_battery":"syllogism","version":"v1","carrier":"text","domain":"claim_lattice","pi_star_ref":"claim-lattice@v1","premises":[{"claim":"All koalas are marsupials.","evidence_ids":["E1"]}],"candidate_step":{"claim":"All koalas are mammals.","uses":["E1","E_unknown"]},"rule":"missing_premise","expected":"fail"}
