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 rabbit does not visit the lion.
@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)]