The lion needs the squirrel. The mouse is big. The squirrel chases the lion. If someone eats the lion and they need the mouse then the lion chases the squirrel. If someone needs the squirrel then the squirrel is cold. If someone needs the mouse then the mouse is kind. If someone is green and blue then they chase the lion. If someone eats the squirrel then they eat the mouse. If the mouse chases the lion and the lion chases the mouse then the lion is green.
The lion needs the squirrel.
@0: The lion needs the squirrel.[(triple1)] The mouse is big.[(triple2)] The squirrel chases the lion.[(triple3)] @1: The squirrel is cold.[(((triple1) -> rule2))]