The cat eats the tiger. The cat is big. The cat does not need the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is big. The tiger is blue. The tiger is green. The tiger is rough. The tiger is round. The tiger needs the cat. The tiger visits the cat. If something is big then it eats the tiger. If something eats the tiger then the tiger is big. If the cat is blue and the cat is rough then the cat does not visit the tiger. If something does not visit the tiger and the tiger does not eat the cat then it visits the cat. If something needs the cat and the cat needs the tiger then the cat eats the tiger. If something does not visit the cat then the cat is not green.
The tiger is not green.