Charlie is cold. Charlie is smart. Charlie is young. Dave is blue. Dave is not red. Dave is smart. Gary is young. Harry is big. Harry is cold. Harry is kind. Harry is smart. Harry is young. If someone is red then they are young. Young people are blue. Blue people are smart. If someone is young and smart then they are big. If someone is big and young then they are red. All cold, smart people are big. All smart, red people are kind. Kind people are young. If someone is big and not young then they are not blue.
Harry is not cold.