[
{"@name": "background", "@logic": [["-=", "AuntAgatha", "Butler"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["-predicate2", "?:0", "hate", "?:1", ["$sk4", "?:1"]]], "@confidence": 1.0},
{"@name": "background", "@logic": [["$pr", "$true"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["predicate2", ["$sk5", "?:0", "?:1"], "hate", "Butler", "?:1"], ["-predicate2", "?:0", "hate", "AuntAgatha", "?:1"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["property2", ["$sk7", "?:0"], "rich", "comp_than", "AuntAgatha"], ["predicate2", ["$sk6", "?:0"], "hate", "Butler", "?:0"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["=", "?:0", ["$sk7", "?:0"]], ["predicate2", ["$sk6", "?:0"], "hate", "Butler", "?:0"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["predicate2", ["$sk8", "?:0"], "hate", "AuntAgatha", "?:0"], ["=", "?:0", "Butler"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["-predicate2", "?:0", "hate", "AuntAgatha", "Butler"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["-predicate2", "?:0", "hate", "Charles", "?:1"], ["-predicate2", "?:2", "hate", "AuntAgatha", "?:1"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["-=", "?:0", "?:1"], ["-property2", "?:1", "rich", "comp_than", "?:2"], ["-predicate2", "?:3", "kill", "?:0", "?:2"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["predicate2", ["$sk9", "?:0", "?:1", "?:2"], "hate", "?:0", "?:2"], ["-predicate2", "?:1", "kill", "?:0", "?:2"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["=", "?:0", "Charles"], ["=", "?:0", "Butler"], ["=", "?:0", "AuntAgatha"], ["-modifier_pp", "?:1", "in", "DreadburyMansion"], ["-predicate1", "?:1", "live", "?:0"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["predicate2", "$sk3", "kill", "$sk2", "AuntAgatha"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["modifier_pp", "$sk1", "in", "DreadburyMansion"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["predicate1", "$sk1", "live", "$sk2"]], "@confidence": 1.0},
{"@name": "background", "@logic": [["$pr", "$true"]], "@confidence": 1.0},
{"@question": [["predicate2", "?:0", "kill", "AuntAgatha", "AuntAgatha"]], "@name": "prove"}
]