Anne is green. Dave is kind. Gary is red. Harry is smart. If something is blue then it is not furry. All red, rough things are not furry. If Harry is green then Harry is red.
Anne is green.
("Anne" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is blue then it is not furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "-"))
All red, rough things are not furry.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "-"))
If Harry is green then Harry is red.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "red" "+"))
Harry is smart.
True
1
proof
[(triple4)]
("Harry" "is" "smart" "+")
triple4
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "red" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is green.[(triple1)] Dave is kind.[(triple2)] Gary is red.[(triple3)] Harry is smart.[(triple4)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Harry is smart.
("Harry" "is" "smart" "+")
triple4