전제: 지난 2019년 10월 8일, 한국철도공사는 코레일이라는 이름을 버리고 한국철도로 돌아가기로 하였다.
함의: 코레일이라는 이름은 더이상 쓰지 않기로 했다.
모순: 한국철도공사는 코레일이라는 이름을 계속 사용하기로 했다.