(VAR a b c d )
(RULES 
        f(f(f(f(j, a), b), c), d) -> f(f(a, b), f(f(a, d), c))
        
)