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