전제: 경의선은 서울특별시 용산구의 서울역과 경기도 파주시의 도라산역을 잇는 한국철도공사의 철도 노선이다.
함의: 경의선은 서울역과 파주시의 도라산역을 잇는 노선이다.
모순: 경의선은 청량리역과 춘천역을 잇는 노선이다.