The dog needs the lion. The lion needs the dog. If someone likes the lion and the lion sees the dog then the lion likes the dog. If someone needs the dog then they like the dog. If someone is big and they need the dog then they are green.
The lion is not green.
@0: The dog needs the lion.[(triple1)] The lion needs the dog.[(triple2)] @1: The lion likes the dog.[(((triple2) -> rule2))]