The cow chases the lion. The cow chases the squirrel. The cow eats the squirrel. The lion is cold. The lion is red. The squirrel is nice. The squirrel is round. If someone likes the squirrel then the squirrel chases the lion. If someone likes the lion and they are round then they are big. If someone is big and they eat the squirrel then the squirrel eats the cow. If someone is big and they chase the lion then they eat the cow. If someone is cold and they like the cow then they chase the squirrel. If someone is cold then they chase the squirrel.
The lion does not eat the cow.
@0: The cow chases the lion.[(triple1)] The cow chases the squirrel.[(triple2)] The cow eats the squirrel.[(triple3)] The lion is cold.[(triple4)] The lion is red.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is round.[(triple7)] @1: The lion chases the squirrel.[(((triple4) -> rule6))]