MAYBE

Problem:
 b(b(y,z),c(a(),a(),a())) -> f(c(z,y,z))
 f(b(b(a(),z),c(a(),x,y))) -> z
 c(y,x,f(z)) -> b(f(b(z,x)),z)

Proof:
 DP Processor:
  DPs:
   b#(b(y,z),c(a(),a(),a())) -> c#(z,y,z)
   b#(b(y,z),c(a(),a(),a())) -> f#(c(z,y,z))
   c#(y,x,f(z)) -> b#(z,x)
   c#(y,x,f(z)) -> f#(b(z,x))
   c#(y,x,f(z)) -> b#(f(b(z,x)),z)
  TRS:
   b(b(y,z),c(a(),a(),a())) -> f(c(z,y,z))
   f(b(b(a(),z),c(a(),x,y))) -> z
   c(y,x,f(z)) -> b(f(b(z,x)),z)
  EDG Processor:
   DPs:
    b#(b(y,z),c(a(),a(),a())) -> c#(z,y,z)
    b#(b(y,z),c(a(),a(),a())) -> f#(c(z,y,z))
    c#(y,x,f(z)) -> b#(z,x)
    c#(y,x,f(z)) -> f#(b(z,x))
    c#(y,x,f(z)) -> b#(f(b(z,x)),z)
   TRS:
    b(b(y,z),c(a(),a(),a())) -> f(c(z,y,z))
    f(b(b(a(),z),c(a(),x,y))) -> z
    c(y,x,f(z)) -> b(f(b(z,x)),z)
   graph:
    c#(y,x,f(z)) -> b#(f(b(z,x)),z) ->
    b#(b(y,z),c(a(),a(),a())) -> c#(z,y,z)
    c#(y,x,f(z)) -> b#(f(b(z,x)),z) ->
    b#(b(y,z),c(a(),a(),a())) -> f#(c(z,y,z))
    c#(y,x,f(z)) -> b#(z,x) -> b#(b(y,z),c(a(),a(),a())) -> c#(z,y,z)
    c#(y,x,f(z)) -> b#(z,x) ->
    b#(b(y,z),c(a(),a(),a())) -> f#(c(z,y,z))
    b#(b(y,z),c(a(),a(),a())) -> c#(z,y,z) ->
    c#(y,x,f(z)) -> b#(z,x)
    b#(b(y,z),c(a(),a(),a())) -> c#(z,y,z) ->
    c#(y,x,f(z)) -> f#(b(z,x))
    b#(b(y,z),c(a(),a(),a())) -> c#(z,y,z) -> c#(y,x,f(z)) -> b#(f(b(z,x)),z)
   SCC Processor:
    #sccs: 1
    #rules: 3
    #arcs: 7/25
    DPs:
     c#(y,x,f(z)) -> b#(f(b(z,x)),z)
     b#(b(y,z),c(a(),a(),a())) -> c#(z,y,z)
     c#(y,x,f(z)) -> b#(z,x)
    TRS:
     b(b(y,z),c(a(),a(),a())) -> f(c(z,y,z))
     f(b(b(a(),z),c(a(),x,y))) -> z
     c(y,x,f(z)) -> b(f(b(z,x)),z)
    Open