MAYBE

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

Proof:
 Open