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