Anne is furry. Anne is not green. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is smart. Dave is not furry. Dave is not quiet. Dave is red. Dave is not round. Dave is smart. If something is smart and not red then it is green. If something is nice then it is quiet.
Dave is nice.