전제: 테르미니역도 가깝도 콜로세움도 걸어갈만한 거리입니다.
함의: 걸어서 콜로세움에 갈 수 있습니다.
모순: 콜로세움보다 테르미니역이 더 멉니다.