The cow likes the lion. The cow needs the lion. The lion is red. If someone needs the lion then they see the cow.
The lion sees the lion.
@0: The cow likes the lion.[(triple1)] The cow needs the lion.[(triple2)] The lion is red.[(triple3)] @1: The cow sees the cow.[(((triple2) -> rule1))]