The dog sees the lion. The lion visits the dog. If the lion visits the dog and the dog is round then the dog needs the lion. If something visits the lion and the lion needs the dog then the dog visits the lion. If something is green then it visits the lion. If something visits the dog and it is blue then it is green. If the lion sees the dog then the dog needs the lion. If something needs the dog and it needs the lion then the lion is blue.
The lion visits the dog.
@0: The dog sees the lion.[(triple1)] The lion visits the dog.[(triple2)]