The cat does not chase the lion. The cat eats the lion. The cat is big. The cat is blue. The cat is cold. The cat is nice. The cat is red. The cat does not see the lion. The lion does not chase the cat. The lion eats the cat. The lion is big. The lion is not blue. The lion is cold. The lion is nice. The lion is not red. The lion does not see the cat. If the lion is red and the lion sees the cat then the lion eats the cat.
The lion does not eat the cat.
@0: The cat does not chase the lion.[(triple1)] The cat does not see the lion.[(triple8)] The cat eats the lion.[(triple2)] The cat is big.[(triple3)] The cat is blue.[(triple4)] The cat is cold.[(triple5)] The cat is nice.[(triple6)] The cat is red.[(triple7)] The lion does not chase the cat.[(triple9)] The lion does not see the cat.[(triple16)] The lion eats the cat.[(triple10)] The lion is big.[(triple11)] The lion is cold.[(triple13)] The lion is nice.[(triple14)] The lion is not blue.[(triple12)] The lion is not red.[(triple15)]