[
{"@confidence":1.0,"@logic": [[["-p",["i","?:X","?:Y"]], "|", ["-p","?:X"]], "|", ["p","?:Y"]]},
{"@confidence":1.0,"@logic": ["p",["i",["i","?:X","?:Y"],["i",["i","?:Y","?:Z"],["i","?:X","?:Z"]]]]},
{"@confidence":0.7,"@logic": ["p",["i",["i",["n","?:X"],"?:X"],"?:X"]]},
{"@confidence":0.8,"@logic": ["p",["i","?:X",["i",["n","?:X"],"?:Y"]]]},
{"@name":"goal","@question":["p",["i","a",["i","b","a"]]]}
]