Bob is kind. Charlie is cold. Charlie is smart. Charlie is white. Charlie is young. Dave is cold. Dave is kind. All smart things are young. If Charlie is nice and Charlie is not cold then Charlie is not green. If something is not nice then it is green. All green, kind things are smart. If something is not green then it is kind. If Dave is cold and Dave is not young then Dave is kind. If Bob is white and Bob is not smart then Bob is cold. If something is white and not cold then it is not young.
Bob is not white.