The cat needs the cow. The cow needs the mouse. The mouse visits the cow. The squirrel needs the cow. If the squirrel visits the cow and the cow is green then the cow needs the cat.
The squirrel is green.
@0: The cat needs the cow.[(triple1)] The cow needs the mouse.[(triple2)] The mouse visits the cow.[(triple3)] The squirrel needs the cow.[(triple4)]