Anne is green. Anne is quiet. Anne is white. Charlie is kind. Dave is green. Gary is quiet. Gary is not smart. All rough things are white. All green, cold things are rough. Kind things are quiet. White things are quiet. If something is not smart then it is kind. Green, quiet things are cold. If something is white and not cold then it is not rough.
Charlie is not white.