Gary is blue. All white, blue people are cold. If someone is blue then they are round. If Gary is white then Gary is not kind.
Gary is blue.
("Gary" "is" "blue" "+")
All white, blue people are cold.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue then they are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Gary is white then Gary is not kind.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "kind" "-"))
Gary is blue.
True
1
proof
[(triple1)]
("Gary" "is" "blue" "+")
triple1
Gary is not blue.
False
1
inv-proof
[(triple1)]
("Gary" "is" "blue" "-")
triple1
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Gary is blue.[(triple1)] @1: Gary is round.[(((triple1) -> rule2))]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is round.
("Gary" "is" "round" "+")
((triple1) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1