The cat is blue. The cat is not green. The dog chases the cat. The mouse is blue. The mouse is green. The tiger eats the mouse. The tiger visits the mouse. If the cat is green and the cat eats the dog then the dog is not blue.
The cat does not visit the mouse.