Gary is furry. Gary is smart. Gary is not young. If Gary is not kind then Gary is furry.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not young.
("Gary" "is" "young" "-")
If Gary is not kind then Gary is furry.
((("Gary" "is" "kind" "~")) -> ("Gary" "is" "furry" "+"))
Gary is not young.
True
1
proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Gary is young.
False
1
inv-proof
[(triple3)]
("Gary" "is" "young" "+")
triple3
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Gary is furry.[(triple1)] Gary is not young.[(triple3)] Gary is smart.[(triple2)]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is not young.
("Gary" "is" "young" "-")
triple3
Gary is smart.
("Gary" "is" "smart" "+")
triple2