@prefix this: . @prefix sub: . @prefix np: . @prefix rdf: . @prefix prov: . @prefix npx: . @prefix dc: . @prefix xsd: . sub:Head { this: a np:Nanopublication; np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubinfo . } sub:assertion { a ; dc:description "The Merck eruption table lists deciduous incisors, canines and premolars separately from permanent molars. A deciduous cell with an eruption age counts as a tooth that is shed when its permanent successor erupts. The pig sheds teeth if any such cell is filled. No species sheds molars if the table has no deciduous-molar row. OpenStax says the deciduous teeth are replaced and that the incisors are the front teeth; that is clause 1. Clause 3 failing while clause 2 holds is mixed, as pre-registered."; "Measured: 7 pig deciduous tooth classes with an eruption time (n = 7). Interpretation: The sentence has three clauses: man sheds his front teeth; no animal sheds its molars; the pig sheds none at all. 'Molars' are the permanent molar positions, not the deciduous premolars sometimes called milk molars. 'Sheds' means a deciduous tooth is replaced by a later permanent tooth. The pig is Sus scrofa."; "Claim test of aristotle-ha02-07: mixed, confidence 0.83"; ; prov:wasAttributedTo ; "A public eruption table for domestic mammals that separates deciduous and permanent teeth, and a public human primary-dentition account. The table's species are the animals tested for the molar clause; elephants and other species absent from the table are outside this measurement and are stated as a caveat, not added after the fact."; "claim-test/0.1.0"; "biological"; "The pig has at least one deciduous tooth class, or any species has a deciduous molar."; "Deciduous premolars are not counted as molars. Aristotle's 'molars' might have included cheek teeth that are now called premolars; that broader reading is not the one pre-registered.", "NCBI Bookshelf did not return chapter text to this client.", "The table covers horse, cow, sheep, goat, pig, dog and cat. Elephants, which replace molars, are outside this measurement."; "The pig column has no deciduous teeth, no species has a deciduous molar, and humans replace primary incisors."; "Refutes if clause 3 fails and clause 2 fails. Mixed if clause 3 fails and clause 2 holds, or if clause 3 holds and clause 2 fails. Clause 1 is reported either way and does not by itself change a mixed or refutes verdict reached from clauses 2 and 3. Inconclusive, reason data-unavailable, if the pig row cannot be parsed. A deciduous tooth with a later permanent successor of the same class counts as shed. Permanent molars with no deciduous predecessor count as not shed."; "0.83"^^xsd:double; , ; "mixed"; "Humans shed their front teeth, no species in the eruption table sheds molars, and the pig sheds no teeth."; "Parse deciduous rows (incisors, canines, premolars, molars) against permanent successors. Clause 3 fails if the pig has any deciduous eruption. Clause 2 fails if any species has a deciduous molar. Supports only if all three clauses hold. The pig clause failing while molars are not shed is mixed; both failing is refutes."; "Supports only if all three clauses hold. (1) Humans shed front teeth: primary incisors are described as erupted and later replaced or shed. (2) No animal sheds molars: the eruption table lists no deciduous molar for any species. (3) The pig sheds none of its teeth: the pig has no deciduous incisor, canine or premolar with an eruption time."; "true"^^xsd:boolean . . a ; dc:description "deciduous and permanent eruption rows"; dc:license "publicly readable; Merck Veterinary Manual terms"; "Dataset: Merck Veterinary Manual, eruption of the teeth"; prov:atLocation ; prov:wasDerivedFrom ; "sha256:5d2c5bf4d999894372ba22c6595c5950d1f1c7cb3eaeb079cbbc5fe7e804f1bb" . a ; dc:description "whether humans replace deciduous front teeth"; dc:license "OpenStax CC BY 4.0; NCBI page was a browser check"; "Dataset: NCBI Bookshelf page (blocked) and OpenStax section 23.3"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:b5913834c91deb654184243d6b2a067acec8d48550d1d345e919e7ec785533a0", "sha256:c4a0591823ec340e24cd9b8e4325c8d5da4d0a8836878c22a611027f80210d2d" . } sub:provenance { a prov:SoftwareAgent; "delphisci claim tester (grok-4.7; cursor/aristotle-claim-tests-7800)"; prov:actedOnBehalfOf ; . a ; dc:identifier "grok-4.7" . sub:assertion prov:wasAttributedTo ; prov:wasDerivedFrom ; prov:wasGeneratedBy sub:test . sub:plan prov:hadPlan . sub:test a prov:Activity; prov:qualifiedAssociation sub:plan; prov:wasAssociatedWith . } sub:pubinfo { this: dc:created "2026-11-08T16:24:31.750Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Claim test of aristotle-ha02-07: mixed, confidence 0.83"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "j27DR60ounVQpWgbPDymnS921S78AccdPZdJi51YxBERs8xkdSIvcqwfc2uYQ9WG0tvEwhBo07pNxTXXBuGw1frSi3l1RPSsdEysgM+4fzRgImG4TsTEmbs9T4KHhJcWrAlPz/X5S0jVqac0FyZPZykPFHPWo/A/Wo2TF27Z18LIexxmfbr7uclZsKu5HBQwiCLRP2ZcUQ9yH4TMtNdsw+CYkUrHrUmDL4PaDvH5LK+1bbu07jN3xCQ2sY1il9QYVlP33f54moqxv/VGVDqCCGied6mEo8od9RsMeq2V6Utuy6Dt3we9cty8V4IVa6HQ/6A9M2Vfl+YPuwhTKlXHgg=="; npx:hasSignatureTarget this:; npx:signedBy . }