The bear is green. The bear sees the mouse. The lion is cold. The lion likes the bear. The lion likes the mouse. The lion visits the squirrel. The mouse likes the bear. The mouse sees the bear. The mouse visits the lion. The squirrel is big. The squirrel sees the bear. The squirrel visits the mouse. If someone is kind then they like the mouse. If someone likes the lion then the lion is rough. If the squirrel likes the lion then the lion visits the squirrel. If someone sees the mouse and they are kind then the mouse visits the bear. If the lion visits the squirrel then the squirrel visits the bear. If the mouse likes the squirrel and the squirrel sees the lion then the squirrel is kind.
The bear is green.
("bear" "is" "green" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone is kind then they like the mouse.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the lion then the lion is rough.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "rough" "+"))
If the squirrel likes the lion then the lion visits the squirrel.
((("squirrel" "likes" "lion" "+")) -> ("lion" "visits" "squirrel" "+"))
If someone sees the mouse and they are kind then the mouse visits the bear.
((("someone" "sees" "mouse" "+") ("someone" "is" "kind" "+")) -> ("mouse" "visits" "bear" "+"))
If the lion visits the squirrel then the squirrel visits the bear.
((("lion" "visits" "squirrel" "+")) -> ("squirrel" "visits" "bear" "+"))
If the mouse likes the squirrel and the squirrel sees the lion then the squirrel is kind.
((("mouse" "likes" "squirrel" "+") ("squirrel" "sees" "lion" "+")) -> ("squirrel" "is" "kind" "+"))
The lion likes the bear.
True
1
proof
[(triple4)]
("lion" "likes" "bear" "+")
triple4
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
The bear does not like the mouse.
Unknown
inv-rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "mouse" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The bear is green.[(triple1)] The bear sees the mouse.[(triple2)] The lion is cold.[(triple3)] The lion likes the bear.[(triple4)] The lion likes the mouse.[(triple5)] The lion visits the squirrel.[(triple6)] The mouse likes the bear.[(triple7)] The mouse sees the bear.[(triple8)] The mouse visits the lion.[(triple9)] The squirrel is big.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The squirrel visits the bear.[(((triple6) -> rule5))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion likes the bear.
("lion" "likes" "bear" "+")
triple4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple5
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple6
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple7
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple8
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple11
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple12
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
((triple6) -> (rule5 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1