The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is young. If something is big then it is green. Young, green things are cold. If something is big and young then it is red. Cold, young things are big. Cold things are young. If the rabbit is big and the rabbit is green then the rabbit is young.
The rabbit is not red.