전제: 좋은 위치와 훌륭한 호스트가 있습니다.
함의: 좋은 호스트가 있습니다.
모순: 훌륭한 호스트만 있습니다.