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