Sadly i don't see much for lucene syntax to do what you are looking to do...one possible work around is to have 2 Smart Search Results, one (top one) with available items, the other that shows not available items.
Sorry i don't have much more time to dive deeper into it, it's a work around for now at least.