Anne is red. Anne is smart. Anne is not young. Bob is big. Bob is furry. Bob is red. Bob is not smart. Bob is young. Dave is furry. Dave is not quiet. Dave is red. Dave is not smart. Dave is not young. Erin is red. Erin is smart. Erin is white. All quiet things are white. If something is smart and red then it is not young. If Dave is not white then Dave is furry.
Erin is red.