The cat eats the tiger. The cat is big. The cat is green. The cat is nice. The cat likes the lion. The cat likes the tiger. The cat needs the lion. The lion eats the tiger. The lion is blue. The lion likes the tiger. The lion needs the cat. The lion needs the tiger. The tiger eats the cat. The tiger is blue. The tiger is nice. The tiger needs the cat. If the tiger likes the lion and the tiger eats the cat then the lion eats the cat.
The cat does not need the lion.
@0: The cat eats the tiger.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat likes the lion.[(triple5)] The cat likes the tiger.[(triple6)] The cat needs the lion.[(triple7)] The lion eats the tiger.[(triple8)] The lion is blue.[(triple9)] The lion likes the tiger.[(triple10)] The lion needs the cat.[(triple11)] The lion needs the tiger.[(triple12)] The tiger eats the cat.[(triple13)] The tiger is blue.[(triple14)] The tiger is nice.[(triple15)] The tiger needs the cat.[(triple16)]