MAYBE

Problem:
 f(g(X)) -> g(f(f(X)))
 f(h(X)) -> h(g(X))

Proof:
 RT Transformation Processor:
  strict:
   f(g(X)) -> g(f(f(X)))
   f(h(X)) -> h(g(X))
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   interpretation:
    [h](x0) = x0 + 3,
    
    [f](x0) = x0 + 4,
    
    [g](x0) = x0 + 1
   orientation:
    f(g(X)) = X + 5 >= X + 9 = g(f(f(X)))
    
    f(h(X)) = X + 7 >= X + 4 = h(g(X))
   problem:
    strict:
     f(g(X)) -> g(f(f(X)))
    weak:
     f(h(X)) -> h(g(X))
   Open