Bob is not smart. Charlie is furry. Gary is green. Harry is green. If someone is white and red then they are not blue. If Bob is furry and Bob is not smart then Bob is not red. If Harry is blue and Harry is not furry then Harry is not smart. If someone is not furry then they are white. If someone is not cold then they are blue. If someone is not white then they are not cold.
Harry is smart.