Charlie is blue. Charlie is green. Charlie is not round. Charlie is smart. Charlie is white. Dave is cold. Dave is smart. Dave is white. Harry is not cold. Harry is green. Harry is smart. Harry is not white. Rough, smart people are not cold. If someone is not white then they are not round. If Charlie is blue and Charlie is not white then Charlie is round. All rough people are smart. If someone is not white then they are blue. All blue, green people are not round. If Charlie is rough and Charlie is not smart then Charlie is cold. If someone is blue and not smart then they are round.
Harry is cold.