The cat visits the cow. The cow is nice. The mouse eats the cow. The tiger visits the cat. If something sees the cat then it visits the cat. If something visits the mouse and the mouse visits the tiger then it eats the mouse. If the mouse does not see the tiger and the tiger is not cold then the tiger visits the cow.
The cat does not visit the cow.