Bob is cold. Charlie is not nice. Harry is nice. If someone is round then they are not blue. Young people are not nice. If someone is blue and smart then they are not young. If Harry is blue and Harry is young then Harry is nice. If someone is nice and round then they are cold. If Bob is not young then Bob is smart. If Charlie is not cold and Charlie is not young then Charlie is not round. If someone is not cold then they are blue.
Bob is not blue.