Dave is cold. Dave is furry. Erin is green. If something is blue and not green then it is kind. Red things are not kind. All red, green things are furry.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
If something is blue and not green then it is kind.
((("something" "is" "blue" "+") ("something" "is" "green" "~")) -> ("something" "is" "kind" "+"))
Red things are not kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "-"))
All red, green things are furry.
((("something" "is" "red" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Dave is furry.
True
1
proof
[(triple2)]
("Dave" "is" "furry" "+")
triple2
Erin is not green.
False
1
inv-proof
[(triple3)]
("Erin" "is" "green" "-")
triple3
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "furry" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Erin is green.[(triple3)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3