Anne is green. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Fiona is green. Fiona is quiet. Fiona is smart. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is smart. All cold, quiet people are red. If someone is green then they are red. If someone is smart then they are kind.
Anne is not kind.