Bob is white. Dave is blue. Gary is furry. Harry is furry. If Harry is cold and Harry is quiet then Harry is not furry. If Dave is furry then Dave is blue. If Gary is green and Gary is not furry then Gary is quiet. If someone is red and green then they are not blue. If someone is blue and not white then they are red. If someone is blue and not furry then they are red.
Bob is white.
("Bob" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Harry is cold and Harry is quiet then Harry is not furry.
((("Harry" "is" "cold" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "furry" "-"))
If Dave is furry then Dave is blue.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "blue" "+"))
If Gary is green and Gary is not furry then Gary is quiet.
((("Gary" "is" "green" "+") ("Gary" "is" "furry" "~")) -> ("Gary" "is" "quiet" "+"))
If someone is red and green then they are not blue.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "-"))
If someone is blue and not white then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "red" "+"))
If someone is blue and not furry then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "red" "+"))
Harry is furry.
True
1
proof
[(triple4)]
("Harry" "is" "furry" "+")
triple4
Gary is not furry.
False
1
inv-proof
[(triple3)]
("Gary" "is" "furry" "-")
triple3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Bob is white.[(triple1)] Dave is blue.[(triple2)] Gary is furry.[(triple3)] Harry is furry.[(triple4)]
Bob is white.
("Bob" "is" "white" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4