Bob is cold. Bob is green. Bob is smart. Bob is white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Dave is kind. Dave is rough. If something is green and smart then it is white. If Bob is smart then Bob is white. Cold, green things are white. If something is rough then it is smart. If Dave is white then Dave is green. Smart, cold things are rough.
Bob is kind.