Bob is young. Charlie is kind. Gary is white. If Charlie is big then Charlie is kind. If Gary is big then Gary is blue. Round, kind things are big.
Bob is young.
("Bob" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
If Charlie is big then Charlie is kind.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "kind" "+"))
If Gary is big then Gary is blue.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "blue" "+"))
Round, kind things are big.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Bob is young.[(triple1)] Charlie is kind.[(triple2)] Gary is white.[(triple3)]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3