The rabbit is kind. The squirrel is red. The tiger visits the squirrel. If something needs the tiger then the tiger visits the rabbit.
The tiger does not visit the rabbit.
@0: The rabbit is kind.[(triple1)] The squirrel is red.[(triple2)] The tiger visits the squirrel.[(triple3)]