The dog visits the tiger. The lion is big. The lion visits the tiger. The rabbit is round. The rabbit needs the lion. The tiger does not eat the rabbit. The tiger needs the dog. If something visits the lion then the lion does not visit the rabbit.
The tiger eats the rabbit.
@0: The dog visits the tiger.[(triple1)] The lion is big.[(triple2)] The lion visits the tiger.[(triple3)] The rabbit is round.[(triple4)] The rabbit needs the lion.[(triple5)] The tiger does not eat the rabbit.[(triple6)] The tiger needs the dog.[(triple7)]