23.28 전진 추론에서의 도달 불가능 규칙(Unreachable Rule) 탐지