The bear likes the mouse. The mouse chases the bear. The mouse is rough. If something eats the mouse and it is green then the mouse eats the bear. If the mouse likes the bear then the mouse is nice. If something chases the mouse then it likes the bear. If something eats the bear and the bear likes the mouse then the mouse likes the bear. If something is green and kind then it likes the bear. If the bear chases the mouse and the mouse likes the bear then the bear eats the mouse. If something is green and it chases the bear then it is kind. If something likes the mouse and it likes the bear then it eats the bear.
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If something eats the mouse and it is green then the mouse eats the bear.
((("something" "eats" "mouse" "+") ("something" "is" "green" "+")) -> ("mouse" "eats" "bear" "+"))
If the mouse likes the bear then the mouse is nice.
((("mouse" "likes" "bear" "+")) -> ("mouse" "is" "nice" "+"))
If something chases the mouse then it likes the bear.
((("something" "chases" "mouse" "+")) -> ("something" "likes" "bear" "+"))
If something eats the bear and the bear likes the mouse then the mouse likes the bear.
((("something" "eats" "bear" "+") ("bear" "likes" "mouse" "+")) -> ("mouse" "likes" "bear" "+"))
If something is green and kind then it likes the bear.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "likes" "bear" "+"))
If the bear chases the mouse and the mouse likes the bear then the bear eats the mouse.
((("bear" "chases" "mouse" "+") ("mouse" "likes" "bear" "+")) -> ("bear" "eats" "mouse" "+"))
If something is green and it chases the bear then it is kind.
((("something" "is" "green" "+") ("something" "chases" "bear" "+")) -> ("something" "is" "kind" "+"))
If something likes the mouse and it likes the bear then it eats the bear.
((("something" "likes" "mouse" "+") ("something" "likes" "bear" "+")) -> ("something" "eats" "bear" "+"))
The mouse is rough.
True
1
proof
[(triple3)]
("mouse" "is" "rough" "+")
triple3
The mouse is not rough.
False
1
inv-proof
[(triple3)]
("mouse" "is" "rough" "-")
triple3
The mouse does not like the bear.
Unknown
inv-rconc
[@3: The mouse likes the bear.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule3 <- FAIL)]]
("mouse" "likes" "bear" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear likes the mouse.[(triple1)] The mouse chases the bear.[(triple2)] The mouse is rough.[(triple3)]
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple1
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3