Bob is nice. Bob is white. Dave is blue. Dave is furry. Dave is smart. Gary is not quiet. Harry is blue. If something is smart and cold then it is quiet. If something is nice and smart then it is quiet. All furry, quiet things are white. If something is blue and quiet then it is white. If something is quiet then it is smart. If something is cold then it is smart.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Harry is blue.
("Harry" "is" "blue" "+")
If something is smart and cold then it is quiet.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
If something is nice and smart then it is quiet.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
All furry, quiet things are white.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is blue and quiet then it is white.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is quiet then it is smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If something is cold then it is smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Harry is blue.
True
1
proof
[(triple7)]
("Harry" "is" "blue" "+")
triple7
Dave is not smart.
False
1
inv-proof
[(triple5)]
("Dave" "is" "smart" "-")
triple5
Bob is not quiet.
Unknown
inv-rconc
[@3: Bob is quiet.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is nice.[(triple1)] Bob is white.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is smart.[(triple5)] Gary is not quiet.[(triple6)] Harry is blue.[(triple7)]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7