The cow is young. The cow needs the lion. The cow sees the lion. The cow sees the tiger. The cow visits the lion. The cow visits the tiger. The lion needs the cow. The lion sees the cow. The lion visits the tiger. The tiger is big. The tiger is not young. The tiger needs the cow. The tiger sees the cow. The tiger does not see the lion. The tiger visits the cow. If someone visits the lion and the lion is red then the lion needs the cow. If the lion is not young then the lion needs the cow. If someone sees the lion and they see the cow then they visit the cow. If someone is big and not red then they are not kind. If someone is kind and they do not need the cow then they need the lion. If someone is big and they need the lion then the lion visits the tiger. If the lion visits the cow and the cow needs the lion then the lion is big. If someone sees the tiger and they do not need the cow then they are not big.
The lion does not need the cow.
@0: The cow is young.[(triple1)] The cow needs the lion.[(triple2)] The cow sees the lion.[(triple3)] The cow sees the tiger.[(triple4)] The cow visits the lion.[(triple5)] The cow visits the tiger.[(triple6)] The lion needs the cow.[(triple7)] The lion sees the cow.[(triple8)] The lion visits the tiger.[(triple9)] The tiger does not see the lion.[(triple14)] The tiger is big.[(triple10)] The tiger is not young.[(triple11)] The tiger needs the cow.[(triple12)] The tiger sees the cow.[(triple13)] The tiger visits the cow.[(triple15)]