add forward chaining