（01）
（ⅰ）
１ （１）∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝ Ａ
１ （２） ～Ｂａ→（Ｐａ→Ｔａ） １ＵＥ
３ （３） ～Ｂａ Ａ
１３ （４） Ｐａ→Ｔａ ２３ＭＰＰ
５ （５） ～Ｔａ Ａ
１３５ （６） ～Ｐａ ４５ＭＴＴ
１３ （７） ～Ｔａ→～Ｐａ ５６ＣＰ
１ （８）～Ｂａ→（～Ｔａ→～Ｐａ） ３７ＣＰ
９ （９）～Ｔａ＆～Ｂａ Ａ
９ （ア）～Ｔａ ９＆Ｅ
９ （イ） ～Ｂａ ９＆Ｅ
１ ９ （ウ） ～Ｔａ→～Ｐａ ８イＭＰＰ
１ ９ （エ） ～Ｐａ アウＭＰＰ
１ （オ） ～Ｔａ＆～Ｂａ→～Ｐａ ９エＣＰ
カ （カ） Ｐａ Ａ
カ （キ） ～～Ｐａ カＤＮ
１ カ （ク）～（～Ｔａ＆～Ｂａ） オキＭＴＴ
１ カ （ケ） Ｔａ∨ Ｂａ ク、ド・モルガンの法則
１ （コ） Ｐａ→（Ｔａ∨Ｂａ） カケＣＰ
１ （サ）∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝ コＵＩ
１ （〃）大統領は、トランプか、バイデンである。
（ⅱ）
１ （１） ∀ｘ｛Ｐｘ→（Ｔｘ∨Ｂｘ）｝ Ａ
１ （２） Ｐａ→（Ｔａ∨Ｂａ） １ＵＥ
３ （３） ～Ｔａ＆～Ｂａ Ａ
３ （４） ～（Ｔａ∨Ｂａ） ３ド・モルガンの法則
１３ （５） ～Ｐａ ２４ＭＴＴ
１ （６） ～Ｔａ＆～Ｂａ→～Ｐａ ３５ＣＰ
７ （７） ～Ｂａ Ａ
８ （８） ～Ｔａ Ａ
７８ （９） ～Ｔａ＆～Ｂａ ７８＆Ｉ
１ ７８ （ア） ～Ｐａ ６９ＭＰＰ
１ ７ （イ） ～Ｔａ→～Ｐａ ８アＣＰ
ウ （ウ） Ｐａ Ａ
ウ （エ） ～～Ｐａ ウＤＮ
１ ７ ウ （オ） ～～Ｔａ イエＭＴＴ
１ ７ ウ （カ） Ｔａ オＤＮ
１ ７ （キ） Ｐａ→Ｔａ ウカＣＰ
１ （ク） ～Ｂａ→（Ｐａ→Ｔａ） ７キＣＰ
１ （ケ）∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝ クＵＩ
１ （〃）バイデンでないならば、大統領はトランプである。
従って、
（01）により、
（02）
① ∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝
② ∀ｘ｛ Ｐｘ→（Ｔｘ∨Ｂｘ）｝
に於いて、
①＝② であるが、この「等式」を、『定理（１）』とする。
然るに、
（03）
１ （１）∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝ Ａ
１ （〃）∀ｘ｛ Ｐｘ→（Ｔｘ∨Ｂｘ）｝ １『定理（１）』
２ （２）∀ｘ（Ｆｘ→～Ｐｘ） Ａ
３ （３）∃ｘ（Ｂｘ＆Ｆｘ） Ａ
１ （４） Ｐａ→（Ｔａ∨Ｂａ） １ＵＥ
２ （５） Ｆａ→～Ｐａ １ＵＥ
６ （６） Ｂａ＆Ｆａ Ａ
７（７） Ｐａ Ａ
１ ７（８） Ｔａ∨Ｂａ ４７ＭＰＰ
１ ７（９） Ｂａ∨Ｔａ ８交換法則
１ ７（ア） ～～Ｂａ∨Ｔａ ９ＤＮ
１ ７（イ） ～Ｂａ→Ｔａ ア含意の定義
６ （ウ） Ｆａ ６＆Ｅ
２ ６ （エ） ～Ｐａ ５ウＭＰＰ
２ ６７（オ） Ｐａ＆～Ｐａ ７エ＆Ｉ
２ ７（カ） ～（Ｂａ＆ Ｆａ） ６オＲＡＡ
２ ７（キ） ～Ｂａ∨～Ｆａ カ、ド・モルガンの法則
２ ７（ク） ～Ｆａ∨～Ｂａ キ交換法則
２ ７（ケ） Ｆａ→～Ｂａ ク含意の定義
２ ６７（コ） ～Ｂａ ウケＭＰＰ
２３ ７（サ） ～Ｂａ ３６コＥＥ
１２３ ７（シ） Ｔａ イサＭＰＰ
１２３ （ス） Ｐａ→Ｔａ ７シＣＰ
１２３ （セ）∀ｘ（Ｐｘ→Ｔｘ） スＵＩ
従って、
（03）により、
（04）
（１）∀ｘ｛～Ｂｘ→（Ｐｘ→Ｔｘ）｝然るに、
（２）∀ｘ（Ｆｘ→～Ｐｘ） 然るに、
（３）∃ｘ（Ｂｘ＆Ｆｘ） 従って、
（セ）∀ｘ（Ｐｘ→Ｔｘ）
といふ「推論」は「妥当」である。
従って、
（04）により、
（05）
Ｐ＝大統領である。
Ｆ＝不正を行ふ。
Ｔ＝トランプである。
Ｂ＝バイデンである。
として、
（１）すべてのｘについて｛ｘがバイデンでないならば（、ｘが大統領であるならば、ｘはトランプである）｝。然るに、
（２）すべてのｘについて（ｘが不正を行ったのであれば、ｘは大統領ではない）。然るに、
（３）あるｘは（バイデンであって、不正を行った）。従って、
（セ）すべてのｘについて（ｘが大統領であるならば、ｘはトランプである）。
といふ「推論」は「妥当」である。
従って、
（04）（05）により、
（06）
（１）バイデンでないならば、大統領はトランプである。然るに、
（２）不正を行った者は、大統領にはなれない。然るに、
（３）バイデンは不正を行った。従って、
（４）大統領はトランプである。
といふ「推論」は「妥当」である（が、言ふ迄もなく、推論の妥当性と、事実か否かといふことは、関係がない）。