Harry is kind. Harry is rough. Harry is not smart. If Harry is furry and Harry is not rough then Harry is not white. If something is rough and red then it is cold. All red things are furry.
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
If Harry is furry and Harry is not rough then Harry is not white.
((("Harry" "is" "furry" "+") ("Harry" "is" "rough" "~")) -> ("Harry" "is" "white" "-"))
If something is rough and red then it is cold.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Harry is kind.
True
1
proof
[(triple1)]
("Harry" "is" "kind" "+")
triple1
Harry is smart.
False
1
inv-proof
[(triple3)]
("Harry" "is" "smart" "+")
triple3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Harry is kind.[(triple1)] Harry is not smart.[(triple3)] Harry is rough.[(triple2)]
Harry is kind.
("Harry" "is" "kind" "+")
triple1
Harry is not smart.
("Harry" "is" "smart" "-")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple2