Python Program To Implement Forward Chaining