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