The cow chases the mouse. The cow is blue. The cow does not need the lion. The cow needs the mouse. The cow visits the mouse. The lion chases the cow. The lion chases the mouse. The lion is green. The lion is not red. The lion needs the cow. The lion needs the mouse. The lion visits the cow. The lion visits the mouse. The mouse is blue. The mouse visits the cow. If someone visits the lion and the lion is not blue then the lion is green. If someone chases the lion then they are nice.
The cow chases the lion.
@0: The cow chases the mouse.[(triple1)] The cow does not need the lion.[(triple3)] The cow is blue.[(triple2)] The cow needs the mouse.[(triple4)] The cow visits the mouse.[(triple5)] The lion chases the cow.[(triple6)] The lion chases the mouse.[(triple7)] The lion is green.[(triple8)] The lion is not red.[(triple9)] The lion needs the cow.[(triple10)] The lion needs the mouse.[(triple11)] The lion visits the cow.[(triple12)] The lion visits the mouse.[(triple13)] The mouse is blue.[(triple14)] The mouse visits the cow.[(triple15)]