Bob is blue. Bob is cold. Bob is green. Bob is not quiet. Bob is young. Gary is not blue. Gary is white. If Bob is cold and Bob is not green then Bob is blue. All white, green people are nice.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is young.
("Bob" "is" "young" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is white.
("Gary" "is" "white" "+")
If Bob is cold and Bob is not green then Bob is blue.
((("Bob" "is" "cold" "+") ("Bob" "is" "green" "~")) -> ("Bob" "is" "blue" "+"))
All white, green people are nice.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is not quiet.[(triple4)] Bob is young.[(triple5)] Gary is not blue.[(triple6)] Gary is white.[(triple7)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Gary is not blue.
("Gary" "is" "blue" "-")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7