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