The cat is blue. The cow does not see the mouse. The dog visits the cow. The mouse eats the dog. If something is young and it does not visit the cow then it visits the mouse. If something eats the dog then it is red. If something sees the cat and it is not young then it does not see the cow. If the dog eats the mouse and the dog does not see the cat then the cat does not eat the mouse. If something sees the cat and it is green then the cat does not visit the dog. If the cat does not eat the dog and the cat does not visit the cow then the cow is blue. If something is blue and it does not see the cat then it is cold. If something does not visit the mouse then the mouse is red.
The cat visits the mouse.