The lion needs the tiger. The squirrel is nice. The tiger needs the lion. If something needs the tiger then the tiger needs the squirrel. If something likes the squirrel then the squirrel is green. If something likes the squirrel and it chases the squirrel then it needs the squirrel.
The lion needs the tiger.
@0: The lion needs the tiger.[(triple1)] The squirrel is nice.[(triple2)] The tiger needs the lion.[(triple3)] @1: The tiger needs the squirrel.[(((triple1) -> rule1))]