1 backward chaining: 역향 연쇄짓기