Bob is round. Gary is cold. Harry is red. If someone is cold then they are furry. If Harry is big then Harry is cold. If Harry is furry and Harry is red then Harry is cold. Furry, big people are nice. All blue, red people are nice. If someone is big then they are round.
Bob is round.
("Bob" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If Harry is big then Harry is cold.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "cold" "+"))
If Harry is furry and Harry is red then Harry is cold.
((("Harry" "is" "furry" "+") ("Harry" "is" "red" "+")) -> ("Harry" "is" "cold" "+"))
Furry, big people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All blue, red people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Harry is red.
True
1
proof
[(triple3)]
("Harry" "is" "red" "+")
triple3
Gary is not cold.
False
1
inv-proof
[(triple2)]
("Gary" "is" "cold" "-")
triple2
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is round.[(triple1)] Gary is cold.[(triple2)] Harry is red.[(triple3)] @1: Gary is furry.[(((triple2) -> rule1))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Harry is red.
("Harry" "is" "red" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1