Anne is blue. Anne is cold. Anne is nice. Anne is rough. Anne is smart. Anne is white. Charlie is not blue. Charlie is nice. Charlie is quiet. Charlie is not rough. Quiet things are smart. White, blue things are quiet. If something is blue then it is nice.
Anne is not smart.