Dave is green. Erin is not big. Erin is green. Furry people are not young. If someone is red then they are quiet. If Dave is furry and Dave is not smart then Dave is big. If someone is not young then they are quiet. If someone is smart and not young then they are not big. If someone is big and not green then they are red.
Dave is not green.