（01）
（ⅰ）
１ （１）∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝ Ａ
１ （２） 蒟蒻ａ→～∃ｙ（人ｙ＆食ｙａ＆太ｙ） １ＵＥ
３ （３） 蒟蒻ａ Ａ
１３ （４） ～∃ｙ（人ｙ＆食ｙａ＆太ｙ） ２３ＭＰＰ
１３ （５） ∀ｙ～（人ｙ＆食ｙａ＆太ｙ） ４量化子の関係
１３ （６） ～（人ｂ＆食ｂａ＆太ｂ） ５ＵＥ
１３ （７） ～人ｂ∨～食ｂａ∨～太ｂ ６ド・モルガンの法則
１３ （８） （～人ｂ∨～食ｂａ）∨～太ｂ ７結合法則
９ （９） （～人ｂ∨～食ｂａ） Ａ
９ （ア） ～（人ｂ＆食ｂａ） ９ド・モルガンの法則
９ （イ） ～（人ｂ＆食ｂａ）∨～太ｂ ９∨Ｉ
ウ（ウ） ～太ｂ Ａ
ウ（エ） ～（人ｂ＆食ｂａ）∨～太ｂ ウ∨Ｉ
１３ （オ） ～（人ｂ＆食ｂａ）∨～太ｂ ８９イウエ∨Ｅ
１３ （カ） 人ｂ＆食ｂａ→～太ｂ オ含意の定義
１３ （キ） ∀ｙ（人ｂ＆食ｂａ→～太ｂ） カＵＩ
１ （ク） 蒟蒻ａ→∀ｙ（人ｙ＆食ｙａ→～太ｙ） ３キＣＰ
１ （ケ）∀ｘ｛蒟蒻ｘ→∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝ クＵＩ
（ⅱ）
１ （１）∀ｘ｛蒟蒻ｘ→∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝ Ａ
１ （２） 蒟蒻ａ→∀ｙ（人ｙ＆食ｙａ→～太ｙ） １ＵＥ
３ （３） 蒟蒻ａ Ａ
１３ （４） ∀ｙ（人ｙ＆食ｙａ→～太ｙ ２３ＭＰＰ
１３ （５） 人ｂ＆食ｂａ→～太ｂ １ＵＥ
１３ （６） ～（人ｂ＆食ｂａ）∨～太ｂ ５含意の定義
７ （７） ～（人ｂ＆食ｂａ） Ａ
７ （８） ～人ｂ∨～食ｂａ ７ド・モルガンの法則
７ （９） ～人ｂ∨～食ｂａ∨～太ｂ ８∨Ｉ
ア（ア） ～太ｂ Ａ
ア（イ） ～人ｂ∨～食ｂａ∨～太ｂ ア∨Ｉ
１３ （ウ） ～人ｂ∨～食ｂａ∨～太ｂ ６７９アイ∨Ｅ
１３ （エ） ～（人ｂ＆食ｂａ＆太ｂ） ウド・モルガンの法則
１３ （オ） ∀ｙ～（人ｂ＆食ｂａ＆太ｂ） エＵＩ
１３ （カ） ～∃ｙ（人ｂ＆食ｂａ＆太ｂ） オ量化子の関係
１ （キ） 蒟蒻ａ→～∃ｙ（人ｙ＆食ｙａ＆太ｙ） ３カＣＰ
１ （ク）∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆太ｙ）｝ キＵＩ
従って、
（01）により、
（02）
② ∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆ 太ｙ）｝
③ ∀ｘ｛蒟蒻ｘ→ ∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝
に於いて、
②＝③ である。
従って、
（02）により、
（03）
② すべてのｘについて｛ｘが蒟蒻であるならば、ある（ｙが人であり、ｙがｘを食べ、ｙが太る）といふことはない｝。
③ すべてのｘについて｛ｘが蒟蒻であるならば、いかなるｙであっても（ｙが人であって、ｙがｘを食べたとしても、ｙは太らない）｝。
に於いて、
②＝③ である。
従って、
（03）により、
（04）
② コンニャクは、それを食べて、太る者はゐない。
③ コンニャクは、どんな人が、それを食べても、その人は太らない。
に於いて、
②＝③ である。
然るに、
（05）
① コンニャクは、太らない。
といふことは、
② コンニャクは、それを食べて、太る者はゐない。
③ コンニャクは、どんな人が、それを食べても、その人は太らない。
といふことに、他ならない。
従って、
（05）により、
（06）
① コンニャクは、太らない。
② コンニャクは、それを食べて、太る者はゐない。
③ コンニャクは、どんな人が、それを食べても、その人は太らない。
に於いて、
①＝②＝③ である。
従って、
（01）～（06）により、
（07）
① コンニャクは、太らない。
② ∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆ 太ｙ）｝。
③ ∀ｘ｛蒟蒻ｘ→ ∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝。
に於いて、
①＝②＝③ である。
然るに、
（08）
④ 蒟蒻無人食之而太者＝
④ 蒟蒻無〔人食（之）而太者〕⇒
④ 蒟蒻〔人（之）食而太者〕無＝
④ 蒟蒻は〔人にして（之れ）を食して太る者〕無し＝
④ コンニャクは、これを食べて、太る者は、ゐない。
（09）
⑤ 蒟蒻人雖食之則不太＝
⑤ 蒟蒻人雖〔食（之）〕則不（太）⇒
⑤ 蒟蒻人〔（之）食〕雖則（太）不＝
⑤ 蒟蒻は人〔（之れを）食すと〕雖も則ち（太ら）ず＝
⑤ コンニャクは、どんな人が、それを食べても、その人は太らない。
従って、
（07）（08）（09）により、
（10）
「番号」を付け直すと、
① コンニャクは、太らない。
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
④ ∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆ 太ｙ）｝。
⑤ ∀ｘ｛蒟蒻ｘ→ ∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝。
⑥ コンニャクは、これを食べて、太る者は、ゐない。
⑦ コンニャクは、どんな人が、それを食べても、その人は太らない。
に於いて、
①＝②＝③＝④＝⑤＝⑥＝⑦ である。
然るに、
（11）
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
といふ「漢文」は、もちろん、私による『作例』であって、尚且つ、
私の場合は、「漢文」も、「論理学」も、ほぼ１００％を以て、「独学」である。
ｃｆ.
一般教養の科目として「論理学」を履修した際は、「真理値表」さへ理解せず、「単位」を取ることが、出来なかった。
然るに、
（12）
日本人が漢文を書く場合、漢文直訳体の日本語である漢文訓読は、有力な道具となり得る。実際に漢詩・漢文を自分で書いてみればわかることだが、日本人が音読直読だけで純正漢文を書くことは、なかなかに難しい（そもそも漢文の音読直読ができる現代中国人でも、純正漢文が書ける者は少ない）（加藤徹 他、「訓読」論、2008年、２６５頁改）。
従って、
（12）により、
（13）
加藤先生は、
④ 蒟蒻は、人にして之れを食して太る者無し。
⑤ 蒟蒻は、人之れを食すと雖も、則ち太らず。
といふ「日本語」が、「訓読」として「正しい」のであれば、
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
といふ「漢文」も、「正しい」。
といふ風に、述べてゐる。
然るに、
（14）
④ 蒟蒻は、人にして之れを食して太る者無し。
⑤ 蒟蒻は、人之れを食すと雖も、則ち太らず。
といふ「日本語」は、「訓読」として「正しい」に、違ひない。
従って、
（08）～（14）により、
（15）
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
といふ「漢文」は、「純正漢文」として、「正しい」に、違ひないし、私としては、
④ ∀ｘ｛蒟蒻ｘ→～∃ｙ（人ｙ＆食ｙｘ＆ 太ｙ）｝。
⑤ ∀ｘ｛蒟蒻ｘ→ ∀ｙ（人ｙ＆食ｙｘ→～太ｙ）｝。
といふ「述語論理式」が、「文法的に正しい」の同様に、
② 蒟蒻無人食之而太者。
③ 蒟蒻人雖食之則不太。
といふ「漢文」も、「純正漢文」として、「文法的に正しい」といふ風に、信じてゐる。