Dave is not big. Dave is not furry. Dave is not green. Dave is quiet. Dave is red. Dave is not smart. Dave is white. All furry things are smart. If something is smart and not green then it is quiet. If something is smart and not big then it is furry.
Dave is red.