The cat needs the cow. The cat visits the cow. The cow eats the squirrel. The cow is kind. The cow is round. The cow needs the cat. The cow needs the squirrel. The cow visits the mouse. The cow visits the squirrel. The mouse is big. The mouse needs the cat. The squirrel eats the mouse. The squirrel is big. The squirrel is young. The squirrel visits the mouse. If something needs the cow and the cow is red then the cow visits the cat. If something needs the cow and the cow is young then the cow visits the cat. If the squirrel is big and the squirrel is round then the squirrel visits the cat. If something needs the cat and it visits the cow then the cat is young. If the cat is kind then the cat needs the cow. If something eats the mouse and the mouse eats the squirrel then the squirrel visits the mouse.
The squirrel needs the cow.
@0: The cat needs the cow.[(triple1)] The cat visits the cow.[(triple2)] The cow eats the squirrel.[(triple3)] The cow is kind.[(triple4)] The cow is round.[(triple5)] The cow needs the cat.[(triple6)] The cow needs the squirrel.[(triple7)] The cow visits the mouse.[(triple8)] The cow visits the squirrel.[(triple9)] The mouse is big.[(triple10)] The mouse needs the cat.[(triple11)] The squirrel eats the mouse.[(triple12)] The squirrel is big.[(triple13)] The squirrel is young.[(triple14)] The squirrel visits the mouse.[(triple15)]