Anne is red. Anne is smart. Anne is white. Charlie is not kind. Charlie is not white. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is not white. Harry is not furry. Harry is not kind. Harry is nice. Harry is smart. If someone is smart and not white then they are red.
Anne is not smart.