전제: 현재까지 총 810명이 사용자 등록을 완료해 4월 1일부터 본격적인 운행을 시작한다.
함의: 800명 이상의 사용자가 등록을 했다.
모순: 사용자 등록을 완료해도 본격적인 운행은 곤란하다.