Anne is not furry. Anne is green. Anne is rough. If Anne is round and Anne is not red then Anne is nice. If someone is red then they are not green.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
If Anne is round and Anne is not red then Anne is nice.
((("Anne" "is" "round" "+") ("Anne" "is" "red" "~")) -> ("Anne" "is" "nice" "+"))
If someone is red then they are not green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "-"))
Anne is green.
True
1
proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1)] Anne is rough.[(triple3)]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple3