Bob is red. Charlie is kind. Charlie is nice. Dave is kind. Harry is blue. Harry is kind. Harry is nice. All cold, nice people are furry. If Bob is kind then Bob is cold. If someone is round and blue then they are red. All cold people are nice. All furry people are round. If Charlie is blue then Charlie is furry. If Charlie is round and Charlie is furry then Charlie is red. If Dave is red and Dave is furry then Dave is kind.
Bob is red.
("Bob" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All cold, nice people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If Bob is kind then Bob is cold.
((("Bob" "is" "kind" "+")) -> ("Bob" "is" "cold" "+"))
If someone is round and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
All furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If Charlie is blue then Charlie is furry.
((("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "furry" "+"))
If Charlie is round and Charlie is furry then Charlie is red.
((("Charlie" "is" "round" "+") ("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "red" "+"))
If Dave is red and Dave is furry then Dave is kind.
((("Dave" "is" "red" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "kind" "+"))
Harry is nice.
True
1
proof
[(triple7)]
("Harry" "is" "nice" "+")
triple7
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Bob is not furry.
Unknown
inv-rconc
[@2: Bob is furry.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is red.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Dave is kind.[(triple4)] Harry is blue.[(triple5)] Harry is kind.[(triple6)] Harry is nice.[(triple7)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7