@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 "analysis.py downloads Tran_AmNat_TablesS1_S2_S3.xls and reads the column names of each sheet. A tooth column is one whose name matches incisor, front tooth, anterior tooth, or dental. A stomach-chamber column is one whose name matches stomach, chamber, forestomach, or rumen. Digestive strategy is not counted as a chamber count. No cell values were used, because neither required column is present."; "Measured: null null (n = 0). Interpretation: Blooded viviparous animals with front teeth in both jaws are read as mammals with upper and lower incisors. A single stomach means one chamber, not merely the absence of rumination. Foregut fermentation is not treated as a synonym of a multi-chambered stomach unless the table itself codes chamber number. The named animals are examples inside the universal, not a substitute for it. The material scope of the fetched table may be herbivores only; carnivores that the table omits are not scored as exceptions."; "Claim test of aristotle-pa03-26: inconclusive, confidence 0.84"; ; prov:wasAttributedTo ; "A public species-level table that codes both front teeth in the upper and lower jaws and the number of stomach chambers, for viviparous mammals, with a licence that allows reuse. A diet or fermentation code without a chamber count, or a chamber count without the tooth condition, is not admissible for a support or a refutation."; "claim-test/0.1.0"; "none"; "One or more species with front teeth in both jaws and a stomach coded as having two or more chambers."; "Digestive strategy is a fermentation category. The pre-registered rule does not treat it as a count of stomach chambers, and it still would not identify which species have front teeth in both jaws.", "Table S1 codes species, order, family, subfamily, trophic category, trophic source, and digestive strategy. It has no incisor column and no stomach-chamber column.", "Table S2 is a primate diet-item matrix. Table S3 describes WorldClim variables. Neither codes teeth or stomach chambers.", "The named animals in the claim include carnivores and omnivores. This workbook is a herbivore table, so it could not have scored dog, lion, or man even if chamber counts had been present.", "The universal is testable from a table that codes both traits. This workbook is not that table."; "Among scored mammal species with upper and lower front teeth both present, every species has exactly one stomach chamber, and the denominator is at least 10."; "The claim fails if any qualifying species is coded with more than one stomach chamber. If the table has no incisor or front-tooth column, or no stomach-chamber column, the verdict is inconclusive with reason not-operationalizable, because fermentation state alone is not a chamber count and a chamber count without the tooth condition does not test the claim. If fewer than 10 qualifying species are scored, the verdict is inconclusive with reason underpowered."; "0.84"^^xsd:double; ; "inconclusive"; "Every viviparous blooded animal that has front teeth in both jaws has a single stomach, including man, dog, lion, horse, mule, ass, and pig."; "Qualifying rows are those with both upper and lower front teeth present and a non-missing chamber count. The claim is supported only if the number of qualifying rows with a chamber count greater than one is zero and the number of qualifying rows is at least 10. Any qualifying row with a chamber count greater than one refutes the claim. Missing either variable is inconclusive, reason not-operationalizable. A qualifying denominator below 10 is inconclusive, reason underpowered."; "Using Tran's herbivorous-mammal table (Dryad 10.5061/dryad.2q9d0, Table S1 or whichever sheet codes species), a row qualifies when upper front teeth and lower front teeth are both coded present. The claim passes if every qualifying species is coded with exactly one stomach chamber, at least 10 qualifying species are scored, and the named genera Homo, Canis, Panthera, Equus, and Sus are either scored as single-stomached or absent from a herbivore-only table and then not required. Mule is Equus and is not required as its own row."; "false"^^xsd:boolean . . a ; dc:description "Candidate species table. Checked for a front-tooth column and a stomach-chamber column."; dc:license "CC0-1.0"; "Dataset: Digestive strategy and niche specialization in herbivorous mammals (Tran, American Naturalist; Dryad)"; prov:atLocation ; prov:wasDerivedFrom ; "sha256:01830542f3d2109d34de4904e8b0539b9e1367c6432f9b1ec48653e3f4b07a55" . } sub:provenance { a prov:SoftwareAgent; "delphisci claim tester (Grok 4.7; cursor/aristotle-life-history-c-7ef1)"; 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.796Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Claim test of aristotle-pa03-26: inconclusive, confidence 0.84"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "rMCrS5jigfRSrL0MLaB/6+lCW3GVJLEA4HfChzSc3vtf6WZ3zKEP/6n8fZzgpkSriViaBZbBHpXaFw5l4+c8vq2ox8dXp1vwoc25iYwx2suQUKPSk3xul79wOZe6Sgo3VSuNom3Ud3oBBlgD/j7QqOdogPFuU7j7KUI8IUl3Ci0l4Wtgeng0MBsBTX79wDUWHD45ME7rKP2287s+LDWb4G1N3MtE1qJjCay47otFaKBs3aOgFY9KkE+aNh1ylxjz7oz8cUt6khYRU1kBChqQO8E1+tek1I1Ut3SXlB/4NxFZr1TP1gON5HBJ5ZkTI5KOresLYQ93ap2AcGge0y8Feg=="; npx:hasSignatureTarget this:; npx:signedBy . }