Rewrite Rules:
   [ F(H(?x),?y) -> F(H(?x),I(I(?y))),
     F(?x,G(?y)) -> F(I(?x),G(?y)),
     I(?x) -> ?x ]
Apply Direct Methods...
Inner CPs:
   [  ]
Outer CPs:
   [ F(H(?x),I(I(G(?y_1)))) = F(I(H(?x)),G(?y_1)) ]
Overlay, check Innermost Termination...
unknown Innermost Terminating
unknown Knuth&Bendix
Linear
Development Closed
Direct Methods: CR

Final result: CR
/local-scratch/hzankl/2012/cops2012/96.trs: Success(CR)
(21 msec.)