#ignore + -
#axiom
F[-[A]-C]B
#rules
F > [A][C]B -> FF