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