playing with forward chaining rule demo
...