(VAR x )
(RULES 
        w(r(x)) -> r(w(x))
        b(r(x)) -> r(b(x))
        b(w(x)) -> w(b(x))
        
)