Bob is green. Bob is red. Bob is not white. If someone is kind then they are blue. If someone is quiet and not white then they are not red. Green, blue people are quiet.
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not white.
("Bob" "is" "white" "-")
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is quiet and not white then they are not red.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "red" "-"))
Green, blue people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Bob is not quiet.
Unknown
inv-rconc
[@2: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is green.[(triple1)] Bob is not white.[(triple3)] Bob is red.[(triple2)]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2