Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is white. Charlie is white. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is white. Erin is kind. Erin is red. Erin is rough. Kind people are green. If Dave is quiet then Dave is white. All cold, quiet people are rough.
Charlie is not rough.