The cow chases the lion. The cow is cold. The cow is kind. The cow is red. The cow sees the lion. The lion chases the cow. The lion is blue. The lion is green. The lion is not kind. The lion is not red. The lion needs the cow. The lion does not see the cow. If something needs the cow and the cow does not need the lion then it does not see the lion. If something needs the cow and the cow is not cold then the cow is blue.
The cow is not blue.
@0: The cow chases the lion.[(triple1)] The cow is cold.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow sees the lion.[(triple5)] The lion chases the cow.[(triple6)] The lion does not see the cow.[(triple12)] The lion is blue.[(triple7)] The lion is green.[(triple8)] The lion is not kind.[(triple9)] The lion is not red.[(triple10)] The lion needs the cow.[(triple11)]