The cat is nice. The cow is young. The cow likes the dog. The dog visits the cat. The squirrel is green. The squirrel visits the cat. The squirrel visits the dog. If someone needs the cow then the cow likes the dog. If someone is cold then they need the cow.
The dog does not visit the cat.
@0: The cat is nice.[(triple1)] The cow is young.[(triple2)] The cow likes the dog.[(triple3)] The dog visits the cat.[(triple4)] The squirrel is green.[(triple5)] The squirrel visits the cat.[(triple6)] The squirrel visits the dog.[(triple7)]