Bob is furry. If Bob is furry and Bob is white then Bob is quiet. If someone is kind and not white then they are not quiet.
Bob is furry.
("Bob" "is" "furry" "+")
If Bob is furry and Bob is white then Bob is quiet.
((("Bob" "is" "furry" "+") ("Bob" "is" "white" "+")) -> ("Bob" "is" "quiet" "+"))
If someone is kind and not white then they are not quiet.
((("someone" "is" "kind" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "quiet" "-"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is furry.[(triple1)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1