The cat is kind. The dog visits the cat. The rabbit is nice. The rabbit is rough. The rabbit sees the dog. The rabbit sees the tiger. The rabbit visits the tiger. The tiger chases the cat. The tiger chases the rabbit. The tiger visits the cat. If someone visits the tiger and they are round then they visit the dog.
The tiger does not chase the cat.
@0: The cat is kind.[(triple1)] The dog visits the cat.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is rough.[(triple4)] The rabbit sees the dog.[(triple5)] The rabbit sees the tiger.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger visits the cat.[(triple10)]