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