Bob is not blue. Bob is nice. Bob is not smart. Dave is blue. Dave is kind. Dave is nice. Dave is white. Gary is nice. Gary is rough. Gary is white. Smart people are kind. Nice, smart people are not blue. If someone is white and not furry then they are rough.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Nice, smart people are not blue.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "-"))
If someone is white and not furry then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "rough" "+"))
Dave is white.
True
1
proof
[(triple7)]
("Dave" "is" "white" "+")
triple7
Gary is not nice.
False
1
inv-proof
[(triple8)]
("Gary" "is" "nice" "-")
triple8
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is nice.[(triple2)] Bob is not blue.[(triple1)] Bob is not smart.[(triple3)] Dave is blue.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is white.[(triple7)] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not smart.
("Bob" "is" "smart" "-")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10