Dave is cold. Big things are quiet. If something is rough and smart then it is furry. Smart, furry things are cold.
Dave is cold.
("Dave" "is" "cold" "+")
Big things are quiet.
((("something" "is" "big" "+")) -> ("something" "is" "quiet" "+"))
If something is rough and smart then it is furry.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Smart, furry things are cold.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("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-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is cold.[(triple1)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1