1: \begin{proof}

2: (i) We can assume that $x_1>\ldots >x_n$. If $x_n\notin I$, then we conclude by Theorem \ref{t:xnaddicted}. Otherwise, set $S'=S/(x_n)$ and $I'=I/(x_n)$. Then $I'\subset S'$ is a prime ideal such that $S'/I'\cong S/I$ is generalised Cohen-Macaulay and $\init (I')=\init(I)/(x_n)$ is a square-free monomial ideal with respect to the degrevlex monomial order extending the linear order $x_1>\ldots >x_{n-1}$. By induction on the number of variables, $S'/\init(I')\cong S/\init(I)$ is Cohen-Macaulay with negative $a$-invariant.

3: 

4: (ii) It follows from (i) and \cite[Theorem 2.2]{Wat83}.

5: 

6: (iii) Since $\init(I)$ is a square-free monomial ideal, $S/\init(I)$ is $F$-injective. By (i), $S/\init(I)$ is Cohen-Macaulay, so we get that $S/I$ is $F$-injective using \cite[Theorem 2.1]{CH97}. So, using (i), we have that $R$ is Cohen-Macaulay, $F$-injective, $F$-rational on the punctured spectrum, and has negative $a$-invariant. In \cite[Theorem 2.8, Remark 1.17]{FW89}, Fedder and Watanabe proved that these conditions, under the stronger assumption that $R$ is an isolated singularity, imply that $R$ is $F$-rational. It turns out that their proof works as well without the stronger assumption (see \cite[Theorem 5.49, Lemma 5.44]{Kol18} for a rigorous proof), hence we conclude.

7: \end{proof}

8: