전제: 따라서 여행객들은 서울역에서 탑승수속과 함께 수하물을 탑승항공기까지 자동으로 탁송하는 수하물처리서비스를 이용할 수 있다.
함의: 수하물처리시스템 서비스는 서울역에서 이용 가능하다.
모순: 여행객들은 서울역에서 탑승수속을 할 수 없다.