Anne is smart. Charlie is green. Charlie is quiet. Charlie is white. Dave is cold. Dave is green. Dave is kind. Dave is quiet. Dave is smart. Dave is white. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is smart. Harry is white. All green things are red. Quiet things are cold. If something is quiet and kind then it is cold. All red, white things are smart. Cold things are white. All smart things are green. All white, quiet things are kind. If something is green then it is quiet. If something is quiet and kind then it is white.
Anne is not kind.