Bob is blue. Bob is cold. Dave is blue. Dave is nice. Dave is rough. Gary is red. Harry is rough. Rough people are not cold. If Harry is nice and Harry is not rough then Harry is smart. If Gary is rough and Gary is not cold then Gary is not quiet. If Bob is quiet then Bob is not rough. All blue people are smart. If Harry is blue and Harry is not smart then Harry is not cold.
Dave is not blue.