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