Forward Chaining Program In Python