Anne is green. Anne is nice. Anne is smart. Anne is young. Charlie is green. Dave is green. Dave is kind. Dave is smart. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is young. All round people are nice. All kind, round people are quiet. If Harry is round and Harry is smart then Harry is green. All kind people are round. Kind people are young. If someone is young and not green then they are round. If Dave is green and Dave is not round then Dave is young. If someone is not young then they are not smart.
Anne is not kind.