Bob is green. Bob is white. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is red. If Bob is white and Bob is cold then Bob is kind. If something is green then it is big. All red, kind things are white. All big things are cold. If Dave is green and Dave is cold then Dave is white. If Charlie is big then Charlie is kind. If something is white and blue then it is kind. If Dave is white and Dave is cold then Dave is blue.
Bob is blue.