Anne is quiet. Bob is quiet. Gary is young. If someone is big then they are young. If someone is quiet and big then they are green. All white, rough people are blue.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet and big then they are green.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All white, rough people are blue.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Gary is young.
True
1
proof
[(triple3)]
("Gary" "is" "young" "+")
triple3
Bob is not quiet.
False
1
inv-proof
[(triple2)]
("Bob" "is" "quiet" "-")
triple2
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is quiet.[(triple1)] Bob is quiet.[(triple2)] Gary is young.[(triple3)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3