Anne is not green. Harry is furry. If Harry is round and Harry is blue then Harry is furry. Cold things are not blue. Kind, round things are blue.
Anne is not green.
("Anne" "is" "green" "-")
Harry is furry.
("Harry" "is" "furry" "+")
If Harry is round and Harry is blue then Harry is furry.
((("Harry" "is" "round" "+") ("Harry" "is" "blue" "+")) -> ("Harry" "is" "furry" "+"))
Cold things are not blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "-"))
Kind, round things are blue.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Harry is furry.
True
1
proof
[(triple2)]
("Harry" "is" "furry" "+")
triple2
Anne is green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is not green.[(triple1)] Harry is furry.[(triple2)]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Harry is furry.
("Harry" "is" "furry" "+")
triple2