Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is not smart. Dave is white. Dave is young. Erin is not kind. Erin is nice. Erin is not quiet. Erin is red. Erin is smart. Erin is white. Erin is young. If something is young then it is red. Smart things are red. If something is smart and nice then it is white. If something is smart and not kind then it is nice. If something is nice and kind then it is not smart. If something is kind and white then it is young. If Dave is young and Dave is not nice then Dave is red. If something is not quiet and not young then it is white.
Erin is not quiet.