Dave is quiet. If Dave is white then Dave is not kind.
Dave is quiet.
("Dave" "is" "quiet" "+")
If Dave is white then Dave is not kind.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "kind" "-"))
Dave is quiet.
True
1
proof
[(triple1)]
("Dave" "is" "quiet" "+")
triple1
Dave is not quiet.
False
1
inv-proof
[(triple1)]
("Dave" "is" "quiet" "-")
triple1
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Dave is quiet.[(triple1)]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1