The lion chases the mouse. The lion does not eat the mouse. The lion eats the squirrel. The lion is blue. The lion is not green. The lion is nice. The lion is rough. The lion visits the mouse. The mouse eats the squirrel. The mouse is blue. The mouse is green. The mouse visits the lion. The squirrel does not chase the lion. The squirrel eats the mouse. The squirrel visits the mouse. If something eats the lion then the lion chases the squirrel. If the squirrel eats the mouse then the mouse eats the lion. If something eats the squirrel and it chases the squirrel then the squirrel is cold.
The mouse does not visit the mouse.
@0: The lion chases the mouse.[(triple1)] The lion does not eat the mouse.[(triple2)] The lion eats the squirrel.[(triple3)] The lion is blue.[(triple4)] The lion is nice.[(triple6)] The lion is not green.[(triple5)] The lion is rough.[(triple7)] The lion visits the mouse.[(triple8)] The mouse eats the squirrel.[(triple9)] The mouse is blue.[(triple10)] The mouse is green.[(triple11)] The mouse visits the lion.[(triple12)] The squirrel does not chase the lion.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The mouse eats the lion.[(((triple14) -> rule2))] @2: The lion chases the squirrel.[(((((triple14) -> rule2)) -> rule1))] @3: The squirrel is cold.[(((triple3 ((((triple14) -> rule2)) -> rule1)) -> rule3))]