Bob is kind. Bob is white. Gary is white. Furry, nice people are red. If someone is furry and kind then they are green. If Gary is kind then Gary is furry.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is white.
("Gary" "is" "white" "+")
Furry, nice people are red.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is furry and kind then they are green.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Gary is kind then Gary is furry.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "furry" "+"))
Bob is white.
True
1
proof
[(triple2)]
("Bob" "is" "white" "+")
triple2
Gary is not white.
False
1
inv-proof
[(triple3)]
("Gary" "is" "white" "-")
triple3
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is kind.[(triple1)] Bob is white.[(triple2)] Gary is white.[(triple3)]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3