The bear does not eat the mouse. The mouse eats the bear. If the bear is not rough then the bear likes the mouse. If someone eats the mouse and they are not blue then they eat the bear.
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
If the bear is not rough then the bear likes the mouse.
((("bear" "is" "rough" "~")) -> ("bear" "likes" "mouse" "+"))
If someone eats the mouse and they are not blue then they eat the bear.
((("someone" "eats" "mouse" "+") ("someone" "is" "blue" "~")) -> ("someone" "eats" "bear" "+"))
The bear does not eat the mouse.
True
1
proof
[(triple1)]
("bear" "eats" "mouse" "-")
triple1
The bear eats the mouse.
False
1
inv-proof
[(triple1)]
("bear" "eats" "mouse" "+")
triple1
The bear does not eat the bear.
Unknown
inv-rconc
[@1: The bear eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "bear" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear does not eat the mouse.[(triple1)] The mouse eats the bear.[(triple2)]
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
triple1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple2