Dave is big. Dave is not blue. Dave is furry. Dave is not green. Dave is kind. Dave is quiet. Dave is smart. All green people are not blue. All quiet, green people are furry. All quiet people are smart.
Dave is not smart.