（01）
１ （１） ∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（～耳ｚｘ→～長ｚ）｝ Ａ
２ （２） ∀ｘ｛象ｘ→∃ｚ（鼻ｚｘ＆～耳ｚｘ＆長ｚ）｝ Ａ
３ （３） ∃ｘ（兎ｘ＆象ｘ） Ａ
１ （４） 兎ａ→∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（～耳ｚａ→～長ｚ） １ＵＥ
２ （５） 象ａ→∃ｚ（鼻ｚａ＆～耳ｚａ＆長ｚ） ２ＵＥ
６ （６） 兎ａ＆象ａ Ａ
６ （７） 兎ａ ６＆Ｅ
６ （８） 象ａ ６＆Ｅ
１ ６ （９） ∃ｙ（耳ｙａ＆長ｙ）＆∀ｚ（～耳ｚａ→～長ｚ） ４７ＭＰＰ
１ ６ （ア） ∀ｚ（～耳ｚａ→～長ｚ） ９＆Ｅ
１ ６ （イ） ～耳ｂａ→～長ｂ アＵＥ
２ ６ （ウ） ∃ｚ（鼻ｚａ＆～耳ｚａ＆長ｚ） ５８ＭＰＰ
エ （エ） 鼻ｂａ＆～耳ｂａ＆長ｂ Ａ
エ （オ） ～耳ｂａ エ＆Ｅ
エ （カ） 長ｂ エ＆Ｅ
１ ６エ （キ） ～長ｂ イオＭＰＰ
１ ６エ （ク） 長ｂ＆～長ｂ カキ＆Ｉ
１２ ６ （ケ） 長ｂ＆～長ｂ ウエクＥＥ
１２３ （コ） 長ｂ＆～長ｂ ３６ケＥＥ
１２ （サ）～∃ｘ（兎ｘ＆ 象ｘ） ３コＲＡＡ
シ （シ） ～（兎ａ→～象ａ） Ａ
シ （ス） ～（～兎ａ∨～象ａ） シ含意の定義
シ （セ） 兎ａ＆ 象ａ ス、ド・モルガンの法則
シ （ソ） ∃ｘ（兎ｘ＆ 象ｘ） セＥＩ
１２ シ （タ）～∃ｘ（兎ｘ＆ 象ｘ）＆∃ｘ（兎ｘ＆ 象ｘ） サソ＆Ｉ
１２ （チ） ～～（兎ａ→～象ａ） シタＲＡＡ
１２ （ツ） （兎ａ→～象ａ） チＤＮ
テ（テ） 象ａ Ａ
テ（ト） ～～象ａ テＤＮ
１２ テ（ナ） ～兎ａ ツトＭＴＴ
１２ （ニ） 象ａ→～兎ａ テナＣＰ
１２ （ヌ） ∀ｘ（象ｘ→～兎ｘ） ニＵＩ
従って、
（01）により、
（02）
（ⅰ）∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（～耳ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛象ｘ→∃ｚ（鼻ｚｘ＆～耳ｚｘ＆長ｚ）｝。従って、
（ⅲ）∀ｘ（象ｘ→～兎ｘ）。
といふ『推論』、すなはち、
（ⅰ）すべてのｘについて｛ｘが兎であるならば、あるｙは（ｘの耳であって、長く）、すべてのｚについて（ｚがｘの耳ではないならば、ｚは長くない）｝。然るに、
（ⅱ）すべてのｘについて｛ｘが象であるならば、あるｚは（ｘの鼻であって、ｘの耳ではないが、ｚは長い）｝。従って、
（ⅲ）すべてのｘについて（ｘが象であるならば、ｘは兎ではない）。
といふ『推論』は、「妥当」である。
従って、
（02）により、
（03）
兎＝象
耳＝鼻
象＝兎
鼻＝耳
といふ「代入（置き換へ）」により、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｚ（耳ｚｘ＆～鼻ｚｘ＆長ｚ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ『推論』、すなはち、
（ⅰ）すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長く）、すべてのｚについて（ｚがｘの鼻ではないならば、ｚは長くない）｝。然るに、
（ⅱ）すべてのｘについて｛ｘが兎であるならば、あるｚは（ｘの耳であって、ｘの鼻ではないが、ｚは長い）｝。従って、
（ⅲ）すべてのｘについて（ｘが兎であるならば、ｘは象ではない）。
といふ『推論』は、「妥当」である。
従って、
（04）
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｚ（耳ｚｘ＆～鼻ｚｘ＆長ｚ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
ではなく、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｚ（耳ｚｘ＆～鼻ｚｘ＆長ｚ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
であるならば、すなはち、
（ⅰ）すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長く）、すべてのｚについて（ｚがｘの鼻ではないならば、ｚは長くない）｝。然るに、
（ⅱ）すべてのｘについて｛ｘが兎であるならば、あるｚは（ｘの耳であって、ｘの鼻ではないが、ｚは長い）｝。従って、
（ⅲ）すべてのｘについて（ｘが兎であるならば、ｘは象ではない）。
であるならば、この場合、
（ⅰ）すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長く）｝。然るに、
（ⅱ）すべてのｘについて｛ｘが兎であるならば、あるｚは（ｘの耳であって、ｘの鼻ではないが、ｚは長い）｝。従って、
（ⅲ）すべてのｘについて（ｘが兎であるならば、ｘは象ではない）。
といふ『推論』は、「妥当」ではない。
従って、
（04）により、
（05）
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は鼻ではないが、長い。従って、
（ⅲ）兎は象ではない。
といふ『推論』が、
（ⅰ）すべてのｘについて｛ｘが象であるならば、あるｙは（ｘの鼻であって、長く）｝。然るに、
（ⅱ）すべてのｘについて｛ｘが兎であるならば、あるｚは（ｘの耳であって、ｘの鼻ではないが、ｚは長い）｝。従って、
（ⅲ）すべてのｘについて（ｘが兎であるならば、ｘは象ではない）。
ではなく、
（ⅰ）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。然るに、
（ⅱ）∀ｘ｛兎ｘ→∃ｚ（耳ｚｘ＆～鼻ｚｘ＆長ｚ）｝。従って、
（ⅲ）∀ｘ（兎ｘ→～象ｘ）。
といふ「意味」であるならば、
（ⅰ）象は鼻が長い。然るに、
（ⅱ）兎の耳は鼻ではないが、長い。従って、
（ⅲ）兎は象ではない。
といふ『推論』は、「妥当」ではない。
従って、
（03）～（05）により、
（06）
① 兎は耳が長い。
② 象は鼻が長い。
といふ「日本語」は、それぞれ、
① ∀ｘ｛兎ｘ→∃ｙ（耳ｙｘ＆長ｙ）＆∀ｚ（～耳ｚｘ→～長ｚ）｝。
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
といふ「意味」でなければ、ならない。
従って、
（06）により、
（07）
③ ＡはＢがＣである。
といふ「日本語」は、
③ ∀ｘ｛Ａｘ→∃ｙ（Ｂｙｘ＆Ｃｙ）＆∀ｚ（～Ｂｚｘ→～Ｃｚ）｝。
といふ「意味」でなければ、ならない。
従って、
（07）により、
（08）
例へば、
③ 私は膝が痛い。
といふ「日本語」は、
③ ∀ｘ｛私ｘ→∃ｙ（膝ｙｘ＆痛ｙ）＆∀ｚ（～膝ｚｘ→～痛ｚ）｝。
といふ「意味」でなければ、ならない。