The lion chases the squirrel. The squirrel eats the lion. The squirrel needs the lion. If someone is big and they do not eat the lion then the lion chases the squirrel. If someone is big and they chase the squirrel then they are nice. If the squirrel does not eat the lion then the lion is nice. If the lion chases the squirrel then the lion eats the squirrel. If someone chases the lion and they eat the lion then the lion is cold. If someone chases the squirrel and they do not eat the squirrel then they chase the lion.
The lion does not chase the lion.
@0: The lion chases the squirrel.[(triple1)] The squirrel eats the lion.[(triple2)] The squirrel needs the lion.[(triple3)] @1: The lion eats the squirrel.[(((triple1) -> rule4))]