Bob is cold. Bob is green. Bob is smart. Gary is cold. Gary is green. Gary is kind. Gary is smart. Gary is white. Harry is green. Harry is kind. Harry is red. Harry is young. Young, kind people are white. Kind, white people are young. All red, green people are kind. Young, smart people are kind. If someone is kind and green then they are red. All white, kind people are green.
Bob is green.