（01）
（ⅰ）
１ （１） ∀ｘ｛親ｘ→ ∃ｙ（子ｙｘ＆愛ｘｙ）｝ Ａ
１ （２） 親ａ→ ∃ｙ（子ｙａ＆愛ａｙ） １ＵＥ
３（３） 親ａ＆～∃ｙ（子ｙａ＆愛ａｙ） Ａ
３（４） 親ａ ３＆Ｅ
１３（５） ∃ｙ（子ｙａ＆愛ａｙ） ２４ＭＰＰ
３（６） ～∃ｙ（子ｙａ＆愛ａｙ） ３＆Ｅ
１３（７） ∃ｙ（子ｙａ＆愛ａｙ）＆
～∃ｙ（子ｙａ＆愛ａｙ） ５６＆Ｉ
１ （８） ～｛親ａ＆～∃ｙ（子ｙａ＆愛ａｙ）｝ ３７ＣＰ
１ （９）∀ｘ～｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝ ８ＵＩ
１ （ア）～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝ ９量化子の関係
（ⅱ）
１ （１）～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝ Ａ
１ （２）∀ｘ～｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝ １量化子の関係
１ （３） ～｛親ａ＆～∃ｙ（子ｙａ＆愛ａｙ）｝ ２ＵＥ
１ （４） ～親ａ∨ ∃ｙ（子ｙａ＆愛ａｙ） ３ド・モルガンの法則
１ （５） 親ａ→ ∃ｙ（子ｙａ＆愛ａｙ） ４含意の定義
１ （６） ∀ｘ｛親ｘ→ ∃ｙ（子ｙｘ＆愛ｘｙ）｝ ５ＵＩ
従って、
（01）により、
（02）
① ∀ｘ｛親ｘ→ ∃ｙ（子ｙｘ＆愛ｘｙ）｝
② ～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝
に於いて、
①＝② である。
従って、
（02）により、
（03）
① すべてのｘについて｛ｘが親であるならば、あるｙ（はｘの子であって、ｘはｙを愛す）。｝
② ある｛ｘが親であって、あるｙ（がｘの子であって、ｘがｙをするといふことが）ない｝といふことはない。
に於いて、
①＝② である。
然るに、
（04）
（ⅰ）
親皆有其所愛之子＝
親皆有〔其所（愛）之子〕⇒
親皆〔其（愛）所之子〕有＝
親皆〔其の（愛する）所の子〕有り。
（ⅱ）
無親無其所愛之子＝
無［親無〔其所（愛）之子〕］⇒
［親〔其（愛）所之子〕無］無＝
［親として〔其の（愛する）所の子〕無きは］無し。
従って、
（04）により、
（05）
① 親皆有其所愛之子。
② 無親無其所愛之子。
に於いて、
①＝② である。
従って、
（01）～（05）により、
（06）
① 親皆有其所愛之子。
② 無親無其所愛之子。
といふ「漢文」は、
① ∀ｘ｛親ｘ→ ∃ｙ（子ｙｘ＆愛ｘｙ）｝
② ～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝
といふ「述語論理式」の、「直訳」である。
従って、
（06）により、
（07）
② ～∃ｘ｛親ｘ＆～∃ｙ（子ｙｘ＆愛ｘｙ）｝
といふ「述語論理式」に対する、
② 無親無其所愛之子。
といふ「作例」がさうであるやうに、
② 無Ａ無Ｂ（Ａとして、Ｂ無きは、無し）。
といふ『句形』が有るに、違ひない。
然るに、
（08）
② 子美無一字無来処＝
② 子美無〔一字無（来処）〕⇒
② 子美〔一字（来処）無〕無＝
② 子美は〔一字として（来処）無きは〕無し＝
② 杜甫の詩は一字たりとも典拠の無い字は無い（どんな字にも皆典拠がある）。〈李沂・秋星閣詩話〉
従って、
（08）により、
（09）
② 無一字無来処＝
② 無〔一字無（来処）〕⇒
② 〔一字（来処）無〕無＝
② 〔一字として（来処）無きは〕無し＝
② 一字たりとも典拠の無い字は無い（どんな字にも皆典拠がある）。
従って、
（07）（08）（09）により、
（10）
果たして、
② 無一字無来処。
② 無親無其所愛之子。
といふ「例文」がさうであるやうに、「漢文」には、
② 無Ａ無Ｂ（Ａとして、Ｂ無きは、無し）。
といふ『句形』は、有る。