Bob is cold. Bob is smart. Bob is white. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Erin is kind. Erin is young. Harry is blue. Harry is smart. Harry is white. If something is smart and young then it is blue. All smart, white things are red. Young things are cold. Young, cold things are smart. If Bob is young and Bob is smart then Bob is white. If Harry is young then Harry is red.
Bob is not blue.