The dog needs the squirrel. The lion eats the dog. The mouse likes the squirrel. The mouse does not need the dog. The squirrel eats the dog. The squirrel eats the mouse. The squirrel does not need the lion. If something likes the lion then the lion eats the mouse. If something eats the mouse and the mouse likes the dog then it is not big. All blue, round things are not big. If the squirrel is nice then the squirrel is big. If something eats the mouse and the mouse likes the squirrel then it likes the lion. If the dog does not like the lion then the lion likes the mouse.
The lion likes the lion.
@0: The dog needs the squirrel.[(triple1)] The lion eats the dog.[(triple2)] The mouse does not need the dog.[(triple4)] The mouse likes the squirrel.[(triple3)] The squirrel does not need the lion.[(triple7)] The squirrel eats the dog.[(triple5)] The squirrel eats the mouse.[(triple6)] @1: The squirrel likes the lion.[(((triple6 triple3) -> rule5))] @2: The lion eats the mouse.[(((((triple6 triple3) -> rule5)) -> rule1))] @3: The lion likes the lion.[(((((((triple6 triple3) -> rule5)) -> rule1) triple3) -> rule5))]