Anne is kind. Bob is not big. Dave is not blue. If Anne is not kind then Anne is blue. If something is blue and not smart then it is not big. If something is cold and not smart then it is rough.
Anne is kind.
("Anne" "is" "kind" "+")
Bob is not big.
("Bob" "is" "big" "-")
Dave is not blue.
("Dave" "is" "blue" "-")
If Anne is not kind then Anne is blue.
((("Anne" "is" "kind" "~")) -> ("Anne" "is" "blue" "+"))
If something is blue and not smart then it is not big.
((("something" "is" "blue" "+") ("something" "is" "smart" "~")) -> ("something" "is" "big" "-"))
If something is cold and not smart then it is rough.
((("something" "is" "cold" "+") ("something" "is" "smart" "~")) -> ("something" "is" "rough" "+"))
Dave is not blue.
True
1
proof
[(triple3)]
("Dave" "is" "blue" "-")
triple3
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is kind.[(triple1)] Bob is not big.[(triple2)] Dave is not blue.[(triple3)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Bob is not big.
("Bob" "is" "big" "-")
triple2
Dave is not blue.
("Dave" "is" "blue" "-")
triple3