Backward Chaining In Python Example