Bob is furry. Bob is green. Bob is not young. Charlie is green. Charlie is smart. Dave is not young. Gary is quiet. If something is big and not red then it is smart. All big things are smart. If something is not smart then it is not young.
Dave is smart.