YES

Proof:
This system is confluent.
By \cite{GNG13}, Theorem 9.
This system is deterministic.
This system is weakly left-linear.
System R transformed to optimized U(R).
This system is orthogonal.
This system is normal.
This system is not of type 3 or smaller.
This system is conditional.