Gary is not nice. Gary is quiet. Gary is red. If something is red and nice then it is young. If Gary is kind and Gary is nice then Gary is quiet. All red things are not white.
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is red and nice then it is young.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If Gary is kind and Gary is nice then Gary is quiet.
((("Gary" "is" "kind" "+") ("Gary" "is" "nice" "+")) -> ("Gary" "is" "quiet" "+"))
All red things are not white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "-"))
Gary is not nice.
True
1
proof
[(triple1)]
("Gary" "is" "nice" "-")
triple1
Gary is nice.
False
1
inv-proof
[(triple1)]
("Gary" "is" "nice" "+")
triple1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Gary is not nice.[(triple1)] Gary is quiet.[(triple2)] Gary is red.[(triple3)] @1: Gary is not white.[(((triple3) -> rule3))]
Gary is not nice.
("Gary" "is" "nice" "-")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is not white.
("Gary" "is" "white" "-")
((triple3) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1