The bear visits the tiger. The lion is nice. The lion visits the bear. The squirrel chases the tiger. The squirrel visits the lion. The tiger is kind. The tiger is red. If something chases the lion and it is red then it visits the tiger. If something sees the tiger and the tiger is red then the tiger visits the bear.
The squirrel visits the lion.
@0: The bear visits the tiger.[(triple1)] The lion is nice.[(triple2)] The lion visits the bear.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel visits the lion.[(triple5)] The tiger is kind.[(triple6)] The tiger is red.[(triple7)]