The cow likes the dog. The dog visits the cow. The lion visits the dog. If someone eats the lion then the lion does not visit the cow. If someone likes the lion and they are not round then they do not visit the dog. If someone likes the lion and they do not visit the cow then the cow is not red.
The cow does not visit the cow.
@0: The cow likes the dog.[(triple1)] The dog visits the cow.[(triple2)] The lion visits the dog.[(triple3)]