$\begingroup$

Let $x_1 = x$ and by induction $x_{n+1} = x^{x_n}$: so $x_1 = x$ is rational by hypothesis, $x_2 = x^x$ is algebraic irrational, $x_3 = x^{x^x}$ is transcendental by the Gelfond-Schneider theorem, and the question is to prove that $x_4, x_5,\ldots$ are transcendental (or at least, irrational).

I will assume Schanuel's conjecture and use it to prove by induction on $n\geq 2$ that $x_3,x_4,\ldots,x_n$ are algebraically independent (and, in particular, transcendental). For $n=2$ there is nothing to prove: so let me assume the statement true for $n$ and prove it for $n+1$.

Since $x_2$ is irrational, $x_1$ and $x_2$ are linearly independent over $\mathbb{Q}$. The induction hypothesis implies that $1,x_3,\ldots,x_n$ are linearly independent over $\mathbb{Q}^{\mathrm{alg}}$ (the algebraics), so in particular $x_1,\ldots,x_n$ are linearly independent over $\mathbb{Q}$, and, of course, this implies that $x_1\cdot\log(x),\ldots,x_n\cdot\log(x)$ are also such.

Now Schanuel's conjecture then implies that among the $2n$ quantities $x_1 \log(x),\ldots,x_n \log(x), x_2,\ldots,x_{n+1}$ at least $n$ are algebraically independent. Of course, we can remove $x_2$ from that list since it is algebraic, we can similarly replace both $x_1 \log(x)$ and $x_2 \log(x)$ by simply $\log(x)$: so among $\log(x),x_3,\ldots,x_{n+1},x_3 \log(x),\ldots,x_n \log(x)$ at least $n$ are algebraically independent. But (for any $i$) this independent set cannot contain all three of $x_i$, $\log(x)$ and $x_i\log(x)$, and if it contains two of them then we can choose any two (namely, $x_i$ and $\log(x)$): so that, in fact, the $n$ quantities $\log(x),x_3,\ldots,x_n,x_{n+1}$ are algebraically independent, which concludes the induction step (and moreover shows that $\log(x)$ is also independent with the rest).