（01）
楚人有鬻盾与矛者。誉之曰、吾盾之堅、莫能陥也。又誉其矛曰、吾矛之利、於物無不陥也。或曰、以子之矛、陥子之盾、何如。其人弗能応也＝
楚の国の人で盾と矛とを売る者がいた。その人が自分の盾を誉めて言った。 私のこの堅い盾を突き通すことが出来るものは何も無い。 また、自分の矛を誉めて言った。 私のこの鋭い矛は、どんな物でも突き通さないものは無い。或るひとが言った。 あなたの矛で、あなたの盾を突いたらどうなるのか。 盾と矛を売る、その人は、答えることが、出来なかった（韓非子・矛盾）。
（02）
（ⅰ）
１ （１）∃ｘ（吾矛ｘ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ｘｙ）｝ Ａ
２ （２） 吾矛ａ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ａｙ） Ａ
２ （３） 吾矛ａ ２＆Ｅ
２ （４） ∀ｙ（～吾盾ｙ＆盾ｙ→陥ａｙ） ２＆Ｅ
２ （５） ～吾盾ｂ＆盾ｂ→陥ａｂ ４ＵＥ
６ （６） ～陥ａｂ Ａ
２６ （７） ～（～吾盾ｂ＆盾ｂ） ５６ＭＴＴ
２６ （８） 吾盾ｂ∨～盾ｂ ７ド・モルガンの法則
２６ （９） ～盾ｂ∨吾盾ｂ ８交換法則
２６ （ア） 盾ｂ→吾盾ｂ ９含意の定義
２ （イ） ～陥ａｂ→（盾ｂ→ 吾盾ｂ） ６アＣＰ
ウ（ウ） ～陥ａｂ＆ 盾ｂ Ａ
ウ（エ） ～陥ａｂ ウ＆Ｅ
２ ウ（オ） （盾ｂ→ 吾盾ｂ） イエＭＰＰ
ウ（カ） 盾ｂ ウ＆Ｅ
２ ウ（キ） 吾盾ｂ オカＭＰＰ
２ （ク） ～陥ａｂ＆盾ｂ→吾盾ｂ ウキＣＰ
２ （ケ） ∀ｙ（～陥ａｙ＆盾ｙ→吾盾ｙ） クＵＩ
２ （コ） 吾矛ａ＆∀ｙ（～陥ａｙ＆盾ｙ→吾盾ｙ） ３ケ＆Ｉ
２ （サ）∃ｘ｛吾矛ｘ＆∀ｙ（～陥ｘｙ＆盾ｙ→吾盾ｙ）｝ コＥＩ
１ （シ）∃ｘ｛吾矛ｘ＆∀ｙ（～陥ｘｙ＆盾ｙ→吾盾ｙ）｝ １２サＥＥ
（ⅱ）
１ （１）∃ｘ｛吾矛ｘ＆∀ｙ（～陥ｘｙ＆盾ｙ→吾盾ｙ）｝ Ａ
２ （２） 吾矛ａ＆∀ｙ（～陥ａｙ＆盾ｙ→吾盾ｙ） Ａ
２ （３） 吾矛ａ ２＆Ｅ
２ （４） ∀ｙ（～陥ａｙ＆盾ｙ→吾盾ｙ） ２＆Ｅ
２ （５） ～陥ａｂ＆盾ｂ→吾盾ｂ ４ＵＥ
６ （６） ～吾盾ｂ Ａ
２６ （７） ～（～陥ａｂ＆盾ｂ） ５６ＭＴＴ
２６ （８） 陥ａｂ∨～盾ｂ ７ド・モルガンの法則
２６ （９） ～盾ｂ∨陥ａｂ ８交換法則
２６ （ア） 盾ｂ→陥ａｂ ９含意の定義
２ （イ） ～吾盾ｂ→（盾ｂ→陥ａｂ） ６アＣＰ
ウ（ウ） ～吾盾ｂ＆ 盾ｂ Ａ
ウ（エ） ～吾盾ｂ ウ＆Ｅ
２ ウ（オ） （盾ｂ→陥ａｂ） イエＭＰＰ
ウ（カ） 盾ｂ ウ＆Ｉ
２ ウ（キ） 陥ａｂ オカＭＰＰ
２ （ク） ～吾盾ｂ＆盾ｂ→陥ａｂ ウキＣＰ
２ （ケ） ∀ｙ（～吾盾ｙ＆盾ｙ→陥ａｙ） クＵＩ
２ （コ） 吾矛ａ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ａｙ） ２ケ＆Ｉ
２ （シ）∃ｘ（吾矛ｘ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ｘｙ）｝ コＥＩ
１ （ス）∃ｘ（吾矛ｘ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ｘｙ）｝ １２シＥＥ
従って、
（02）により、
（03）
① ∃ｘ（吾矛ｘ＆∀ｙ（～吾盾ｙ＆盾ｙ→陥ｘｙ）｝
② ∃ｘ｛吾矛ｘ＆∀ｙ（～陥ｘｙ＆盾ｙ→吾盾ｙ）｝
に於いて、すなはち、
① あるｘは吾の矛であって、すべてのｙについて、ｙが吾の盾以外の盾であるならば、ｘはｙを陥す。
② あるｘは吾の矛であって、すべてのｙについて、ｘがｙを陥すことがなく、ｙが盾であるならば、ｙは吾の盾である。
に於いて、
①＝② である。
従って、
（03）により、
（04）
① 私の矛は、私の盾以外の、すべての盾を陥す。
② 私の矛が陥さない盾は、私の盾だけである。
に於いて、
①＝② である。
然るに、
（05）
① 私の矛は、私の盾を含む、すべての盾を陥す。
② 私の盾は、私の矛を含む、すべて矛を陥さない。
といふことは、「矛盾」であるが、
（06）
① 私の矛は、私の盾以外の、すべての盾を陥す。
② 私の矛が陥さない盾は、私の盾だけである。
といふことは、「矛盾」ではない。
従って、
（06）により、
（07）
吾矛之利、於非吾盾之盾無不陥也＝
吾矛之利、於〔非（吾盾）之盾〕無〔不（陥）〕也⇒
吾矛之利、〔（吾盾）非之盾〕於〔（陥）不〕無也＝
吾が矛の利なること、〔（吾が盾に）非さるの盾〕於いて〔（陥さ）不る〕無きなり＝
私のこの鋭い矛は、〔（私の盾）以外の盾に〕於いて〔（陥さ）ないことが〕無いのである。
であれば、「矛盾」しない。
（08）
因みに、
① 私のこの鋭い矛は、私の盾以外の盾において、貫さないことが無いのである（原文）。
② 我那尖銳的戟不會穿透我的盾牌以外的盾牌（グーグル翻訳）。
であるが、「私には、②が、全く、理解できない。」
（09）
① 吾矛之利、於非吾盾之盾無不陥也。
② 我那尖銳的戟不會穿透我的盾牌以外的盾牌。
といふ場合が、さうであるやうに、「漢文と、中国語は、完全に別物である」に違ひない。