「鼻は象が長い。」の「鼻は」は「主格」であって「主題」ではない。

（01）
｛象、兎、馬、キリン｝を「変域（ドメイン）」とすると、
「鼻は象が長く、耳は兎が長く、顔は馬が長く、首はキリンが長い。」
従って、
（01）により、
（02）
① 鼻は、象が長い。⇔
① 鼻は、象は長く、象以外（兎、馬、キリン）は長くない。⇔
① ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝⇔
① すべてのｘとｙについて、ｘがｙの鼻であって、ｙが象であるならば、ｘは長く、ｘがｙの鼻であって、ｙが象でないならば、ｘは長くない。
然るに、
（03）
（ⅰ）
１　　　　（１）∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝　Ａ
１　　　　（２）　　∀ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（鼻ａｙ＆～象ｙ）→～長ａ｝　１ＵＥ
１　　　　（３）　　　　　（鼻ａｂ＆象ｂ）→長ａ＆（鼻ａｂ＆～象ｂ）→～長ａ　　２ＵＥ
１　　　　（４）　　　　　（鼻ａｂ＆象ｂ）→長ａ　　　　　　　　　　　　　　　　３＆Ｅ
１　　　　（５）　　　　　　　　　　　　　　　　　（鼻ａｂ＆～象ｂ）→～長ａ　　４＆Ｅ
　６　　　（６）　　　　　　　　　　　　　　　　　　　　　　　　　　　　長ａ　　Ａ
　６　　　（７）　　　　　　　　　　　　　　　　　　　　　　　　　　～～長ａ　　６ＤＮ
１６　　　（８）　　　　　　　　　　　　　　　　～（鼻ａｂ＆～象ｂ）　　　　　　５６ＭＴＴ
１６　　　（９）　　　　　　　　　　　　　　　　　～鼻ａｂ∨　象ｂ　　　　　　　８ド・モルガンの法則
１６　　　（ア）　　　　　　　　　　　　　　　　　　鼻ａｂ→　象ｂ　　　　　　　９含意の定義
１　　　　（イ）　　　　　　　　　　　　　　長ａ→（鼻ａｂ→　象ｂ）　　　　　　６アＣＰ
　　ウ　　（ウ）　　　　　　　　　　　　　　長ａ＆　鼻ａｂ　　　　　　　　　　　Ａ
　　ウ　　（エ）　　　　　　　　　　　　　　長ａ　　　　　　　　　　　　　　　　ウ＆Ｅ
１　ウ　　（オ）　　　　　　　　　　　　　　　　　　鼻ａｂ→　象ｂ　　　　　　　イエＭＰＰ
　　ウ　　（カ）　　　　　　　　　　　　　　　　　　鼻ａｂ　　　　　　　　　　　ウ＆Ｅ
１　ウ　　（キ）　　　　　　　　　　　　　　　　　　　　　　　象ｂ　　　　　　　カキＭＰＰ
１　　　　（ク）　　　　　　　　　　　　　（長ａ＆　鼻ａｂ）→象ｂ　　　　　　　ウキＣＰ
　　　ケ　（ケ）　　　　　　　　　　　　　　　　　　　　　　～象ｂ　　　　　　　Ａ
１　　ケ　（コ）　　　　　　　　　　　　～（長ａ＆　鼻ａｂ）　　　　　　　　　　クケＭＴＴ
１　　ケ　（サ）　　　　　　　　　　　　　～長ａ∨～鼻ａｂ　　　　　　　　　　　コ、ド・モルガンの法則
１　　ケ　（シ）　　　　　　　　　　　　　　長ａ→～鼻ａｂ　　　　　　　　　　　サ含意の定義
１　　　　（ス）　　　　　　　　　　　　　～象ｂ→（長ａ→～鼻ａｂ）　　　　　　ケシＣＰ
　　　　セ（セ）　　　　　　　　　　　　　～象ｂ＆　長ａ　　　　　　　　　　　　Ａ
１　　　セ（ソ）　　　　　　　　　　　　　～象ｂ　　　　　　　　　　　　　　　　セ＆Ｅ
１　　　セ（タ）　　　　　　　　　　　　　　　　　　長ａ→～鼻ａｂ　　　　　　　スゾＭＰＰ
　　　　セ（チ）　　　　　　　　　　　　　　　　　　長ａ　　　　　　　　　　　　セ＆Ｅ
１　　　セ（ツ）　　　　　　　　　　　　　　　　　　　　　～鼻ａｂ　　　　　　　タチＭＰＰ
１　　　　（テ）　　　　　　　　　　　　（～象ｂ＆長ａ）→～鼻ａｂ　　　　　　　セツ
１　　　　（ト）　　　　　（鼻ａｂ＆象ｂ）→長ａ＆（～象ｂ＆長ａ）→～鼻ａｂ　　４テ
１　　　　（ナ）　　∀ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（～象ｙ＆長ａ）→～鼻ａｙ｝　トＵＩ
１　　　  （ニ）∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆長ｘ）→～鼻ｘｙ｝　ナＵＩ
（ⅱ）
１　　　  （１）∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆長ｘ）→～鼻ｘｙ｝　Ａ
１　　　　（２）　　∀ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（～象ｙ＆長ａ）→～鼻ａｙ｝　１ＵＥ
１　　　　（３）　　　　　（鼻ａｂ＆象ｂ）→長ａ＆（～象ｂ＆長ａ）→～鼻ａｂ　　２ＵＥ
１　　　　（４）　　　　　（鼻ａｂ＆象ｂ）→長ａ　　　　　　　　　　　　　　　　３＆Ｅ
１　　　　（５）　　　　　　　　　　　　　　　　　（～象ｂ＆長ａ）→～鼻ａｂ　　３＆Ｅ
　６　　　（６）　　　　　　　　　　　　　　　　　　　　　　　　　　　鼻ａｂ　　Ａ
　６　　　（７）　　　　　　　　　　　　　　　　　　　　　　　　　～～鼻ａｂ　　６ＤＮ
１６　　　（８）　　　　　　　　　　　　　　　　～（～象ｂ＆長ａ）　　　　　　　６７ＭＴＴ
１６　　　（９）　　　　　　　　　　　　　　　　　　象ｂ∨～長ａ　　　　　　　　８ド・モルガンの法則
１６　　　（ア）　　　　　　　　　　　　　　　　～～象ｂ∨～長ａ　　　　　　　　９ＤＮ
１６　　　（イ）　　　　　　　　　　　　　　　　　～象ｂ→～長ａ　　　　　　　　ア含意の定義
１　　　　（ウ）　　　　　　　　　　　　鼻ａｂ→（～象ｂ→～長ａ）　　　　　　　６ウＣＰ
　　エ　　（エ）　　　　　　　　　　　　鼻ａｂ＆　～象ｂ　　　　　　　　　　　　Ａ
　　エ　　（オ）　　　　　　　　　　　　鼻ａｂ　　　　　　　　　　　　　　　　　エ＆Ｅ
１　エ　　（カ）　　　　　　　　　　　　　　　　　～象ｂ→～長ａ　　　　　　　　ウオＭＰＰ
　　エ　　（キ）　　　　　　　　　　　　　　　　　～象ｂ　　　　　　　　　　　　エ＆Ｅ
１　エ　　（ク）　　　　　　　　　　　　　　　　　　　　　～長ａ　　　　　　　　カキＭＰＰ
１　　　　（ケ）　　　　　　　　　　　（鼻ａｂ＆～象ｂ）→～長ａ　　　　　　　　エクＣＰ
１　　　　（コ）　　　　　（鼻ａｂ＆象ｂ）→長ａ＆（鼻ａｂ＆～象ｂ）→～長ａ　　４ケ＆Ｉ
１　　　　（サ）　　∀ｙ｛（鼻ａｙ＆象ｙ）→長ａ＆（鼻ａｙ＆～象ｙ）→～長ａ｝　コＵＩ
１　　　　（シ）∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝　サＵＩ
従って、
（03）により、
（04）
① ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝
② ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆長ｘ）→～鼻ｘｙ｝
に於いて、
①＝② である。
然るに、
（01）により、
（05）
② ｙが兎であって、　　ｘが長いならば、ｘは、ｙの鼻ではなく耳であり、
② ｙが馬であって、　　ｘが長いならば、ｘは、ｙの鼻ではなく顔であり、
② ｙがキリンであって、ｘが長いならば、ｘは、ｙの鼻ではなく首であり、
それ故に、
① ｘがｙの鼻であって、ｙが象以外（兎、馬、キリン）であるならば、ｘは長くない。
従って、
（01）～（05）により、
（06）
① 鼻は、象が長い。⇔
① 鼻は、象が長く、象以外（兎、馬、キリン）は長くない。⇔
① ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（鼻ｘｙ＆～象ｙ）→～長ｘ｝⇔
① すべてのｘとｙについて、ｘがｙの鼻であって、ｙが象であるならば、ｘは長く、ｘがｙの鼻であって、ｙが象でないならば、ｘは長くない。
② 鼻は、象が長い。⇔
② 鼻は、象が長く、象以外（兎、馬、キリン）で長いとすれば、鼻ではない。⇔
② ∀ｘ∀ｙ｛（鼻ｘｙ＆象ｙ）→長ｘ＆（～象ｙ＆長ｘ）→～鼻ｘｙ｝⇔　
② すべてのｘとｙについて、ｘがｙの鼻であって、ｙが象であるならば、ｘは長く、ｙが象ではなくて、ｘが長いならば、ｘはｙの鼻ではない。
に於いて、
①＝② である。
然るに、
（06）により、
（07）
② 鼻は、象が長い。
に於いて、
②「長い」のは、「鼻（ｘ）」であって、
②「長い」のは、「象（ｙ）」ではない。
従って、
然るに、
（08）
「象は」は、テーマを提示する主題であり、これから象についてのことを述べますよというメンタルスペースのセットアップであり、そのメンタルスペースのスコープを形成する働きをもつと主張する（この場合は「長い」までをスコープとする）。また、「鼻が」は主格の補語にすぎなく、数ある補語と同じ格であるとする。基本文は述語である「長い」だけだ（三上文法！ : wrong, rogue and log）。
従って、
（07）（08）により、
（09）
② 鼻は、象が長い。
③ 象は、鼻が長い。
に於いて、
②「長い（述語）」の「主格の補語」は、「象は」であって、
②「長い（述語）」の「主格の補語」は、「象が」である。
従って、
（09）により、
（10）
② 鼻は、象が長い。
に於いて、
②「長い（述語）」の「主格の補語」は、「象は」であって、「象が」ではない。
令和元年０８月０９日、毛利太。