The cow is nice. The lion needs the squirrel. The squirrel is nice. If something needs the squirrel then it chases the squirrel. If something chases the squirrel then it likes the lion. If something is nice and it chases the lion then it likes the squirrel. If something is cold and it needs the lion then it is red. If something is cold then it is rough. If something needs the cow then the cow needs the lion. If something needs the lion and the lion needs the squirrel then it likes the lion. If the cow is red and the cow is nice then the cow chases the squirrel.
The lion does not like the squirrel.
@0: The cow is nice.[(triple1)] The lion needs the squirrel.[(triple2)] The squirrel is nice.[(triple3)] @1: The lion chases the squirrel.[(((triple2) -> rule1))] @2: The lion likes the lion.[(((((triple2) -> rule1)) -> rule2))]