Knuth-Bendix Orderings on Terms

We will work with the following language of algebras and the given weights on the symbols.
(The constant symbol has arity 0).

Symbol	Arity	Weight
c	0	1
f	1	0
g	2	1
h	3	1

We will specify the following linear ordering on the language:

Select 5 terms from the following and ask Thoralf to find which ones are comparable under the Knuth-Bendix ordering specified by the above parameters:

Output Format

	Give just the pairs of terms that are comparable under the specified KB ordering.
	Give complete details to justify the claims.