Gary is cold. Gary is green. Gary is red. If Gary is furry then Gary is big. All green, kind people are cold. If Gary is green then Gary is big.
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
If Gary is furry then Gary is big.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "big" "+"))
All green, kind people are cold.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If Gary is green then Gary is big.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "big" "+"))
Gary is cold.
True
1
proof
[(triple1)]
("Gary" "is" "cold" "+")
triple1
Gary is not red.
False
1
inv-proof
[(triple3)]
("Gary" "is" "red" "-")
triple3
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Gary is cold.[(triple1)] Gary is green.[(triple2)] Gary is red.[(triple3)] @1: Gary is big.[(((triple2) -> rule3))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
((triple2) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1