Bob is furry. Erin is white. Smart, white things are blue. All furry, blue things are kind. If something is blue then it is nice.
Bob is furry.
("Bob" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
Smart, white things are blue.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
All furry, blue things are kind.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If something is blue then it is nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is furry.[(triple1)] Erin is white.[(triple2)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2