Gary is furry. Gary is green. Gary is rough. White, furry things are green. All green things are cold. If Gary is green then Gary is red.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
White, furry things are green.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
All green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If Gary is green then Gary is red.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "red" "+"))
Gary is rough.
True
1
proof
[(triple3)]
("Gary" "is" "rough" "+")
triple3
Gary is not rough.
False
1
inv-proof
[(triple3)]
("Gary" "is" "rough" "-")
triple3
Gary is red.
True
2
proof
[(((triple2) -> rule3))]
("Gary" "is" "red" "+")
((triple2) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple2) -> rule2))]
("Gary" "is" "cold" "-")
((triple2) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is rough.[(triple3)] @1: Gary is cold.[(((triple2) -> rule2))] Gary is red.[(((triple2) -> rule3))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
((triple2) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple2) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1