Anne is smart. Dave is smart. Gary is quiet. If Dave is smart and Dave is blue then Dave is red. If Dave is blue and Dave is big then Dave is round. If something is quiet and not big then it is round.
Anne is not quiet.