MAYBE

Problem:
 b(x) -> b(a(b(x)))
 a(x) -> c(a(a(x)))
 b(x) -> a(c(a(x)))
 c(x) -> c(a(c(x)))
 b(x) -> a(c(b(x)))

Proof:
 Open