（01）
① こんにゃくは太らない。
もちろん、この文が問題となるのは、「太らない」のが「こんにゃく」ではなく、それを食べる人間様の場合である。
（金谷武洋、日本語文法の謎を解く、2003年、８４頁改）
従って、
（01）により、
（02）
① こんにゃくは太らない。といふのであれば、
① こんにゃくが存在するならば、ある人が存在して、その人はこんにゃくを食べ、その人は太らない。
然るに、
（03）
１ （１）∀ｘ｛蒟蒻ｘ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ Ａ
１ （２） 蒟蒻ａ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ １ＵＥ
３ （３）∃ｘ（蒟蒻ｘ） Ａ
４（４） 蒟蒻ａ Ａ
１ ４（５） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ２４ＭＰＰ
１３ （６） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３４５ＥＥ
１ （７）∃ｘ（蒟蒻ｘ）→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３６ＣＰ
１ （〃）あるｘが蒟蒻であるならば、あるｙは人であって、ｙはｘ（蒟蒻）を食べ、ｙは太らない。 ３６ＣＰ
１ （〃）こんにゃくが存在するならば、ある人が存在して、その人は蒟蒻を食べ、その人は太らない。 ３６ＣＰ
といふ「述語計算」は、「正しい」。
然るに、
（04）
① 蒟蒻が存在するならば、ある人が存在して、その人はこんにゃくを食べ、その人は太らない。
といふことは、要するに、
① 蒟蒻は太らない。
といふことである。
従って、
（03）（04）により、
（05）
① 蒟蒻は太らない＝∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
といふ「等式」が、成立する。
然るに、
（06）
１ （１）∀ｘ｛～蒟蒻ｘ→ ∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝ Ａ
１ （２） ～蒟蒻ａ→ ∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝ １ＵＥ
３ （３）∃ｘ（～蒟蒻ｘ＆食物ｘ） Ａ
４（４） ～蒟蒻ａ＆食物ａ Ａ
４（５） ～蒟蒻ａ ４＆Ｅ
１ ４（６） ∃ｙ（人ｙ＆食ｙｘ＆太ｙ） ２５ＭＰＰ
１３ （７） ∃ｙ（人ｙ＆食ｙｘ＆太ｙ） ３４ＥＥ
１ （８）∃ｘ（～蒟蒻ｘ＆食物ｘ）→∃ｙ（人ｙ＆食ｙｘ＆太ｙ） ３７ＣＰ
１ （〃）あるｘが蒟蒻でない食べ物であるならば、あるｙは人であって、ｙはｘ（蒟蒻でない食べ物）を食べ、ｙは太る。 ３６ＣＰ
１ （〃）蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太る。 ３ＣＰ
然るに、
（07）
② 蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太る。
といふことは、要するに、
② 蒟蒻以外は太る。
といふことである。
然るに、
（08）
②｛蒟蒻、饅頭、御飯、お好み焼き、ラーメン｝といふ「変域」を想定して、
② 蒟蒻以外は太る。
といふことは、
② 蒟蒻が太らない。
といふことである。
従って、
（05）～（08）により、
（09）
① 蒟蒻は太らない＝∀ｘ｛ 蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
② 蒟蒻が太らない＝∀ｘ｛～蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆ 太ｙ）｝。
といふ「等式」が、成立する。
然るに、
（10）
１ （１）∀ｘ｛～蒟蒻ｘ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ Ａ
１ （２） ～蒟蒻ａ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ １ＵＥ
３ （３）∃ｘ（～蒟蒻ｘ＆食物ｘ） Ａ
４（４） ～蒟蒻ａ＆食物ａ Ａ
４（５） ～蒟蒻ａ ４＆Ｅ
１ ４（６） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ２５ＭＰＰ
１３ （７） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３４ＥＥ
１ （８）∃ｘ（～蒟蒻ｘ＆食物ｘ）→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３７ＣＰ
１ （〃）あるｘが蒟蒻でない食べ物であるならば、あるｙは人であって、ｙはｘ（蒟蒻でない食べ物）を食べ、ｙは太らない。 ３６ＣＰ
１ （〃）蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太らない。 ３ＣＰ
然るに、
（11）
③ 蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太らない。
といふことは、要するに、
③ 蒟蒻以外も太らない。
といふことである。
然るに、
（12）
① 蒟蒻は太らない。
といふ「前提」のもとで、
③ 蒟蒻以外も太らない。
といふのであれば、
③ 蒟蒻も太らない。
といふことになる。
然るに、
（09）～（12）により、
（13）
① 蒟蒻は太らない＝∀ｘ｛ 蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
② 蒟蒻が太らない＝∀ｘ｛～蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆ 太ｙ）｝。
③ 蒟蒻も太らない＝∀ｘ｛～蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
といふ「等式」が、成立する（はずである）。
然るに、
いづれにせよ、
（14）
① 蒟蒻は太らない＝∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
① 蒟蒻は太らない＝すべてのｘについて｛ｘが蒟蒻であるならば、あるｙは人であって、ｙはｘを食べ、ｙは太らない｝。
といふ「等式」は、「正しい」。
然るに、
（15）
１ （１）大Ａ帝国は、女王陛下、之を統治す。
１ （〃） ∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）｝ Ａ
１ （〃）すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治する｝。 Ａ
１ （２） 大Ａ帝国ａ→∃ｙ（女王陛下ｙ＆統治ｙａ） １ＵＥ
３ （３） 大Ａ帝国ａ Ａ
４（４） ～∃ｙ（女王陛下ｙ＆統治ｙａ） Ａ
１３ （５） ∃ｙ（女王陛下ｙ＆統治ｙａ） ２３ＭＰＰ
１３４（６） ～∃ｙ（女王陛下ｙ＆統治ｙａ）＆
∃ｙ（女王陛下ｙ＆統治ｙａ） ４５＆Ｉ
１ ４（７） ～大Ａ帝国ａ ３６ＲＡＡ
１ （８） ～∃ｙ（女王陛下ｙ＆統治ｙａ）→～大Ａ帝国ａ ４７ＣＰ
１ （９）∀ｘ｛～∃ｙ（女王陛下ｙ＆統治ｙｘ）→～大Ａ帝国ｘ｝ ８ＵＩ
１ （〃）すべてのｘについて｛あるｙが女王陛下であって、そのｙがｘを統治しないのであれば、ｘは大Ａ帝国ではない｝。 ８ＵＩ
１ （〃）女王陛下が統治しない国は大Ａ帝国ではない。
従って、
（15）により、
（16）
④ 大Ａ帝国は、女王陛下、之を統治す＝∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）｝。 Ａ
④ 大Ａ帝国は、女王陛下、之を統治す＝すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治する｝。
然るに、
（17）
１ （１）象は長い鼻を持つ。
１ （〃）Elephants have long noses.
１ （〃） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ Ａ
１ （〃） すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い｝。 Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） １ＵＥ
３ （３） 象ａ Ａ
４（４） ～∃ｙ（鼻ｙａ＆長ｙ） Ａ
１３ （５） ∃ｙ（鼻ｙａ＆長ｙ） ２３ＭＰＰ
１３４（６） ～∃ｙ（鼻ｙａ＆長ｙ）＆
∃ｙ（鼻ｙａ＆長ｙ） ４５＆Ｉ
１ ４（７） ～象ａ ３６ＲＡＡ
１ （８） ～∃ｙ（鼻ｙａ＆長ｙ）→～鼻ａ ４７ＣＰ
１ （９）∀ｘ｛～∃ｙ（鼻ｙａ＆長ｙ）→～鼻ａ｝ ４ＵＩ
従って、
（18）
⑤ 象は長い鼻を持つ＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
⑤ 象は長い鼻を持つ＝すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い｝。
従って、
（14）（16）（18）により、
（19）
① 蒟蒻は太らない。
④ 大Ａ帝国は、女王陛下、之を統治す。
⑤ 象は長い鼻を持つ。
といふ「日本語」は、「述語論理的」には、三つとも、
① 蒟蒻は、 太らない＝∀ｘ｛ 蒟蒻ｘ→∃ｙ（・・・・・）｝。
④ 大Ａ帝国は、女王陛下、之を統治す＝∀ｘ｛大Ａ帝国ｘ→∃ｙ（・・・・・）｝。
⑤ 象は 長い鼻を持つ＝∀ｘ｛ 象ｘ→∃ｙ（・・・・・）｝。
といふ風に、「同型」である。
従って、
（20）
「こんにゃく文」といふ「用語」を作り、
① 蒟蒻は太らない。
といふ「日本語」だけを、
④ 大Ａ帝国は、女王陛下、之を統治す。
⑤ 象は長い鼻を持つ。
といふ「日本語」と、「区別」することは、「述語論理的」には、ヲカシイ。
（20）
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」は、
④ ∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）｝。
すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治する｝。
と「等しい」のであれば
④ 女王陛下は、大Ａ帝国を統治する。
といふ「意味」であって、
④ ∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）＆∀ｚ（ｚ≠ｙ→～統治ｚｘ）｝。
④ すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治し、すべてのｚについて、ｚがｙでないならば、ｚはｘを統治しない｝。
と「等しい」のであれば
④ 女王陛下が、大Ａ帝国を統治する。
といふ「意味」である。
従って、
（20）により、
（21）
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」は、
④ 女王陛下は（が）、大Ａ帝国を統治する。
といふ「意味」である。
従って、
（22）
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」は、
④ 大Ａ帝国は（が）、女王陛下を統治す。
といふ「意味」ではない。
同様に、
（23）
① 蒟蒻は太らない。
といふ「日本語」は、
① 蒟蒻は（が）、太らない。
といふ「意味」ではない。
従って、
（24）
① 蒟蒻は太らない。
といふ「日本語」は、
① 蒟蒻は（が）、太らない。
といふ「意味」ではない。
といふことが、ヲカシイとするならば、
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」も、ヲカシイと、すべきである。
① こんにゃくは太らない。
もちろん、この文が問題となるのは、「太らない」のが「こんにゃく」ではなく、それを食べる人間様の場合である。
（金谷武洋、日本語文法の謎を解く、2003年、８４頁改）
従って、
（01）により、
（02）
① こんにゃくは太らない。といふのであれば、
① こんにゃくが存在するならば、ある人が存在して、その人はこんにゃくを食べ、その人は太らない。
然るに、
（03）
１ （１）∀ｘ｛蒟蒻ｘ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ Ａ
１ （２） 蒟蒻ａ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ １ＵＥ
３ （３）∃ｘ（蒟蒻ｘ） Ａ
４（４） 蒟蒻ａ Ａ
１ ４（５） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ２４ＭＰＰ
１３ （６） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３４５ＥＥ
１ （７）∃ｘ（蒟蒻ｘ）→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３６ＣＰ
１ （〃）あるｘが蒟蒻であるならば、あるｙは人であって、ｙはｘ（蒟蒻）を食べ、ｙは太らない。 ３６ＣＰ
１ （〃）こんにゃくが存在するならば、ある人が存在して、その人は蒟蒻を食べ、その人は太らない。 ３６ＣＰ
といふ「述語計算」は、「正しい」。
然るに、
（04）
① 蒟蒻が存在するならば、ある人が存在して、その人はこんにゃくを食べ、その人は太らない。
といふことは、要するに、
① 蒟蒻は太らない。
といふことである。
従って、
（03）（04）により、
（05）
① 蒟蒻は太らない＝∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
といふ「等式」が、成立する。
然るに、
（06）
１ （１）∀ｘ｛～蒟蒻ｘ→ ∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝ Ａ
１ （２） ～蒟蒻ａ→ ∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝ １ＵＥ
３ （３）∃ｘ（～蒟蒻ｘ＆食物ｘ） Ａ
４（４） ～蒟蒻ａ＆食物ａ Ａ
４（５） ～蒟蒻ａ ４＆Ｅ
１ ４（６） ∃ｙ（人ｙ＆食ｙｘ＆太ｙ） ２５ＭＰＰ
１３ （７） ∃ｙ（人ｙ＆食ｙｘ＆太ｙ） ３４ＥＥ
１ （８）∃ｘ（～蒟蒻ｘ＆食物ｘ）→∃ｙ（人ｙ＆食ｙｘ＆太ｙ） ３７ＣＰ
１ （〃）あるｘが蒟蒻でない食べ物であるならば、あるｙは人であって、ｙはｘ（蒟蒻でない食べ物）を食べ、ｙは太る。 ３６ＣＰ
１ （〃）蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太る。 ３ＣＰ
然るに、
（07）
② 蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太る。
といふことは、要するに、
② 蒟蒻以外は太る。
といふことである。
然るに、
（08）
②｛蒟蒻、饅頭、御飯、お好み焼き、ラーメン｝といふ「変域」を想定して、
② 蒟蒻以外は太る。
といふことは、
② 蒟蒻が太らない。
といふことである。
従って、
（05）～（08）により、
（09）
① 蒟蒻は太らない＝∀ｘ｛ 蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
② 蒟蒻が太らない＝∀ｘ｛～蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆ 太ｙ）｝。
といふ「等式」が、成立する。
然るに、
（10）
１ （１）∀ｘ｛～蒟蒻ｘ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ Ａ
１ （２） ～蒟蒻ａ→ ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝ １ＵＥ
３ （３）∃ｘ（～蒟蒻ｘ＆食物ｘ） Ａ
４（４） ～蒟蒻ａ＆食物ａ Ａ
４（５） ～蒟蒻ａ ４＆Ｅ
１ ４（６） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ２５ＭＰＰ
１３ （７） ∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３４ＥＥ
１ （８）∃ｘ（～蒟蒻ｘ＆食物ｘ）→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ） ３７ＣＰ
１ （〃）あるｘが蒟蒻でない食べ物であるならば、あるｙは人であって、ｙはｘ（蒟蒻でない食べ物）を食べ、ｙは太らない。 ３６ＣＰ
１ （〃）蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太らない。 ３ＣＰ
然るに、
（11）
③ 蒟蒻でない食べ物が存在するならば、ある人が存在して、その人は蒟蒻でない食べ物を食べて、その人は太らない。
といふことは、要するに、
③ 蒟蒻以外も太らない。
といふことである。
然るに、
（12）
① 蒟蒻は太らない。
といふ「前提」のもとで、
③ 蒟蒻以外も太らない。
といふのであれば、
③ 蒟蒻も太らない。
といふことになる。
然るに、
（09）～（12）により、
（13）
① 蒟蒻は太らない＝∀ｘ｛ 蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
② 蒟蒻が太らない＝∀ｘ｛～蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆ 太ｙ）｝。
③ 蒟蒻も太らない＝∀ｘ｛～蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
といふ「等式」が、成立する（はずである）。
然るに、
いづれにせよ、
（14）
① 蒟蒻は太らない＝∀ｘ｛蒟蒻ｘ→∃ｙ（人ｙ＆食ｙｘ＆～太ｙ）｝。
① 蒟蒻は太らない＝すべてのｘについて｛ｘが蒟蒻であるならば、あるｙは人であって、ｙはｘを食べ、ｙは太らない｝。
といふ「等式」は、「正しい」。
然るに、
（15）
１ （１）大Ａ帝国は、女王陛下、之を統治す。
１ （〃） ∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）｝ Ａ
１ （〃）すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治する｝。 Ａ
１ （２） 大Ａ帝国ａ→∃ｙ（女王陛下ｙ＆統治ｙａ） １ＵＥ
３ （３） 大Ａ帝国ａ Ａ
４（４） ～∃ｙ（女王陛下ｙ＆統治ｙａ） Ａ
１３ （５） ∃ｙ（女王陛下ｙ＆統治ｙａ） ２３ＭＰＰ
１３４（６） ～∃ｙ（女王陛下ｙ＆統治ｙａ）＆
∃ｙ（女王陛下ｙ＆統治ｙａ） ４５＆Ｉ
１ ４（７） ～大Ａ帝国ａ ３６ＲＡＡ
１ （８） ～∃ｙ（女王陛下ｙ＆統治ｙａ）→～大Ａ帝国ａ ４７ＣＰ
１ （９）∀ｘ｛～∃ｙ（女王陛下ｙ＆統治ｙｘ）→～大Ａ帝国ｘ｝ ８ＵＩ
１ （〃）すべてのｘについて｛あるｙが女王陛下であって、そのｙがｘを統治しないのであれば、ｘは大Ａ帝国ではない｝。 ８ＵＩ
１ （〃）女王陛下が統治しない国は大Ａ帝国ではない。
従って、
（15）により、
（16）
④ 大Ａ帝国は、女王陛下、之を統治す＝∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）｝。 Ａ
④ 大Ａ帝国は、女王陛下、之を統治す＝すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治する｝。
然るに、
（17）
１ （１）象は長い鼻を持つ。
１ （〃）Elephants have long noses.
１ （〃） ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝ Ａ
１ （〃） すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い｝。 Ａ
１ （２） 象ａ→∃ｙ（鼻ｙａ＆長ｙ） １ＵＥ
３ （３） 象ａ Ａ
４（４） ～∃ｙ（鼻ｙａ＆長ｙ） Ａ
１３ （５） ∃ｙ（鼻ｙａ＆長ｙ） ２３ＭＰＰ
１３４（６） ～∃ｙ（鼻ｙａ＆長ｙ）＆
∃ｙ（鼻ｙａ＆長ｙ） ４５＆Ｉ
１ ４（７） ～象ａ ３６ＲＡＡ
１ （８） ～∃ｙ（鼻ｙａ＆長ｙ）→～鼻ａ ４７ＣＰ
１ （９）∀ｘ｛～∃ｙ（鼻ｙａ＆長ｙ）→～鼻ａ｝ ４ＵＩ
従って、
（18）
⑤ 象は長い鼻を持つ＝∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）｝。
⑤ 象は長い鼻を持つ＝すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、ｙは長い｝。
従って、
（14）（16）（18）により、
（19）
① 蒟蒻は太らない。
④ 大Ａ帝国は、女王陛下、之を統治す。
⑤ 象は長い鼻を持つ。
といふ「日本語」は、「述語論理的」には、三つとも、
① 蒟蒻は、 太らない＝∀ｘ｛ 蒟蒻ｘ→∃ｙ（・・・・・）｝。
④ 大Ａ帝国は、女王陛下、之を統治す＝∀ｘ｛大Ａ帝国ｘ→∃ｙ（・・・・・）｝。
⑤ 象は 長い鼻を持つ＝∀ｘ｛ 象ｘ→∃ｙ（・・・・・）｝。
といふ風に、「同型」である。
従って、
（20）
「こんにゃく文」といふ「用語」を作り、
① 蒟蒻は太らない。
といふ「日本語」だけを、
④ 大Ａ帝国は、女王陛下、之を統治す。
⑤ 象は長い鼻を持つ。
といふ「日本語」と、「区別」することは、「述語論理的」には、ヲカシイ。
（20）
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」は、
④ ∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）｝。
すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治する｝。
と「等しい」のであれば
④ 女王陛下は、大Ａ帝国を統治する。
といふ「意味」であって、
④ ∀ｘ｛大Ａ帝国ｘ→∃ｙ（女王陛下ｙ＆統治ｙｘ）＆∀ｚ（ｚ≠ｙ→～統治ｚｘ）｝。
④ すべてのｘについて｛ｘが大Ａ帝国であるならば、あるｙは女王陛下であって、ｙはｘを統治し、すべてのｚについて、ｚがｙでないならば、ｚはｘを統治しない｝。
と「等しい」のであれば
④ 女王陛下が、大Ａ帝国を統治する。
といふ「意味」である。
従って、
（20）により、
（21）
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」は、
④ 女王陛下は（が）、大Ａ帝国を統治する。
といふ「意味」である。
従って、
（22）
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」は、
④ 大Ａ帝国は（が）、女王陛下を統治す。
といふ「意味」ではない。
同様に、
（23）
① 蒟蒻は太らない。
といふ「日本語」は、
① 蒟蒻は（が）、太らない。
といふ「意味」ではない。
従って、
（24）
① 蒟蒻は太らない。
といふ「日本語」は、
① 蒟蒻は（が）、太らない。
といふ「意味」ではない。
といふことが、ヲカシイとするならば、
④ 大Ａ帝国は、女王陛下、之を統治す。
といふ「日本語」も、ヲカシイと、すべきである。