----------------------
Backward chaining rule
----------------------

Some examples of backward chaining rule created by Pierre-Antoine Champin.
