Anne is green. Fiona is blue. If something is young then it is not quiet. If something is quiet and not furry then it is blue.
Anne is green.
("Anne" "is" "green" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
If something is young then it is not quiet.
((("something" "is" "young" "+")) -> ("something" "is" "quiet" "-"))
If something is quiet and not furry then it is blue.
((("something" "is" "quiet" "+") ("something" "is" "furry" "~")) -> ("something" "is" "blue" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not 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 = (rule2 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is green.[(triple1)] Fiona is blue.[(triple2)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2