MAYBE

Problem:
 g(g(g(c(),d()),g(b(),e())),b()) -> a()
 g(a(),y) -> g(b(),b())
 g(x,y) -> g(y,x)

Proof:
 Open