The bear eats the squirrel. The bear is not red. The bear likes the squirrel. The lion eats the mouse. The lion likes the mouse. The lion sees the mouse. The mouse eats the lion. The mouse does not like the bear. The squirrel eats the bear. The squirrel likes the mouse. If the squirrel does not eat the bear then the bear does not like the lion. If something eats the bear then the bear does not like the lion. If something is green and it likes the squirrel then it is red. If something likes the lion and it eats the squirrel then it is not red. If something eats the mouse then it is red. If something is kind and not blue then it likes the mouse.
The lion does not see the lion.
@0: The bear eats the squirrel.[(triple1)] The bear is not red.[(triple2)] The bear likes the squirrel.[(triple3)] The lion eats the mouse.[(triple4)] The lion likes the mouse.[(triple5)] The lion sees the mouse.[(triple6)] The mouse does not like the bear.[(triple8)] The mouse eats the lion.[(triple7)] The squirrel eats the bear.[(triple9)] The squirrel likes the mouse.[(triple10)] @1: The bear does not like the lion.[(((triple9) -> rule2))] The lion is red.[(((triple4) -> rule5))]