Anne is red. Anne is not young. Bob is blue. Bob is cold. Bob is red. Bob is rough. Gary is cold. Gary is rough. Gary is white. Gary is young. Harry is blue. Harry is young. If someone is cold and not smart then they are blue. If someone is smart then they are not red. White, young people are blue. If Bob is blue and Bob is young then Bob is cold. If someone is young and not red then they are blue. Smart people are young. Red, white people are young. If Gary is red and Gary is blue then Gary is cold.
Bob is smart.