전제: 체크인 할 때도 아무 문제 없었습니다.
함의: 체크인을 했었습니다.
모순: 체크인을 할 때 문제가 발생했었습니다.