Anne is nice. Anne is smart. Gary is blue. If Anne is nice then Anne is blue. If something is quiet and blue then it is nice.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If Anne is nice then Anne is blue.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "blue" "+"))
If something is quiet and blue then it is nice.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Gary is blue.
True
1
proof
[(triple3)]
("Gary" "is" "blue" "+")
triple3
Anne is not nice.
False
1
inv-proof
[(triple1)]
("Anne" "is" "nice" "-")
triple1
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Gary is blue.[(triple3)] @1: Anne is blue.[(((triple1) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1