Dave is cold. If Dave is furry and Dave is cold then Dave is not kind. All kind, rough things are cold.
Dave is cold.
("Dave" "is" "cold" "+")
If Dave is furry and Dave is cold then Dave is not kind.
((("Dave" "is" "furry" "+") ("Dave" "is" "cold" "+")) -> ("Dave" "is" "kind" "-"))
All kind, rough things are cold.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Dave is cold.
True
1
proof
[(triple1)]
("Dave" "is" "cold" "+")
triple1
Dave is not cold.
False
1
inv-proof
[(triple1)]
("Dave" "is" "cold" "-")
triple1
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is cold.[(triple1)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1