Gary is kind. If someone is white then they are kind. If someone is smart and round then they are kind. If someone is nice then they are kind.
Gary is kind.
("Gary" "is" "kind" "+")
If someone is white then they are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart and round then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Gary is kind.
True
1
proof
[(triple1)]
("Gary" "is" "kind" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple1)]
("Gary" "is" "kind" "-")
triple1
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Gary is kind.[(triple1)]
Gary is kind.
("Gary" "is" "kind" "+")
triple1