Anne is smart. Harry is white. Harry is young. If Harry is young and Harry is kind then Harry is red. Kind, red people are smart. Young people are red. Young, red people are kind. If Anne is cold then Anne is young. All cold people are smart.
Anne is not red.