The tiger is green. All rough things are green. All red, green things are blue. All blue, big things are red. If something is blue and red then it is rough. If the tiger is rough and the tiger is blue then the tiger is green. All big things are red. Green things are big. If something is blue and red then it is rough.
The tiger is not blue.