Gary is cold. If Gary is furry then Gary is not cold. If Gary is not white then Gary is red. Furry people are red. If Gary is white then Gary is furry. If someone is cold and not red then they are kind. All furry, cold people are kind.
Gary is cold.
("Gary" "is" "cold" "+")
If Gary is furry then Gary is not cold.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "cold" "-"))
If Gary is not white then Gary is red.
((("Gary" "is" "white" "~")) -> ("Gary" "is" "red" "+"))
Furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If Gary is white then Gary is furry.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "furry" "+"))
If someone is cold and not red then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "kind" "+"))
All furry, cold people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Gary is cold.
True
1
proof
[(triple1)]
("Gary" "is" "cold" "+")
triple1
Gary is not cold.
False
1
inv-proof
[(triple1)]
("Gary" "is" "cold" "-")
triple1
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Gary is cold.[(triple1)]
Gary is cold.
("Gary" "is" "cold" "+")
triple1