전제: 강사는 강원대학교 정보통신공학부 교수인 김상춘 교수가 맡았다.
가설: 강사는 정해지지 않았다.

전제: 강사는 강원대학교 정보통신공학부 교수인 김상춘 교수가 맡았다.
가설: 김상춘는 강원대 정보통신공학부 교수이다.