The tiger is green. The tiger is nice. The tiger is rough. All green things are red. Nice, rough things are green. All red things are cold. Red, rough things are cold. If something is rough and red then it is nice. All nice things are red. If something is green then it is red. All nice, cold things are rough.
The tiger is red.