Anne is kind. Anne is red. Harry is smart. All smart people are red. If someone is cold and smart then they are blue. Green people are red. If Harry is cold and Harry is smart then Harry is blue. All smart people are blue. All blue people are green. If someone is blue then they are cold. If Harry is red then Harry is kind.
Anne is not red.