24.22 닫힌 세계 가정(Closed-World Assumption)과 후진 추론의 관계