The bear eats the squirrel. The bear eats the tiger. The cat is not kind. The cat visits the tiger. The squirrel is green. The tiger chases the squirrel. The tiger visits the cat. If the tiger eats the bear and the bear is not kind then the bear is not green.
The cat does not visit the tiger.
@0: The bear eats the squirrel.[(triple1)] The bear eats the tiger.[(triple2)] The cat is not kind.[(triple3)] The cat visits the tiger.[(triple4)] The squirrel is green.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger visits the cat.[(triple7)]