باسلام
چرا این قدر سخت نوشتید. خیلی ساده:
\begin{equation}
\begin{array}{lll}
t &= (sz)r' = xr' & \\*[-1.5mm]
&& \Longrightarrow xR(t)\\*[-1.5mm]
x &= sz = s(yr) = s((zr')r) = (szr')r = tr &\\
\end{array}
\end{equation}
\begin{align}
t &= s(zr') = sy\\
y &= zr' = (s'x)r'= (s'(sz))r'= s'(szr') =s' t
\end{align}
خروجی به صورت زیر خواهد شد: