∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝＝象は鼻が長い。

（ａ）『返り点と括弧』については、『「括弧」の「順番」（https://kannbunn.blogspot.com/2018/01/blog-post.html）』他をお読み下さい。
（ｂ）『返り点』については、『「返り点」の「付け方」を教へます（https://kannbunn.blogspot.com/2018/01/blog-post_3.html）』他をお読み下さい。
（01）
１　　　　（１）∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（耳ｚｘ＆～鼻ｚｘ）｝　　　　　　　　Ａ
　２　　　（２）　　　花子ａ＆象ａ＆∃ｚ（耳ｚａ＆～鼻ｚａ）　　　　　　　　　Ａ
　　３　　（３）　　　花子ａ＆象ａ＆　　　耳ｃａ＆～鼻ｃａ　　　　　　　　　　Ａ　　
　　　４　（４）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝　Ａ　　　
　　　４　（５）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　４ＵＥ
　　３　　（６）　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　　　　３＆Ｅ
　　３４　（７）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　５６ＭＰＰ
　　３４　（８）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　　　７＆Ｅ
　　　　９（９）　　　　　　　　　鼻ｂａ＆長ｂ　　　　　　　　　　　　　　　　Ａ
　　３４　（ア）　　　　　　　　　　　　　　　　　∀ｚ（～鼻ｚａ→～長ｚ）　　７＆Ｅ
　　３４　（イ）　　　　　　　　　　　　　　　　　　　　～鼻ｃａ→～長ｃ　　　アＵＥ
　　３　　（ウ）　　　　　　　　　　　　　　　　　　　　～鼻ｃａ　　　　　　　３＆Ｅ
　　３４　（エ）　　　　　　　　　　　　　　　　　　　　　　　　　～長ｃ　　　イウＭＰＰ
　　３　　（オ）　　　花子ａ　　　　　　　　　　　　　　　　　　　　　　　　　３＆Ｅ
　　３　９（カ）　　　花子ａ＆鼻ｂａ＆長ｂ　　　　　　　　　　　　　　　　　　９オ＆Ｉ
　　３　　（キ）　　　　　　　　　　　　　耳ｃａ　　　　　　　　　　　　　　　３＆Ｅ
　　３　９（ク）　　　花子ａ＆鼻ｂａ＆長ｂ＆耳ｃａ　　　　　　　　　　　　　　カキ＆Ｉ
　　３４９（ケ）　　　花子ａ＆鼻ｂａ＆長ｂ＆耳ｃａ＆～長ｃ　　　　　　　　　　エク＆Ｉ
　　３４９（コ）∃ｚ（花子ａ＆鼻ｂａ＆長ｂ＆耳ｚａ＆～長ｚ）　　　　　　　　　ケＥＩ
　　３４９（サ）∃ｙ∃ｚ（花子ａ＆鼻ｙａ＆長ｙ＆耳ｚａ＆～長ｚ）　　　　　　　コＥＩ
　　３４９（シ）∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）　　　　　サＥＩ
　　３４　（ス）∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）　　　　　８９シＥＥ
　２　４　（セ）∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）　　　　　２３スＥＥ
１　　　　（ソ）∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）　　　　　１２セＥＥ
従って、
（01）により、
（02）
∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（耳ｚｘ＆～鼻ｚｘ）｝，∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝├
∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）
ｃｆ.
日常言語の文から述語計算の文への翻訳のためには、一般にあたまが柔軟なことが必要である。なんら確定的な規則があるわけではなく、量記号に十分に馴れるまでは、練習を積むことが必要である（E.J.ﾚﾓﾝ 著、竹尾治一郎・浅野楢英、1973年、１３０頁）。
従って、
（02）により、
（03）
或るｘは花子であり、そのｘは象であり、或るｚはｘの耳であり、そのｚはｘの鼻ではない。全てのｘについてｘが象であるならば、或るｙはｘの鼻であり、そのｘは長く、全てのｚについて、ｚがｘの鼻でないならば、ｚは長くない。故に、或るｘは花子であり、或るｙはｘの鼻であり、そのｙは長く、或るｚはｘの耳であって、そのｚは長くない。
ｃｆ.
変数という記号を採用することがいかに有効であるかは、進むにつれて次第に明らかになって行くだろう。さしあたりは、それは、代名詞「それ」（it）に似たようなはたらきをするものと考えておけば十分であろう（E.J.レモン 著、竹尾治一郎・浅野楢英 訳、論理学初歩、1973年、２０４頁）。
従って、
（01）（02）（03）により、
（04）
花子は象であって、花子の耳は鼻ではない。然るに、象は鼻が長い。故に、花子は鼻が長く、耳は長くない。
然るに、
（05）
花子は象であって、花子の耳は鼻ではない。然るに、象は鼻が長い。故に、花子は鼻が長く、耳は長くない。
といふ「推論」は、「正しい」。
従って、
（02）（05）により、
（06）
∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（耳ｚｘ＆～鼻ｚｘ）｝，∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝├
∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）
といふ「推論」は、「正しい」。
従って、
（05）（06）により、
（07）
① 象は鼻が長い。
② ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝。
に於いて、
①＝② である。
然るに、
（08）　　　　　　　　　　　　　　
「日本語（だけ）の論理」や「英語（だけ）の論理」のやうな、「特別な論理」といふものは、有り得ない。
従って、
（09）
逆に言へば、
① 象は鼻が長い。
② An elephant has a long nose.
③ L'éléphant a un long nez.
④ Der Elefant hat eine lange Nase.
⑤ La elefanto havas longan nazon（機械翻訳）.
⑥ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝．
に於いて、
①～⑤ は、「同等」であって、⑥だけが、「特別」である。
ｃｆ.
その言語の長所は、その記法上の制限にもかかわらず、非常に広範な表現能力を持っていることである（E.J.ﾚﾓﾝ 著、竹尾治一郎・浅野楢英、1973年、１３０頁）。
The chief merit of the language is that, despite its notational limitation, it has a very wide expressive power（E.J.Lemmon, Beginning Logic）.
従って、
（10）
① 象は鼻が長い。
② An elephant has a long nose.
③ L'éléphant a un long nez.
④ Der Elefant hat eine lange Nase.
⑤ La elefanto havas longan nazon.
⑥ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝．
に於いて、
① の「主語」と、②～⑤ の「主語」を「比較する」ことは、
① の「主語」と、⑥　　 を「比較する」こととは、「同等」ではない。
然るに、
（11）
日本語などの東アジアの言語には必要のない「主語」は、明治維新以降は「脱亜入欧」の掛け声のもと、英文法を真似て導入されたものだった。大野晋も『日本語の世界』付録の丸谷才一との対談、その事情をあっさり認めてゐる。 明治以降、要するに英文法をもとにして、大槻博士が日本語の文法を組み立てた。その時に、ヨーロッパでは文を作る時に必ず主語を立てる。そこで『文には主語が必要』と決めた。そこで日本語では主語を示すのに『は』を使う、と考えたのです。ヨーロッパにあるものは日本にもなくては具合が悪いというわけで、無理にいろんなものを当てはめた。 ここまで言い切る大野なら、なぜ「日本語に主語はない」と文部科学省に断固抗議し、学校文法改正の音頭を取らないのだろう。言語学的に何ら根拠のない「ハとガの違い」の説明に拘泥し、三上章の「主語廃止論」を一蹴した国語学会の大御所である大野晋も、学問的に正しく批判さる日がやがて来るだろう。
（金谷武洋、英語にも主語はなかった、2004年、１１頁）
従って、
（10）（11）により、
（12）
① 象は鼻が長い。
② An elephant has a long nose.
③ L'éléphant a un long nez.
④ Der Elefant hat eine lange Nase.
⑤ La elefanto havas longan nazon.
⑥ ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝．
に於ける、
① と ⑥ を「比較」した「結果」として、
① 象は鼻が長い。
といふ「日本語」には、「（すくなくとも）二つの主語」が有る。
といふ風に、考へたとしても、「ヨーロッパにあるものは日本にもなくては具合が悪いはずである」といふ「態度」が、そのやうな「結論」へ「誘導」してゐる。
といふことには、ならない。
平成３０年０７月０８日、毛利太。