전제: 오늘 새벽 수도권 전철 4호선 금정역에서 과천정부청사역 구간이 단전되어, 3시간 가량 상행선 운행이 중단되었다.
함의: 금정역은 수도권 전철 4호선에 속한 전철역이다.
모순: 금정역에서 과천정부청사역 구간이 단전되었으나 비상동력을 작동시켜 상행선 운행을 중단하는 것은 피했다.