Bob is furry. Bob is kind. Bob is not smart. Gary is big. Gary is furry. Gary is not kind. Gary is white. If Gary is furry and Gary is kind then Gary is red.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is white.
("Gary" "is" "white" "+")
If Gary is furry and Gary is kind then Gary is red.
((("Gary" "is" "furry" "+") ("Gary" "is" "kind" "+")) -> ("Gary" "is" "red" "+"))
Gary is white.
True
1
proof
[(triple7)]
("Gary" "is" "white" "+")
triple7
Bob is smart.
False
1
inv-proof
[(triple3)]
("Bob" "is" "smart" "+")
triple3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is not smart.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple5)] Gary is not kind.[(triple6)] Gary is white.[(triple7)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not smart.
("Bob" "is" "smart" "-")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is not kind.
("Gary" "is" "kind" "-")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7