Anne is smart. Anne is white. Charlie is kind. Charlie is red. Charlie is not rough. Charlie is smart. Charlie is not white. Charlie is young. Dave is red. Dave is not rough. Harry is kind. Harry is red. Harry is rough. Harry is smart. Harry is white. If someone is red and not smart then they are kind.
Dave is white.