The lion eats the tiger. The lion is big. The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion needs the tiger. The lion visits the tiger. The tiger eats the lion. The tiger is big. The tiger is blue. The tiger is cold. The tiger is nice. The tiger is red. The tiger needs the lion. The tiger visits the lion. If something needs the lion and it needs the tiger then it is big.
The tiger is nice.
@0: The lion eats the tiger.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion needs the tiger.[(triple7)] The lion visits the tiger.[(triple8)] The tiger eats the lion.[(triple9)] The tiger is big.[(triple10)] The tiger is blue.[(triple11)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14)] The tiger needs the lion.[(triple15)] The tiger visits the lion.[(triple16)]