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