Charlie is blue. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is smart. Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is smart. All big, cold people are red. Cold, nice people are big. If Gary is red and Gary is quiet then Gary is blue.
Charlie is not blue.