Anne is blue. Gary is big. Blue things are green. If something is quiet then it is white. If Anne is not quiet then Anne is kind. Quiet, green things are kind. If something is green and big then it is blue. If something is kind and not white then it is red.
Anne is blue.
("Anne" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If Anne is not quiet then Anne is kind.
((("Anne" "is" "quiet" "~")) -> ("Anne" "is" "kind" "+"))
Quiet, green things are kind.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is green and big then it is blue.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is kind and not white then it is red.
((("something" "is" "kind" "+") ("something" "is" "white" "~")) -> ("something" "is" "red" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Anne is blue.[(triple1)] Gary is big.[(triple2)] @1: Anne is green.[(((triple1) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1