Charlie is blue. Charlie is cold. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Dave is blue. Dave is young. Harry is red. Harry is smart. All rough, young things are blue. All smart, young things are red. If something is red then it is rough. If something is rough then it is blue. All nice things are rough. All nice things are young. If Dave is young and Dave is red then Dave is cold. If something is red then it is rough.
Harry is not blue.