Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Dave is young. Erin is blue. Erin is rough. Erin is white. Gary is rough. Gary is white. If Dave is blue then Dave is red. Round, red things are furry. If something is red and young then it is blue.
Gary is not blue.