The cow chases the squirrel. The cow is green. The cow sees the mouse. The cow visits the squirrel. The mouse chases the squirrel. The mouse is kind. The mouse sees the cow. The squirrel chases the cow. The squirrel is kind. The squirrel sees the cow. If something visits the cow and it sees the squirrel then it is red.
The mouse sees the mouse.
@0: The cow chases the squirrel.[(triple1)] The cow is green.[(triple2)] The cow sees the mouse.[(triple3)] The cow visits the squirrel.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse is kind.[(triple6)] The mouse sees the cow.[(triple7)] The squirrel chases the cow.[(triple8)] The squirrel is kind.[(triple9)] The squirrel sees the cow.[(triple10)]