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