전제: 버스 이용을 원하는 학생은 호남대학교 포탈 종합정보시스템에 운행예정 주 월요일 오후 6시까지 신청할 수 있으며, 이용요금은 5천원이다.
함의: 버스 이용을 원하는 학생은 5천원을 내면 된다.
모순: 호남대학교 포탈 종합 정보 시스템에서 매달 첫주에 버스이용 신청을 할 수 있다.