Bob is not furry. Bob is round. Dave is nice. Dave is not quiet. Gary is kind. Gary is red. Harry is blue. Harry is kind. Harry is not nice. Harry is quiet. Harry is red. Harry is round. If something is round and nice then it is furry.
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is round.
("Bob" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is round and nice then it is furry.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
Harry is blue.
True
1
proof
[(triple7)]
("Harry" "is" "blue" "+")
triple7
Gary is not red.
False
1
inv-proof
[(triple6)]
("Gary" "is" "red" "-")
triple6
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is not furry.[(triple1)] Bob is round.[(triple2)] Dave is nice.[(triple3)] Dave is not quiet.[(triple4)] Gary is kind.[(triple5)] Gary is red.[(triple6)] Harry is blue.[(triple7)] Harry is kind.[(triple8)] Harry is not nice.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is not nice.
("Harry" "is" "nice" "-")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12