The bear eats the dog. The cat sees the lion. The dog is green. The lion visits the dog. If the bear eats the lion then the bear visits the lion.
The lion visits the dog.
@0: The bear eats the dog.[(triple1)] The cat sees the lion.[(triple2)] The dog is green.[(triple3)] The lion visits the dog.[(triple4)]