전제: 바티칸에서는 프란치스코 교황을 만났다.
가설: 프란치스코 교황을 만난 곳은 서울이다.

전제: 바티칸에서는 프란치스코 교황을 만났다.
가설: 프란치스코 교황을 만난 곳은 바티칸이다.