How to exclude mailboxes within a smart mailbox?
Well, in Mail 4.5 (on Snow Leopard) it's easy: add a condition "Message is in Mailbox" to your smart mailbox's filter. In my case, that "Gmail" mailbox is a sub-box of the (unified) Inbox.