（59）馬は顔（だけ）が長い＝∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ ）｝。

（01）
① 馬は顔が長い。
② 象は鼻が長い。
③ 麒麟は首が長い。
従って、
（01）により、
（02）
① 馬は顔が長い。
といふ「日本語」は、
① 馬に限って言へば、（鼻でもなく、首でもなく）顔が長い。
といふ「意味」である。
然るに、
（03）
① 馬に限って言へば、顔が長い。
といふことは、
① それが馬であるならば、その顔は長い。
といふことである。
然るに、
（04）
① それが馬であるならば、その顔は長い。
といふことは、
① あるｘが馬であるならば、そのｘの顔は長い。といふことに関して、「例外」は無い。
といふことである。
然るに、
（05）
① あるｘが馬であるならば、そのｘの顔は長い。といふことに関して、「例外」は無い。
といふことは、
① すべてのｘについて、ｘが馬ならば、ｘの顔は長い。
といふことである。
然るに、
（06）
① すべてのｘについて、ｘが馬ならば、ｘの顔は長い。
といふことは、
① すべてのｘについて、ｘが馬ならば、ｘの顔である所のｙが存在して、ｙは長い。
といふことである。
然るに、
（07）
① すべてのｘについて、ｘが馬ならば、ｘの顔である所のｙが存在して、ｙは長い。
といふことは、
① すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長い。
といふことである。
然るに、
（08）
① すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長い。
といふことを、「記号」で書くと、
① ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）｝。
といふ、ことになる。
然るに、
（09）
① 顔は長い。
② 顔が長い。
に於いて、
① ⇒「顔以外も、長いのかも、知れない。」
② ⇒「顔以外は、長くない。」
然るに、
（10）
① ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）｝。
① すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長い。
であるならば、
① ⇒「顔以外も、長いのかも、知れない。」
然るに、
（11）
② ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝。
② すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長く、すべてのｚについて、ｚがｘの顔でないならば、ｚは長くない。
であるならば、
② ⇒「顔以外は、長くない。」
従って、
（01）～（11）により、
（12）
② 馬は顔が長い。
といふ「日本語」は、
② ∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝。
といふ風に、「記号化」され、
② すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長く、すべてのｚについて、ｚがｘの顔でないならば、ｚは長くない。
といふ、「意味」である。
（13）
③ 花子は象であり、花子の鼻は長く、花子の鼻は顔ではない。
といふ「日本語」は、
③ ∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝。
といふ風に、「記号化」され、
③ あるｘは花子であり、ｘは象であり、あるｚはｘの鼻であって長く、ｚはｘの顔ではない。
といふ、「意味」である。
（14）
④ 花子は象であって馬である。
といふ「日本語」は、
④ ∃ｘ（花子ｘ＆象ｘ＆馬ｘ）
といふ風に、「記号化」され、
④ あるｘは花子であって、象であって、馬である。
といふ、「意味」である。
然るに、
（15）
１　　　　　（１）∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝　Ａ
１　　　　　（２）　　　馬ａ→∃ｙ（顔ｙａ＆長ｙ）＆∀ｚ（～顔ｚａ→～長ｚ）　　１ＵＥ
　３　　　　（３）∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝　　　　　Ａ
　　４　　　（４）　　　花子ａ＆象ａ＆∃ｚ（鼻ｚａ＆長ｚ＆～顔ｚａ）　　　　　　Ａ
　　４　　　（５）　　　　　　　　　　∃ｚ（鼻ｚａ＆長ｚ＆～顔ｚａ）　　　　　　４＆Ｅ
　　　６　　（６）　　　　　　　　　　　　　鼻ｃａ＆長ｃ＆～顔ｃａ　　　　　　　Ａ
　　　　７　（７）∃ｘ（花子ｘ＆象ｘ＆馬ｘ）　　　　　　　　　　　　　　　　　　Ａ
　　　　　８（８）　　　花子ａ＆象ａ＆馬ａ　　　　　　　　　　　　　　　　　　　Ａ
　　　　　８（９）　　　　　　　　　　馬ａ　　　　　　　　　　　　　　　　　　　８＆Ｅ
１　　　　８（ア）　　　　　　∃ｙ（顔ｙａ＆長ｙ）＆∀ｚ（～顔ｚａ→～長ｚ）　　２９ＭＰＰ
１　　　　８（イ）　　　　　　　　　　　　　　　　　∀ｚ（～顔ｚａ→～長ｚ）　　ア＆Ｅ
１　　　　８（ウ）　　　　　　　　　　　　　　　　　　　　～顔ｃａ→～長ｃ　　　イＵＥ
　　　６　　（エ）　　　　　　　　　　　　　　　　　　　　～顔ｃａ　　　　　　　６＆Ｅ
１　　６　８（オ）　　　　　　　　　　　　　　　　　　　　　　　　　～長ｃ　　　ウエＭＰＰ
　　　６　　（カ）　　　　　　　　　　　　　　　　　長ｃ　　　　　　　　　　　　６＆Ｅ
１　　６　８（キ）　　　　　　　　　　　　　　　　　長ｃ＆～長ｃ　　　　　　　　オカ＆Ｉ
１　　６７　（ク）　　　　　　　　　　　　　　　　　長ｃ＆～長ｃ　　　　　　　　７８キＥＥ
１　４　７　（ケ）　　　　　　　　　　　　　　　　　長ｃ＆～長ｃ　　　　　　　　５６９ＥＥ
１３　　７　（コ）　　　　　　　　　　　　　　　　　長ｃ＆～長ｃ　　　　　　　　３４ケＥＥ
１３　　　　（サ）～∃ｘ（花子ｘ＆象ｘ＆馬ｘ）　　　　　　　　　　　　　　　　　７コＲＡＡ
１３　　　　（シ）∀ｘ～（花子ｘ＆象ｘ＆馬ｘ）　　　　　　　　　　　　　　　　　サ量化子の関係
１３　　　　（ス）　　～（花子ａ＆象ａ＆馬ａ）　　　　　　　　　　　　　　　　　シＵＥ
１３　　　　（セ）　　　～花子ａ∨～象ａ　∨～馬ａ　　　　　　　　　　　　　　　ス、ド・モルガンの法則
１３　　　　（ソ）　　（～花子ａ∨～象ａ）∨～馬ａ　　　　　　　　　　　　　　　セ結合法則
１３　　　　（タ）　　～（花子ａ＆象ａ）　∨～馬ａ　　　　　　　　　　　　　　　ソ、ド・モルガンの法則
１３　　　　（チ）　　　（花子ａ＆象ａ）→～馬ａ　　　　　　　　　　　　　　　　タ含意の定義
１３　　　　（ツ）∀ｘ｛（花子ｘ＆象ｘ）→～馬ｘ｝　　　　　　　　　　　　　　　チＵＩ
従って、
（15）により、
（16）
∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝，∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝├ ∀ｘ｛（花子ｘ＆象ｘ）→～馬ｘ｝
といふ「推論」は「妥当」である。
従って、
（16）により、
（17）
すべてのｘについて、ｘが馬ならば、あるｙはｘの顔であり、ｙは長く、すべてのｚについて、ｚがｘの顔でないならば、ｚは長くない。然るに、あるｘは花子であり、ｘは象であり、あるｚはｘの鼻であって長く、ｚはｘの顔ではない。故に、いかなるｘであっても、ｘが花子であってｘが象であるならば、ｘは馬ではない。
従って、
（17）により、
（18）
馬は顔（だけ）が長い。然るに、花子は象であり、花子の鼻は長く、花子の鼻は顔ではない。故に、花子が象であるならば、（花子は）馬ではない。
といふ「推論」は「妥当」である。
然るに、
（19）
花子が象であるならば、花子は馬ではない。
といふことは、「当然」であって、「常識」である。
然るに、
（20）
∀ｘ｛馬ｘ→∃ｙ（顔ｙｘ＆長ｙ）＆∀ｚ（～顔ｚｘ→～長ｚ）｝，∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（鼻ｚｘ＆長ｚ＆～顔ｚｘ）｝├ ∀ｘ｛（花子ｘ＆象ｘ）→～馬ｘ｝
といふ「推論（論理）」として「妥当」なのであって、この場合、「常識・云々」といふこととは、関係が無い。
（21）
2015年1月15日 MINNANOBLOG コメントをどうぞ
【馬の豆知識】
・馬の顔はなぜ長いのか
馬はとっても愛嬌のある顔をしています。
クリクリの目にピンと立った耳、そしてスラリと伸びた長い鼻。
平均的な体格の馬で顔の長さは約60センチ、そのうち鼻の長さは約40センチで、顔の長さのおよそ三分の二の長さを鼻が占めています。
従って、
（21）により、
（22）
「余談」になるものの、「馬は、鼻が長い」結果として、「馬は顔が長い」といふことになる。