Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is white. Dave is young. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is white. If something is quiet then it is red. If Dave is quiet and Dave is rough then Dave is nice. All young, quiet things are nice. Quiet things are rough. If something is white and nice then it is kind. If something is nice then it is kind.
Erin is not red.