{
  "title": "Barbara Syllogism (SYL001+1)",
  "origin_url": "https://www.tptp.org/cgi-bin/SeeTPTP?Category=Problems&Domain=SYL&File=SYL001%2B1.p",
  "license_guess": null,
  "code_sha256": "c65265b160550c566a3a76880107ea1cc621dd48d0c6f4b870d19a4839531217",
  "added_at": "2026-03-12T10:00:00Z"
}