The cow likes the squirrel. The lion eats the squirrel. The rabbit chases the squirrel. The squirrel chases the cow. If something likes the lion and the lion chases the rabbit then the rabbit chases the lion. If something chases the rabbit then it is cold. If something eats the squirrel then it eats the lion.
The rabbit does not chase the squirrel.
@0: The cow likes the squirrel.[(triple1)] The lion eats the squirrel.[(triple2)] The rabbit chases the squirrel.[(triple3)] The squirrel chases the cow.[(triple4)] @1: The lion eats the lion.[(((triple2) -> rule3))]