Rewrite Rules:
   [ W(W(?x)) -> W(?x),
     B(I(?x)) -> W(?x),
     W(B(?x)) -> B(?x),
     F(H(?x),?y) -> F(H(?x),G(?y)),
     F(?x,I(?y)) -> F(G(?x),I(?y)),
     G(?x) -> ?x ]
Apply Direct Methods...
Inner CPs:
   [ W(B(?x_2)) = W(B(?x_2)),
     W(W(?x_1)) = B(I(?x_1)),
     W(W(?x)) = W(W(?x)) ]
Outer CPs:
   [ F(H(?x_3),G(I(?y_4))) = F(G(H(?x_3)),I(?y_4)) ]
not Overlay, check Termination...
unknown/not Terminating
unknown Knuth&Bendix
Linear
unknown Development Closed
Strongly Closed
Direct Methods: CR

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