The bear does not chase the rabbit. The rabbit is blue. If the bear is green and the bear does not chase the rabbit then the bear is not rough. If something is green and it does not visit the bear then it sees the bear.
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
If the bear is green and the bear does not chase the rabbit then the bear is not rough.
((("bear" "is" "green" "+") ("bear" "chases" "rabbit" "~")) -> ("bear" "is" "rough" "-"))
If something is green and it does not visit the bear then it sees the bear.
((("something" "is" "green" "+") ("something" "visits" "bear" "~")) -> ("something" "sees" "bear" "+"))
The bear does not chase the rabbit.
True
1
proof
[(triple1)]
("bear" "chases" "rabbit" "-")
triple1
The rabbit is not blue.
False
1
inv-proof
[(triple2)]
("rabbit" "is" "blue" "-")
triple2
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bear" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear does not chase the rabbit.[(triple1)] The rabbit is blue.[(triple2)]
The bear does not chase the rabbit.
("bear" "chases" "rabbit" "-")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2