The cat eats the cow. The cat is green. The cat likes the squirrel. The cow is round. The squirrel eats the cow. The squirrel is kind. The squirrel likes the cow. If the squirrel visits the cow and the squirrel is round then the cow is round. If something eats the squirrel then it is young. If the cat likes the cow then the cat visits the squirrel. If something is big then it visits the cat. If something is green and it does not visit the squirrel then it likes the cat. If something likes the cat and the cat is green then the cat visits the cow. If something likes the cow and the cow likes the cat then the cat likes the squirrel. If the cat does not visit the squirrel and the cat does not visit the cow then the squirrel does not eat the cat.
The cow is not young.
@0: The cat eats the cow.[(triple1)] The cat is green.[(triple2)] The cat likes the squirrel.[(triple3)] The cow is round.[(triple4)] The squirrel eats the cow.[(triple5)] The squirrel is kind.[(triple6)] The squirrel likes the cow.[(triple7)]