全称命題の対偶を用いた演繹的推論

「ある店で販売されているフランス産の飲み物は全てシャンパンか赤ワインである」「これはその店で買った」「これはシャンパンでも赤ワインでもない」という前提からは、「これはフランスで作られたものではない」という結論が演繹的に導かれる。

第1の前提の対偶（店の飲み物でシャンパンでも赤ワインでもなければフランス産ではない）を適用すると、結論が導かれる。