Bob is furry. Bob is green. Bob is round. Charlie is blue. Charlie is not cold. Charlie is furry. Charlie is round. Charlie is smart. Charlie is white. Dave is cold. Harry is blue. Harry is furry. All green, cold things are not smart. If Charlie is cold and Charlie is not furry then Charlie is round. If Dave is round and Dave is cold then Dave is blue. If Harry is blue then Harry is white. If something is green and smart then it is white. Green things are cold. If something is not round then it is white. If something is not round then it is cold.
Bob is not blue.