The bear likes the squirrel. The squirrel likes the tiger. The tiger is green. If something is green then it needs the bear.
The tiger does not like the tiger.
@0: The bear likes the squirrel.[(triple1)] The squirrel likes the tiger.[(triple2)] The tiger is green.[(triple3)] @1: The tiger needs the bear.[(((triple3) -> rule1))]