전제: 청소가 안 된 상태로 체크인 하였습니다
함의: 체크인을 하였습니다.
모순: 청소가 된 상태였습니다.