「その長吏達は検出しないかまたは尽くし難くない」ということは成り立たない
fact1: その二十二万人は尽くし難い fact2: 物凄いものはある fact3: もし何かは物凄くないとすれば「それは検出しないかまたはそれは尽くし難いということはないかまたは両方だ」ということは本当である fact4: 仮にあるものは物凄いとすれば「その長吏達は検出しないかもしくは尽くし難くないかあるいは両方ともだ」ということは事実でない fact5: 何かは検出する fact6: もし仮に何らかの物が物凄いならばその長吏達は検出する fact7: もし仮に「激変する」物はあるとすれば「その長吏達は一続きでないかもしくは物凄くないかもしくは両方ともである」ということは成り立たない fact8: 尽くし難いものはある fact9: 「辱しめる」物はあるとしたら「その長吏達は応ぜないかもしくは間違い易くないかまたは両方ともだ」ということは誤りだ
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
その長吏達は検出しないか尽くし難くないかまたは両方だ
fact10 -> int1: 仮にその長吏達が物凄くないとしたらそれは検出しないかまたはそれは尽くし難くない;
$facts$ = fact1: その二十二万人は尽くし難い fact2: 物凄いものはある fact3: もし何かは物凄くないとすれば「それは検出しないかまたはそれは尽くし難いということはないかまたは両方だ」ということは本当である fact4: 仮にあるものは物凄いとすれば「その長吏達は検出しないかもしくは尽くし難くないかあるいは両方ともだ」ということは事実でない fact5: 何かは検出する fact6: もし仮に何らかの物が物凄いならばその長吏達は検出する fact7: もし仮に「激変する」物はあるとすれば「その長吏達は一続きでないかもしくは物凄くないかもしくは両方ともである」ということは成り立たない fact8: 尽くし難いものはある fact9: 「辱しめる」物はあるとしたら「その長吏達は応ぜないかもしくは間違い易くないかまたは両方ともだ」ということは誤りだ ; $hypothesis$ = 「その長吏達は検出しないかまたは尽くし難くない」ということは成り立たない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: その二十二万人は尽くし難い
事実2: 物凄いものはある
事実3: もし何かは物凄くないとすれば「それは検出しないかまたはそれは尽くし難いということはないかまたは両方だ」ということは本当である
事実4: 仮にあるものは物凄いとすれば「その長吏達は検出しないかもしくは尽くし難くないかあるいは両方ともだ」ということは事実でない
事実5: 何かは検出する
事実6: もし仮に何らかの物が物凄いならばその長吏達は検出する
事実7: もし仮に「激変する」物はあるとすれば「その長吏達は一続きでないかもしくは物凄くないかもしくは両方ともである」ということは成り立たない
事実8: 尽くし難いものはある
事実9: 「辱しめる」物はあるとしたら「その長吏達は応ぜないかもしくは間違い易くないかまたは両方ともだ」ということは誤りだ

仮説: 「その長吏達は検出しないかまたは尽くし難くない」ということは成り立たない
1. 事実2と事実4から、仮説が導かれる

よって、仮説が証明されました。