Bob is red. Dave is red. Fiona is cold. Gary is quiet. Furry things are white. Kind things are furry. Kind, furry things are cold.
Bob is red.
("Bob" "is" "red" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Kind things are furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Kind, furry things are cold.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Gary is not quiet.
False
1
inv-proof
[(triple4)]
("Gary" "is" "quiet" "-")
triple4
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is red.[(triple1)] Dave is red.[(triple2)] Fiona is cold.[(triple3)] Gary is quiet.[(triple4)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple4