Anne is cold. Anne is white. Bob is furry. Bob is white. Charlie is furry. Gary is cold. Gary is furry. All smart people are white. All blue people are white. If someone is blue and smart then they are kind. If someone is young then they are not blue. All smart, furry people are white. Cold people are blue. If someone is white then they are cold. If someone is not young then they are smart. If Charlie is furry and Charlie is not cold then Charlie is blue.
Bob is not blue.