Anne is cold. Anne is quiet. Charlie is not cold. Charlie is quiet. Charlie is red. Gary is not cold. Gary is not nice. If something is kind and not nice then it is red. White, nice things are red. All white things are kind. If Gary is green and Gary is red then Gary is not cold. All quiet things are kind. If Anne is nice then Anne is not green. If something is white then it is cold. If something is cold and not red then it is quiet.
Anne is green.