Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is red. Gary is rough. Gary is young. All rough people are cold. Rough, kind people are red. If Gary is young then Gary is red. Rough people are kind. If someone is blue and red then they are big. If someone is cold then they are blue.
Gary is not red.