The bear is nice. The dog needs the tiger. The squirrel needs the dog. The tiger visits the dog. If the dog eats the squirrel and the dog eats the bear then the dog needs the tiger.
The squirrel does not need the dog.
@0: The bear is nice.[(triple1)] The dog needs the tiger.[(triple2)] The squirrel needs the dog.[(triple3)] The tiger visits the dog.[(triple4)]