Anne is nice. If Anne is not white then Anne is not nice. If something is rough and not white then it is kind. If something is blue and not kind then it is not young.
Anne is nice.
("Anne" "is" "nice" "+")
If Anne is not white then Anne is not nice.
((("Anne" "is" "white" "~")) -> ("Anne" "is" "nice" "-"))
If something is rough and not white then it is kind.
((("something" "is" "rough" "+") ("something" "is" "white" "~")) -> ("something" "is" "kind" "+"))
If something is blue and not kind then it is not young.
((("something" "is" "blue" "+") ("something" "is" "kind" "~")) -> ("something" "is" "young" "-"))
Anne is nice.
True
1
proof
[(triple1)]
("Anne" "is" "nice" "+")
triple1
Anne is not nice.
False
1
inv-proof
[(triple1)]
("Anne" "is" "nice" "-")
triple1
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is nice.[(triple1)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1