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