전제: 경부고속도로 부산방향으로 안성 나들목부터 망향 휴게소까지 15킬로미터 구간 등 모두 48킬로미터 구간에서 차량 흐름이 더딘 상황이다.
함의: 경부고속도로에는 망향 휴게소가 있다.
모순: 경부고속도로 모든 구간은 차량 흐름이 좋다.