Anne is nice. Anne is white. Bob is nice. Bob is young. Charlie is green. Charlie is kind. Charlie is smart. Charlie is white. Gary is nice. Gary is red. Gary is young. Young, white people are green. If someone is young then they are kind. If someone is green and nice then they are red. If someone is white and young then they are green. If someone is kind and nice then they are smart. Smart people are white.
Gary is green.