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 of type 3 or smaller.
This system is right-stable.
This system is properly oriented.
This is an overlay system.
This system is left-linear.
This critical pair is not trivial.
This critical pair is conditional.
This critical pair has some non-trivial conditions.
This system is conditional.