전제: 칼렙 스미스는 소프트웨어 회사인 블루 북에서 근무하는 유능한 프로그래머다.
함의: 칼렙 스미스는 직업이 있다.
모순: 블루 북은 건설 회사이다.