전제: 체크인과 체크아웃에 아무런 어려움이 없었습니다
함의: 체크아웃을 하는데 있어서 어렵지 않았습니다.
모순: 체크인에 문제가 있었습니다.