전제: 다시 빈에 온다면 여기에 묵을 겁니다.
함의: 빈에 온 적이 있습니다.
모순: 다시 빈에 온다고 해도 여기는 안올겁니다.