Anne is cold. Anne is red. Anne is not smart. Charlie is smart. Dave is quiet. Fiona is green. Fiona is smart. If someone is green and not smart then they are kind. If someone is not quiet then they are cold. If someone is quiet and not red then they are green.
Anne is not green.