The cat eats the lion. The cow chases the cat. The cow is blue. The cow is nice. The dog does not chase the lion. The dog is blue. The dog is kind. The dog is young. The lion chases the dog. The lion eats the cat. The lion sees the cow. The lion sees the dog. If the lion eats the cow and the lion is young then the lion sees the cow. If the dog chases the cat and the dog sees the lion then the lion does not chase the dog.
The cow is not blue.
@0: The cat eats the lion.[(triple1)] The cow chases the cat.[(triple2)] The cow is blue.[(triple3)] The cow is nice.[(triple4)] The dog does not chase the lion.[(triple5)] The dog is blue.[(triple6)] The dog is kind.[(triple7)] The dog is young.[(triple8)] The lion chases the dog.[(triple9)] The lion eats the cat.[(triple10)] The lion sees the cow.[(triple11)] The lion sees the dog.[(triple12)]