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