Bob is furry. Bob is nice. Bob is quiet. Charlie is big. Charlie is furry. Charlie is red. Dave is nice. Dave is red. Dave is smart. Dave is not white. Erin is quiet. Erin is red. Red people are big. If someone is white and quiet then they are nice. If Erin is nice then Erin is furry. If Bob is nice then Bob is quiet. Quiet, big people are white. If someone is furry then they are smart. If someone is furry and nice then they are white. If someone is not red then they are quiet. If someone is not red and not smart then they are white.
Dave is red.