The lion eats the mouse. The lion is blue. The mouse does not eat the lion. The mouse eats the squirrel. The mouse is big. The mouse is not cold. The mouse is nice. The mouse needs the lion. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel eats the lion. The squirrel eats the mouse. The squirrel is not big. The squirrel is not blue. The squirrel is rough. The squirrel does not see the lion. If someone is big and not blue then they do not need the lion. If the squirrel is rough and the squirrel is big then the squirrel sees the mouse. If the lion sees the squirrel then the lion sees the mouse. If the mouse is big and the mouse eats the squirrel then the squirrel eats the mouse. If someone eats the squirrel then they eat the mouse. If someone eats the mouse and they are not rough then the mouse sees the squirrel.
The squirrel does not see the mouse.
@0: The lion eats the mouse.[(triple1)] The lion is blue.[(triple2)] The mouse does not eat the lion.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is big.[(triple5)] The mouse is nice.[(triple7)] The mouse is not cold.[(triple6)] The mouse needs the lion.[(triple8)] The mouse needs the squirrel.[(triple9)] The mouse sees the squirrel.[(triple10)] The squirrel does not see the lion.[(triple16)] The squirrel eats the lion.[(triple11)] The squirrel eats the mouse.[(triple12 OR ((triple5 triple4) -> rule4))] The squirrel is not big.[(triple13)] The squirrel is not blue.[(triple14)] The squirrel is rough.[(triple15)] @1: The mouse eats the mouse.[(((triple4) -> rule5))]