The cat eats the mouse. The cat eats the tiger. The cat is rough. The cat is round. The cat is young. The cat visits the tiger. The mouse eats the tiger. The mouse is rough. The mouse sees the cat. The mouse does not see the tiger. The mouse visits the cat. The tiger does not eat the mouse. The tiger is big. The tiger does not see the mouse. The tiger visits the cat. The tiger visits the mouse. If something visits the tiger and it does not eat the cat then it does not see the mouse. If something sees the tiger and the tiger eats the mouse then the tiger does not see the mouse. If something sees the mouse and the mouse is young then the mouse eats the tiger.
The mouse does not visit the tiger.