The bear sees the lion. The dog sees the lion. The lion is big. If the lion sees the bear and the bear is big then the bear visits the dog.
The bear does not visit the dog.
@0: The bear sees the lion.[(triple1)] The dog sees the lion.[(triple2)] The lion is big.[(triple3)]