Algorithm For Forward Chaining