The mouse eats the tiger. The mouse is kind. The mouse visits the tiger. The tiger eats the mouse. The tiger is blue. The tiger is kind. The tiger visits the mouse. If something visits the tiger then it visits the mouse. If something visits the mouse then it is blue. If something is blue then it is green.
The mouse is not green.