Anne is rough. Bob is white. If something is red then it is round. If Anne is big then Anne is not red. If Anne is not rough then Anne is not big.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If Anne is big then Anne is not red.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "red" "-"))
If Anne is not rough then Anne is not big.
((("Anne" "is" "rough" "~")) -> ("Anne" "is" "big" "-"))
Bob is white.
True
1
proof
[(triple2)]
("Bob" "is" "white" "+")
triple2
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is rough.[(triple1)] Bob is white.[(triple2)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2