Charlie is furry. Dave is cold. Big things are white. If something is furry and smart then it is not blue. If something is cold and not big then it is furry.
Charlie is furry.
("Charlie" "is" "furry" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Big things are white.
((("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
If something is furry and smart then it is not blue.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "-"))
If something is cold and not big then it is furry.
((("something" "is" "cold" "+") ("something" "is" "big" "~")) -> ("something" "is" "furry" "+"))
Dave is cold.
True
1
proof
[(triple2)]
("Dave" "is" "cold" "+")
triple2
Charlie is not furry.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "furry" "-")
triple1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "furry" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Charlie is furry.[(triple1)] Dave is cold.[(triple2)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2