Anne is not quiet. If someone is nice and not cold then they are kind. All quiet, blue people are kind. All blue, green people are nice.
Anne is not quiet.
("Anne" "is" "quiet" "-")
If someone is nice and not cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "kind" "+"))
All quiet, blue people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All blue, green people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Anne is not quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Anne is quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule3 <- 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 not quiet.[(triple1)]
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple1