4root(3X>7)(y>9)(z>3)

And what is your question?