Logic Error?

[aabinks]

Sorry to dredge up an issue, but any insight into the following inconsistency:
th = oops.Theory()
th:add("#_1 a | b |c")
th:add("#_1 ~a")
th:add("#_1 ~b")
print(th:provable("#_1 a|c"))

resolves to "true"

while substituting line 5 for
print(th:provable("#_1 c|a"))
resolves to "false"

[gertvv]

Thanks for reporting this. I can't test right now, but could it be an operator precedence issue?

When you write "#_1 a | b | c" do you mean "#_1 (a | b | c)", or "(#_1 a) | b | c"? If I recall correctly, OOPS will interpret it as the latter. Under that interpretation I think the answers to your queries are correct.

[aabinks]

That worked! Many thanks for responding.