% axioms
ba = abbc
ca = abcc
cb = bccc
aa =
bbb = b
cc =

% ordering
ordering: lpo c > b > a

% no goals