The cow chases the lion. The cow chases the rabbit. The cow is red. The cow likes the rabbit. The cow sees the rabbit. The lion is cold. The lion is green. The lion sees the cow. The lion sees the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is cold. The rabbit is red. The rabbit likes the cow. The rabbit sees the cow. The rabbit sees the lion. If the lion likes the cow and the cow does not like the lion then the cow is red.
The rabbit is not red.
@0: The cow chases the lion.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is red.[(triple3)] The cow likes the rabbit.[(triple4)] The cow sees the rabbit.[(triple5)] The lion is cold.[(triple6)] The lion is green.[(triple7)] The lion sees the cow.[(triple8)] The lion sees the rabbit.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the cow.[(triple14)] The rabbit sees the cow.[(triple15)] The rabbit sees the lion.[(triple16)]