Bob is young. Gary is blue. Gary is green. If something is big and green then it is red. If something is nice and not young then it is green.
Bob is young.
("Bob" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
If something is big and green then it is red.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If something is nice and not young then it is green.
((("something" "is" "nice" "+") ("something" "is" "young" "~")) -> ("something" "is" "green" "+"))
Gary is green.
True
1
proof
[(triple3)]
("Gary" "is" "green" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple2)]
("Gary" "is" "blue" "-")
triple2
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is young.[(triple1)] Gary is blue.[(triple2)] Gary is green.[(triple3)]
Bob is young.
("Bob" "is" "young" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3