@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 "Downloaded Human Protein Atlas normal_ihc_data.tsv.zip (version 25.1) and the standard cell-type codebook, and checked both SHA-256 values. Brain tissues are those with Organ = Brain in the codebook, minus pituitary, choroid plexus, meninges and spinal cord. Rows for the three pre-registered Ensembl genes were kept when the cell type contained 'endothelial' and reliability was Enhanced, Supported or Approved. Any Low, Medium or High level refutes the universal; Not detected does not support it."; "Measured: 3 endothelial marker genes detected inside a brain tissue, of 3 (n = 3, PECAM1=Medium; VWF=High; CD34=High). Interpretation: The sentence says two things: the brain itself has no blood, and no vein, large or small, runs inside it; veins stop in the membrane around the brain. The test uses the second clause. Endothelial proteins (PECAM1/CD31, von Willebrand factor, CD34) mark the vessel wall. Staining of endothelial cells in the cerebral cortex, cerebellum, hippocampus or another parenchymal brain tissue is a vein or capillary inside the brain, which the sentence denies. Staining limited to meninges or choroid plexus would not count. The dataset is human immunohistochemistry, so a positive result refutes 'in all animals' by a human counterexample, and a negative result does not show that every animal brain lacks vessels. Blood volume and flowing blood are not in the table; the measurement is the vessel wall."; "Claim test of aristotle-ha03-09: refutes, confidence 0.8"; ; prov:wasAttributedTo ; "A public, versioned table of protein staining in normal human tissues that names the tissue, the cell type and an expression level, with a licence that allows reuse. The cell type must be endothelial cells so the stain is of the vessel wall rather than of neurons. Meninges, choroid plexus, pituitary and spinal cord are out of scope because the claim allows vessels in the membrane around the brain and is about the brain itself. The table must not be Aristotle's text."; "claim-test/0.1.0"; "biological"; "At least one reliable row reports Low, Medium or High staining of one of those three vessel-wall proteins in endothelial cells inside a brain tissue that is not pituitary, choroid plexus, meninges or spinal cord. One such row is a vessel inside the brain and refutes the universal."; "A human counterexample can refute a claim about all animals. It cannot, by itself, prove the same anatomy in every other animal.", "Criteria were written before normal_ihc_data.tsv.zip was downloaded and before any Level for these genes was read. Ensembl ids were checked with the lookup service only (symbol, id, biotype, description).", "The Atlas codebook lists endothelial cells as an annotated cell type in cerebral cortex. That listing is the sampling frame, not the staining result, and it is not used as a measurement.", "The standard codebook annotates endothelial cells for the brain only in the cerebral cortex. Cerebellum, caudate and hippocampus are in the codebook but have no endothelial row. Staining of glial cells, neurons, neuropil and Purkinje cells for these three genes is Not detected and is not used as the verdict."; "No reliable immunohistochemistry row for PECAM1, VWF or CD34 reports detectable staining in endothelial cells of a parenchymal human brain tissue."; "Pre-registered (claim refuted). Among rows in normal_ihc_data.tsv whose Gene is ENSG00000261371 (PECAM1), ENSG00000110799 (VWF) or ENSG00000174059 (CD34), whose Tissue is a brain tissue in the Atlas cell-type codebook other than pituitary, choroid plexus, meninges, pia, dura, arachnoid or spinal cord, whose Cell type contains the substring endothelial (case-insensitive), and whose Reliability is Enhanced, Supported or Approved: the claim is refuted if at least one such row has Level Low, Medium or High. Not detected does not refute. Reliability Uncertain does not count. If the zip cannot be downloaded, the verdict is inconclusive with reason data-unavailable. If the file downloads but no endothelial row in an included brain tissue exists for any of the three genes, the verdict is inconclusive with reason underpowered. If every counted row is Not detected, the verdict is inconclusive with reason underpowered, not supports."; "0.8"^^xsd:double; ; "refutes"; "If the claim holds, brain tissue itself contains no blood vessels: endothelial-cell rows in parenchymal brain tissues of the Human Protein Atlas immunohistochemistry table are Not detected for the vessel-wall markers PECAM1, VWF and CD34."; "A universal negative is refuted by one in-scope counterexample and is not confirmed by a negative stain in a single species. Counted rows are the three pre-registered Ensembl genes, endothelial cell types, included brain tissues, and reliability Enhanced, Supported or Approved. Any counted Level in {Low, Medium, High} yields refutes. Otherwise the verdict is inconclusive with reason underpowered, or data-unavailable if the file cannot be fetched."; "Pre-registered. This dataset cannot support the claim. The claim is a universal negative (in all animals the brain is bloodless and no vein runs within it). A Not detected result in human tissue does not establish that universal, so Not detected is not a pass. There is no pass_criterion that returns supports."; "false"^^xsd:boolean . . a ; dc:description "cell-type-resolved staining levels of PECAM1, VWF and CD34 in normal human brain tissues"; dc:license "CC BY 4.0"; "Dataset: Human Protein Atlas normal tissue immunohistochemistry, version 25.1"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:04fc18dacc29c3bf5ad6440e46990a97e8cb3ed2b4b96d62102d5062c9edd011", "sha256:fa2315e5a53ecffd9427a5bfe219c8cc41b54089ef6f6be7b5d79b5455e0677f" . } sub:provenance { a prov:SoftwareAgent; "delphisci claim tester (Grok 4.7; cursor/aristotle-biology-claim-tests-2a8b)"; 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.755Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Claim test of aristotle-ha03-09: refutes, confidence 0.8"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "GUs852G5xdGjxFMFkkjDxOTOmRZt9V8djvuhNlEP6czUFKfak0CgXY4PN4QkJf8FZGDhOOo/X9dqXVxTYh8GRuMoNauzcSLtFPdTgmetcRp8d03K0L7kskLe2uZv4sSpYnGM8etx9qQ/l0qdJojJnMGzhUpIids6XEouC8Ou9ur0hjJK4R2lMrpSjOEWNoX5JqVSo+hDfRmFSV2Q1muGFbREwfVYAcKucgXVClOukgj/V/PBOLXSAa1FEDfeKIyJQULaF8NmEvzBINa3zaaqA7JmQg7N7VuzyzJECNkSEcRuukeNWQIZ5EijtWwBtwD+kfsmSH9U6CcNHUQ9q55C7A=="; npx:hasSignatureTarget this:; npx:signedBy . }