전제: 다만 방문이 밖에서만 잠글 수 있습니다.
함의: 밖에서만 방문을 잠글 수 있습니다.
모순: 안에서만 방문을 잠글 수 있습니다.