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 cow does not see the cow.
@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))]