The cow is red. The cow likes the mouse. The cow visits the lion. The cow visits the squirrel. The lion is green. The lion is not nice. The lion is round. The lion needs the squirrel. The mouse visits the squirrel. The squirrel visits the mouse. If the lion is blue and the lion visits the mouse then the mouse needs the lion. If something needs the mouse then the mouse visits the cow.
The squirrel visits the mouse.
@0: The cow is red.[(triple1)] The cow likes the mouse.[(triple2)] The cow visits the lion.[(triple3)] The cow visits the squirrel.[(triple4)] The lion is green.[(triple5)] The lion is not nice.[(triple6)] The lion is round.[(triple7)] The lion needs the squirrel.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel visits the mouse.[(triple10)]