{
  "prefix": {
    "pe": "https://proofengine.info/proofs/hippocampal-damage-leads-to-anterograde-amnesia-fo/",
    "prov": "http://www.w3.org/ns/prov#",
    "xsd": "http://www.w3.org/2001/XMLSchema#",
    "schema": "http://schema.org/"
  },
  "entity": {
    "pe:claim": {
      "prov:type": "pe:Claim",
      "prov:label": "Hippocampal damage leads to anterograde amnesia for new episodic memories and does not impair skill learning or retrograde memories from early life.",
      "prov:value": "Hippocampal damage leads to anterograde amnesia for new episodic memories and does not impair skill learning or retrograde memories from early life."
    },
    "pe:evidence-B1": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Squire LR (2009) The Legacy of Patient H.M. for Neuroscience, Neuron 61(1):6-9 (PMC2649674) \u2014 SC1",
      "pe:factId": "B1",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://pmc.ncbi.nlm.nih.gov/articles/PMC2649674/",
      "pe:sourceName": "Squire LR (2009) The Legacy of Patient H.M. for Neuroscience, Neuron (PMC)"
    },
    "pe:evidence-B2": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Wikipedia: Henry Molaison \u2014 anterograde amnesia and procedural memory \u2014 SC1, SC2",
      "pe:factId": "B2",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/Henry_Molaison",
      "pe:sourceName": "Wikipedia: Henry Molaison"
    },
    "pe:evidence-B3": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Simply Psychology: Patient H.M. Case Study \u2014 early life memories \u2014 SC3",
      "pe:factId": "B3",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://www.simplypsychology.org/henry-molaison-patient-hm.html",
      "pe:sourceName": "Simply Psychology: Patient H.M. Case Study"
    },
    "pe:evidence-B4": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "BrainFacts.org: Patient Zero \u2014 What We Learned from H.M. \u2014 SC2",
      "pe:factId": "B4",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://www.brainfacts.org/thinking-sensing-and-behaving/learning-and-memory/2013/patient-zero-what-we-learned-from-hm",
      "pe:sourceName": "BrainFacts.org: Patient Zero \u2014 What We Learned from H.M."
    },
    "pe:evidence-B5": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Wikipedia: Anterograde amnesia \u2014 H.M. childhood memories \u2014 SC3",
      "pe:factId": "B5",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/Anterograde_amnesia",
      "pe:sourceName": "Wikipedia: Anterograde amnesia"
    },
    "pe:evidence-A1": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC1 confirming source count (anterograde amnesia for new episodic memories)",
      "pe:factId": "A1",
      "pe:evidenceType": "computed",
      "pe:method": "sum(confirmations_sc1) = 2",
      "pe:result": "2"
    },
    "pe:evidence-A2": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC2 confirming source count (skill/procedural learning preserved)",
      "pe:factId": "A2",
      "pe:evidenceType": "computed",
      "pe:method": "sum(confirmations_sc2) = 2",
      "pe:result": "2"
    },
    "pe:evidence-A3": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC3 confirming source count (early-life retrograde memories intact)",
      "pe:factId": "A3",
      "pe:evidenceType": "computed",
      "pe:method": "sum(confirmations_sc3) = 2",
      "pe:result": "2"
    },
    "pe:evidence-A4": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "All three sub-claims meet threshold (compound claim holds)",
      "pe:factId": "A4",
      "pe:evidenceType": "computed",
      "pe:method": "sc1_holds AND sc2_holds AND sc3_holds",
      "pe:result": "True"
    },
    "pe:verdict": {
      "prov:type": "pe:Verdict",
      "prov:label": "Verdict: PROVED",
      "prov:value": "PROVED",
      "pe:qualifier": "unverified_citations",
      "pe:doi": "10.5281/zenodo.19455652"
    }
  },
  "activity": {
    "pe:verify-B1": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B1: Squire LR (2009) The Legacy of Patient H.M. for Neuroscience, Neuron (PMC)",
      "pe:status": "not_found",
      "pe:method": null,
      "pe:fetchMode": "live"
    },
    "pe:verify-B2": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B2: Wikipedia: Henry Molaison",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B3": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B3: Simply Psychology: Patient H.M. Case Study",
      "pe:status": "not_found",
      "pe:method": null,
      "pe:fetchMode": "live"
    },
    "pe:verify-B4": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B4: BrainFacts.org: Patient Zero \u2014 What We Learned from H.M.",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B5": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B5: Wikipedia: Anterograde amnesia",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:determine-verdict": {
      "prov:type": "pe:VerdictDetermination",
      "prov:label": "Determine verdict from evidence",
      "prov:endTime": "2026-03-28"
    }
  },
  "agent": {
    "pe:proof-engine": {
      "prov:type": "prov:SoftwareAgent",
      "prov:label": "Proof Engine",
      "schema:version": "0.10.0",
      "schema:url": "https://github.com/yaniv-golan/proof-engine"
    }
  },
  "wasGeneratedBy": {
    "pe:gen-B1": {
      "prov:entity": "pe:evidence-B1",
      "prov:activity": "pe:verify-B1"
    },
    "pe:gen-B2": {
      "prov:entity": "pe:evidence-B2",
      "prov:activity": "pe:verify-B2"
    },
    "pe:gen-B3": {
      "prov:entity": "pe:evidence-B3",
      "prov:activity": "pe:verify-B3"
    },
    "pe:gen-B4": {
      "prov:entity": "pe:evidence-B4",
      "prov:activity": "pe:verify-B4"
    },
    "pe:gen-B5": {
      "prov:entity": "pe:evidence-B5",
      "prov:activity": "pe:verify-B5"
    },
    "pe:gen-verdict": {
      "prov:entity": "pe:verdict",
      "prov:activity": "pe:determine-verdict"
    }
  },
  "wasDerivedFrom": {},
  "wasAttributedTo": {
    "pe:attr-verdict": {
      "prov:entity": "pe:verdict",
      "prov:agent": "pe:proof-engine"
    }
  },
  "used": {
    "pe:used-B1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B1"
    },
    "pe:used-B2": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B2"
    },
    "pe:used-B3": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B3"
    },
    "pe:used-B4": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B4"
    },
    "pe:used-B5": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B5"
    },
    "pe:used-A1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A1"
    },
    "pe:used-A2": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A2"
    },
    "pe:used-A3": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A3"
    },
    "pe:used-A4": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A4"
    }
  }
}