The bear eats the lion. The lion is not red. The lion likes the squirrel. The mouse eats the bear. The mouse eats the squirrel. The mouse is green. The mouse is rough. The squirrel is not rough. The squirrel is young. The squirrel likes the bear. If something is rough and it eats the bear then it likes the mouse. If something likes the bear then the bear is red. If the squirrel likes the bear and the squirrel does not need the bear then the squirrel likes the mouse. If the squirrel likes the bear then the squirrel eats the mouse. If something needs the mouse then the mouse is round. If the squirrel needs the lion and the squirrel does not need the mouse then the squirrel likes the lion.
The bear eats the lion.
("bear" "eats" "lion" "+")
The lion is not red.
("lion" "is" "red" "-")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If something is rough and it eats the bear then it likes the mouse.
((("something" "is" "rough" "+") ("something" "eats" "bear" "+")) -> ("something" "likes" "mouse" "+"))
If something likes the bear then the bear is red.
((("something" "likes" "bear" "+")) -> ("bear" "is" "red" "+"))
If the squirrel likes the bear and the squirrel does not need the bear then the squirrel likes the mouse.
((("squirrel" "likes" "bear" "+") ("squirrel" "needs" "bear" "~")) -> ("squirrel" "likes" "mouse" "+"))
If the squirrel likes the bear then the squirrel eats the mouse.
((("squirrel" "likes" "bear" "+")) -> ("squirrel" "eats" "mouse" "+"))
If something needs the mouse then the mouse is round.
((("something" "needs" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If the squirrel needs the lion and the squirrel does not need the mouse then the squirrel likes the lion.
((("squirrel" "needs" "lion" "+") ("squirrel" "needs" "mouse" "~")) -> ("squirrel" "likes" "lion" "+"))
The mouse eats the squirrel.
True
1
proof
[(triple5)]
("mouse" "eats" "squirrel" "+")
triple5
The squirrel does not like the bear.
False
1
inv-proof
[(triple10)]
("squirrel" "likes" "bear" "-")
triple10
The squirrel eats the mouse.
True
2
proof
[(((triple10) -> rule4))]
("squirrel" "eats" "mouse" "+")
((triple10) -> (rule4 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1
The mouse does not like the mouse.
False
3
inv-proof
[(((triple7 triple4) -> rule1))]
("mouse" "likes" "mouse" "-")
((triple7 triple4) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The squirrel does not like the mouse.
Unknown
inv-rconc
[@1: The squirrel likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "mouse" "-")
The mouse is round.
Unknown
rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "round" "+")
The bear does not need the lion.
Unknown
inv-random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "-")
The squirrel needs the mouse.
Unknown
random
[@0: The squirrel needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "mouse" "+")
@0: The bear eats the lion.[(triple1)] The lion is not red.[(triple2)] The lion likes the squirrel.[(triple3)] The mouse eats the bear.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is green.[(triple6)] The mouse is rough.[(triple7)] The squirrel is not rough.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the bear.[(triple10)] @1: The bear is red.[(((triple10) -> rule2))] The mouse likes the mouse.[(((triple7 triple4) -> rule1))] The squirrel eats the mouse.[(((triple10) -> rule4))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The lion is not red.
("lion" "is" "red" "-")
triple2
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple3
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple4
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple5
The mouse is green.
("mouse" "is" "green" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple10
The bear is red.
("bear" "is" "red" "+")
((triple10) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple7 triple4) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
((triple10) -> (rule4 % int1))
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
int1