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