Bob is nice. Dave is young. Harry is kind. All cold people are young. All cold, kind people are rough. If someone is white and cold then they are young. All smart, kind people are white. All kind people are white. If Harry is cold then Harry is smart.
Bob is not nice.