!$ T( \underline{t1},\underline{t2},t3, t4)\\(t1,t2) \rightarrow t3\\(t1,t2) \rightarrow t4\\U(u1,u2, \underline{u3})\\u3 \rightarrow u1\\u3 \rightarrow u2\\V( \underline{v1}, \underline{v2}, v3)\\v1 \rightarrow v3 !$

!$ T( \underline{t1},\underline{t1}\underline{t2},\underline{t3})\\ U (\underline{u1}, u2, u3, u4)\\u1 \rightarrow u2\\u1 \rightarrow u2\\u3 \rightarrow u4\\V( \underline{v1}, \underline{v2}, v3)\\(v1, v2) \rightarrow v3 !$

!$ T ( \underline{t1}, \underline{t2}, t3)\\t1 \rightarrow t2\\t1 \rightarrow t3\\U( \underline{u1}, u2, \underline{u3}, u4)\\(u1,u3) \rightarrow u2\\(u1, u3) \rightarrow u4\\V (\underline{v1},\underline{v2}, v3,v4)\\(v1,v2) \rightarrow v3\\v3 \rightarrow v4 !$

!$ T ( \underline{t1}, \underline{t2}, t3)\\(t1,t2) \rightarrow t3\\U(u1, \underline{u2}, u3)\\u2 \rightarrow u1\\u1 \rightarrow u3\\V(v1,v2, \underline{v3}) v3 \rightarrow v1\\v3 \rightarrow v2 !$

!$ T (t1, \underline{t2}, t3, \underline{t4}\\(t2, t4) \rightarrow t1\\(t2,t4) \rightarrow t3\\U( \underline{u1} \underline{u2}, \underline{u3}\\V(\underline{v1}, \underline{v2}, \underline{v3}, \underline{v4}\\(v1, v3, v4) \rightarrow v2 !$