The cat eats the lion. The cat is blue. The cat is cold. The cat is green. The cat is kind. The cat is nice. The cat likes the lion. The cat visits the lion. The lion eats the cat. The lion is blue. The lion is green. The lion is kind. The lion is nice. The lion likes the cat. The lion visits the cat. If the lion is blue and the lion does not visit the cat then the cat visits the lion. If something likes the lion and it is not green then the lion likes the cat.
The lion is not green.
@0: The cat eats the lion.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is kind.[(triple5)] The cat is nice.[(triple6)] The cat likes the lion.[(triple7)] The cat visits the lion.[(triple8)] The lion eats the cat.[(triple9)] The lion is blue.[(triple10)] The lion is green.[(triple11)] The lion is kind.[(triple12)] The lion is nice.[(triple13)] The lion likes the cat.[(triple14)] The lion visits the cat.[(triple15)]