Charlie is rough. Dave is kind. Gary is cold. All red things are cold. Big, kind things are cold. If Gary is blue then Gary is red. Cold things are big. All big, green things are blue. All blue things are cold. If something is cold then it is red. Big things are rough.
Gary is not red.