전제: 예약은 1일 3시간 단위로, 예약 인원은 예약자를 포함해 최대 5명까지 가능하다.
함의: 최대 5명까지 예약 가능하다.
모순: 예약은 1일 10시간 단위이다.