The lion chases the squirrel. The squirrel chases the lion. If someone eats the lion and the lion chases the squirrel then the squirrel eats the lion. If someone is blue and green then they need the lion. If someone chases the lion then the lion is green. If the squirrel chases the lion and the lion eats the squirrel then the lion chases the squirrel. If someone eats the lion and the lion eats the squirrel then the squirrel needs the lion. If someone is green and they need the lion then the lion chases the squirrel. If someone needs the squirrel then the squirrel needs the lion. If someone is rough then they eat the lion.
The lion is green.
@0: The lion chases the squirrel.[(triple1)] The squirrel chases the lion.[(triple2)] @1: The lion is green.[(((triple2) -> rule3))]