Dave is not big. Dave is blue. Dave is nice. All white things are not kind. If something is kind then it is big.
Dave is not big.
("Dave" "is" "big" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
All white things are not kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "-"))
If something is kind then it is big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Dave is blue.
True
1
proof
[(triple2)]
("Dave" "is" "blue" "+")
triple2
Dave is big.
False
1
inv-proof
[(triple1)]
("Dave" "is" "big" "+")
triple1
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is blue.[(triple2)] Dave is nice.[(triple3)] Dave is not big.[(triple1)]
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is not big.
("Dave" "is" "big" "-")
triple1