전제: 다시 포르토에 간다면 이 곳으로 갈 것입니다.
함의: 포르토에 간 적이 있었습니다.
모순: 다시 포르토에 가면 이 곳 빼고 갈 것입니다.