The Critical Pairs obtained from
two Term Rewrite Rules

We will work with the following language of algebras.
(The constant symbol has arity 0).
SymbolArity
c 0
f 1
g 2
h 3

Choose two term rewrite rules, s1 --> t1 and s2 --> t2 by selecting four terms from the following lists. (the terms are in prefix form, with the variables in the first rule disjoint from the variables in the second rule).

s1 = --> t1 =

s2 = --> t2 =