Anne is smart. Dave is red. Harry is green. All cold people are red. If someone is smart and rough then they are young. If someone is red and not nice then they are not young. If someone is not green then they are cold. If someone is nice and not cold then they are young. If someone is green and not red then they are young.
Anne is red.