The bear does not like the mouse. The bear visits the mouse. The mouse visits the bear. If someone eats the bear then they are rough. If someone eats the mouse and they do not visit the mouse then the mouse likes the bear. If someone eats the mouse then they are nice.
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone eats the bear then they are rough.
((("someone" "eats" "bear" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the mouse and they do not visit the mouse then the mouse likes the bear.
((("someone" "eats" "mouse" "+") ("someone" "visits" "mouse" "~")) -> ("mouse" "likes" "bear" "+"))
If someone eats the mouse then they are nice.
((("someone" "eats" "mouse" "+")) -> ("someone" "is" "nice" "+"))
The bear visits the mouse.
True
1
proof
[(triple2)]
("bear" "visits" "mouse" "+")
triple2
The bear does not visit the mouse.
False
1
inv-proof
[(triple2)]
("bear" "visits" "mouse" "-")
triple2
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "nice" "-")
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 like the mouse.[(triple1)] The bear visits the mouse.[(triple2)] The mouse visits the bear.[(triple3)]
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
triple1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple2
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple3