The cat is red. The dog sees the tiger. The lion is green. The tiger needs the cat. If something visits the dog and it visits the cat then it is nice.
The dog visits the cat.
@0: The cat is red.[(triple1)] The dog sees the tiger.[(triple2)] The lion is green.[(triple3)] The tiger needs the cat.[(triple4)]