The cat is big. The mouse sees the tiger. The tiger eats the mouse. If something sees the cat and it is blue then it visits the cat. If something is big and not red then it visits the tiger. If something eats the cat then it is not blue. If something sees the tiger then it visits the tiger. If something visits the cat and it is not red then the cat is not big. If something is big and it sees the cat then the cat visits the mouse.
The tiger is red.