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 lion is not big.
@0: The bear sees the lion.[(triple1)] The dog sees the lion.[(triple2)] The lion is big.[(triple3)]