Anne is big. Dave is furry. If Dave is quiet and Dave is not green then Dave is blue. If Anne is young then Anne is not green. If someone is young then they are furry. If someone is not big then they are young. If Dave is blue and Dave is big then Dave is furry. If someone is quiet and not blue then they are nice.
Dave is not quiet.