Anne is kind. Charlie is quiet. Charlie is rough. Dave is kind. Dave is nice. Dave is rough. Dave is young. Erin is kind. Erin is quiet. Erin is red. Quiet people are rough. If someone is rough and quiet then they are red. All blue people are nice. All kind people are blue. Rough people are young. Nice people are quiet. If Charlie is nice then Charlie is kind. If someone is rough then they are young. If Dave is rough and Dave is kind then Dave is blue.
Anne is not rough.