Bob is not cold. Bob is nice. Bob is quiet. Dave is not nice. Dave is quiet. Dave is smart. Harry is blue. Harry is green. Harry is quiet. Harry is smart. If Dave is smart and Dave is not blue then Dave is round. If Harry is not smart then Harry is not green. If Dave is quiet then Dave is not blue. If someone is round then they are green. All nice, round people are cold. If someone is green and not smart then they are quiet. If Dave is blue and Dave is not round then Dave is green. If someone is not green then they are not cold.
Dave is green.