The cat is nice. The cat is red. The cat visits the cow. The cow chases the lion. The cow is green. The cow sees the lion. The lion chases the cat. The lion chases the mouse. The lion is rough. The lion sees the cat. The lion sees the mouse. The lion visits the cat. The lion visits the mouse. The mouse chases the cat. The mouse is green. If something visits the lion and the lion sees the cat then it is red.
The mouse is not red.
@0: The cat is nice.[(triple1)] The cat is red.[(triple2)] The cat visits the cow.[(triple3)] The cow chases the lion.[(triple4)] The cow is green.[(triple5)] The cow sees the lion.[(triple6)] The lion chases the cat.[(triple7)] The lion chases the mouse.[(triple8)] The lion is rough.[(triple9)] The lion sees the cat.[(triple10)] The lion sees the mouse.[(triple11)] The lion visits the cat.[(triple12)] The lion visits the mouse.[(triple13)] The mouse chases the cat.[(triple14)] The mouse is green.[(triple15)]