The cow sees the dog. The dog eats the cow. The dog visits the cow. If something sees the cow and it is round then the cow is big. If something eats the cow then it is not round. If something eats the dog then the dog eats the cow. If something sees the cow and the cow eats the dog then it does not visit the cow. All round things are big. If something does not eat the dog and the dog does not eat the cow then it does not visit the cow.
The dog is round.