Anne is not young. Bob is big. Erin is not cold. Harry is red. If Bob is not red then Bob is not smart. If someone is white then they are not smart. If someone is not green then they are white.
Anne is not green.