The cow needs the rabbit. The cow does not need the tiger. The lion is nice. The lion visits the rabbit. The rabbit is red. The rabbit needs the lion. The rabbit needs the tiger. The tiger is cold. The tiger is red. The tiger needs the lion. If someone needs the cow then they do not need the rabbit.
The tiger visits the cow.
@0: The cow does not need the tiger.[(triple2)] The cow needs the rabbit.[(triple1)] The lion is nice.[(triple3)] The lion visits the rabbit.[(triple4)] The rabbit is red.[(triple5)] The rabbit needs the lion.[(triple6)] The rabbit needs the tiger.[(triple7)] The tiger is cold.[(triple8)] The tiger is red.[(triple9)] The tiger needs the lion.[(triple10)]