Anne is white. Dave is white. Gary is green. If something is blue and white then it is green. All young, blue things are white.
Anne is white.
("Anne" "is" "white" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
If something is blue and white then it is green.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
All young, blue things are white.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
Dave is white.
True
1
proof
[(triple2)]
("Dave" "is" "white" "+")
triple2
Gary is not green.
False
1
inv-proof
[(triple3)]
("Gary" "is" "green" "-")
triple3
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is white.[(triple1)] Dave is white.[(triple2)] Gary is green.[(triple3)]
Anne is white.
("Anne" "is" "white" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3