The lion is nice. The lion is rough. The lion does not like the mouse. The lion needs the squirrel. The mouse chases the lion. The mouse chases the squirrel. The mouse is red. The mouse does not like the lion. The mouse does not like the squirrel. The mouse needs the lion. The mouse needs the squirrel. The squirrel chases the lion. The squirrel chases the mouse. The squirrel likes the lion. The squirrel needs the mouse. If something chases the mouse and the mouse does not need the lion then the lion needs the squirrel. If something chases the mouse then it needs the squirrel.
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
If something chases the mouse and the mouse does not need the lion then the lion needs the squirrel.
((("something" "chases" "mouse" "+") ("mouse" "needs" "lion" "~")) -> ("lion" "needs" "squirrel" "+"))
If something chases the mouse then it needs the squirrel.
((("something" "chases" "mouse" "+")) -> ("something" "needs" "squirrel" "+"))
The squirrel chases the mouse.
True
1
proof
[(triple13)]
("squirrel" "chases" "mouse" "+")
triple13
The squirrel does not like the lion.
False
1
inv-proof
[(triple14)]
("squirrel" "likes" "lion" "-")
triple14
The squirrel needs the squirrel.
True
2
proof
[(((triple13) -> rule2))]
("squirrel" "needs" "squirrel" "+")
((triple13) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel does not need the squirrel.
False
2
inv-proof
[(((triple13) -> rule2))]
("squirrel" "needs" "squirrel" "-")
((triple13) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The lion does not chase the squirrel.
Unknown
inv-random
[@0: The lion chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "squirrel" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The lion does not like the mouse.[(triple3)] The lion is nice.[(triple1)] The lion is rough.[(triple2)] The lion needs the squirrel.[(triple4)] The mouse chases the lion.[(triple5)] The mouse chases the squirrel.[(triple6)] The mouse does not like the lion.[(triple8)] The mouse does not like the squirrel.[(triple9)] The mouse is red.[(triple7)] The mouse needs the lion.[(triple10)] The mouse needs the squirrel.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel chases the mouse.[(triple13)] The squirrel likes the lion.[(triple14)] The squirrel needs the mouse.[(triple15)] @1: The squirrel needs the squirrel.[(((triple13) -> rule2))]
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple1
The lion is rough.
("lion" "is" "rough" "+")
triple2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple4
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple5
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple6
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
triple8
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple10
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple11
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple12
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple13
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple13) -> (rule2 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1