「「根強くてかつ覚束無くない」ということは間違いである」ものはある
fact1: もし仮にその特殊学級は根強いがしかし覚束無くないなら「変更登記だ」ということは間違いでない fact2: 「明け暮れでない」物はある fact3: もしその特殊学級は変更登記だとすると「あの発音上は溢れる」ということは真実である fact4: ある物は根強いけどそれは覚束無くない fact5: 「「滑り易いし左折する」ということは成り立たない」ものはある fact6: もしあの審議時間が若返らないとすればあの芦田内閣は剣幕で加えてそれは乾き易い fact7: もし「何かは公信であるし更に幅広い」ということは偽だとすればそれは溢れない fact8: もしあの芦田内閣が公信であるけれど幅広くないならばあの発音上は変更登記だ fact9: もしあの発音上が公信でないとすれば溢れない fact10: 乾き易い物は排卵誘発剤だ fact11: もしあの発音上は変更登記だとすれば「その特殊学級は溢れる」ということは確かだ fact12: なにかは溢れるとしたらそれは乗り難くない fact13: 「「「根強いということはない」ということは成り立つ」ものはあるとすれば「あの発音上は溢れるし覚束無い」ということは嘘である」ということは事実である fact14: もし仮にある物は排卵誘発剤なら「それは生々しかなくてまたそれは明け暮れである」ということは嘘だ fact15: 仮に「明け暮れでない」ものはあるとすれば「あの発音上が公信だしかつ幅広い」ということは間違いだ fact16: もし仮に「何らかの物は生々しかないが明け暮れである」ということは偽であるなら明け暮れでない fact17: 「ある物は明け暮れでない」ということは偽でないとするとそれは公信であるし幅広くない
void -> assump1: 以下のように仮定する。その特殊学級は根強いがそれは覚束無いということはない; fact1 & assump1 -> int1: 「その特殊学級は変更登記である」ということは正しい; int1 & fact3 -> int2: あの発音上は溢れる; fact2 & fact15 -> int3: 「あの発音上が公信だしさらにそれは幅広い」ということは事実でない; fact7 -> int4: もし仮に「あの発音上は公信でその上幅広い」ということは間違いだとすればそれは溢れない; int3 & int4 -> int5: あの発音上は溢れない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その特殊学級は根強いが覚束無くない」ということは成り立つということはない; int7 -> hypothesis;
とあるものは乗り難くない
fact18 -> int8: もしその特殊学級は溢れれば「乗り難くない」ということは偽でない; fact19 -> int9: もし仮に「あの芦田内閣は明け暮れだ」ということは成り立たないとするとそれが公信だし幅広くない; fact20 -> int10: 「あの芦田内閣は生々しいということはない一方で明け暮れである」ということは成り立つということはないとしたら明け暮れでない; fact22 -> int11: 仮にあの芦田内閣は排卵誘発剤だとしたら「生々しいということはないけれど明け暮れだ」ということは嘘だ; fact24 -> int12: あの芦田内閣が乾き易いとすると排卵誘発剤である;
$facts$ = fact1: もし仮にその特殊学級は根強いがしかし覚束無くないなら「変更登記だ」ということは間違いでない fact2: 「明け暮れでない」物はある fact3: もしその特殊学級は変更登記だとすると「あの発音上は溢れる」ということは真実である fact4: ある物は根強いけどそれは覚束無くない fact5: 「「滑り易いし左折する」ということは成り立たない」ものはある fact6: もしあの審議時間が若返らないとすればあの芦田内閣は剣幕で加えてそれは乾き易い fact7: もし「何かは公信であるし更に幅広い」ということは偽だとすればそれは溢れない fact8: もしあの芦田内閣が公信であるけれど幅広くないならばあの発音上は変更登記だ fact9: もしあの発音上が公信でないとすれば溢れない fact10: 乾き易い物は排卵誘発剤だ fact11: もしあの発音上は変更登記だとすれば「その特殊学級は溢れる」ということは確かだ fact12: なにかは溢れるとしたらそれは乗り難くない fact13: 「「「根強いということはない」ということは成り立つ」ものはあるとすれば「あの発音上は溢れるし覚束無い」ということは嘘である」ということは事実である fact14: もし仮にある物は排卵誘発剤なら「それは生々しかなくてまたそれは明け暮れである」ということは嘘だ fact15: 仮に「明け暮れでない」ものはあるとすれば「あの発音上が公信だしかつ幅広い」ということは間違いだ fact16: もし仮に「何らかの物は生々しかないが明け暮れである」ということは偽であるなら明け暮れでない fact17: 「ある物は明け暮れでない」ということは偽でないとするとそれは公信であるし幅広くない ; $hypothesis$ = 「「根強くてかつ覚束無くない」ということは間違いである」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。その特殊学級は根強いがそれは覚束無いということはない; fact1 & assump1 -> int1: 「その特殊学級は変更登記である」ということは正しい; int1 & fact3 -> int2: あの発音上は溢れる; fact2 & fact15 -> int3: 「あの発音上が公信だしさらにそれは幅広い」ということは事実でない; fact7 -> int4: もし仮に「あの発音上は公信でその上幅広い」ということは間違いだとすればそれは溢れない; int3 & int4 -> int5: あの発音上は溢れない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「その特殊学級は根強いが覚束無くない」ということは成り立つということはない; int7 -> hypothesis; __PROVED__
事実1: もし仮にその特殊学級は根強いがしかし覚束無くないなら「変更登記だ」ということは間違いでない
事実2: 「明け暮れでない」物はある
事実3: もしその特殊学級は変更登記だとすると「あの発音上は溢れる」ということは真実である
事実4: ある物は根強いけどそれは覚束無くない
事実5: 「「滑り易いし左折する」ということは成り立たない」ものはある
事実6: もしあの審議時間が若返らないとすればあの芦田内閣は剣幕で加えてそれは乾き易い
事実7: もし「何かは公信であるし更に幅広い」ということは偽だとすればそれは溢れない
事実8: もしあの芦田内閣が公信であるけれど幅広くないならばあの発音上は変更登記だ
事実9: もしあの発音上が公信でないとすれば溢れない
事実10: 乾き易い物は排卵誘発剤だ
事実11: もしあの発音上は変更登記だとすれば「その特殊学級は溢れる」ということは確かだ
事実12: なにかは溢れるとしたらそれは乗り難くない
事実13: 「「「根強いということはない」ということは成り立つ」ものはあるとすれば「あの発音上は溢れるし覚束無い」ということは嘘である」ということは事実である
事実14: もし仮にある物は排卵誘発剤なら「それは生々しかなくてまたそれは明け暮れである」ということは嘘だ
事実15: 仮に「明け暮れでない」ものはあるとすれば「あの発音上が公信だしかつ幅広い」ということは間違いだ
事実16: もし仮に「何らかの物は生々しかないが明け暮れである」ということは偽であるなら明け暮れでない
事実17: 「ある物は明け暮れでない」ということは偽でないとするとそれは公信であるし幅広くない

仮説: 「「根強くてかつ覚束無くない」ということは間違いである」ものはある
1. 仮定1: 以下のように仮定する。その特殊学級は根強いがそれは覚束無いということはない
2. 事実1と仮定1から、推論1: "「その特殊学級は変更登記である」ということは正しい"が導かれる
3. 推論1と事実3から、推論2: "あの発音上は溢れる"が導かれる
4. 事実2と事実15から、推論3: "「あの発音上が公信だしさらにそれは幅広い」ということは事実でない"が導かれる
5. 事実7から、推論4: "もし仮に「あの発音上は公信でその上幅広い」ということは間違いだとすればそれは溢れない"が導かれる
6. 推論3と推論4から、推論5: "あの発音上は溢れない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「その特殊学級は根強いが覚束無くない」ということは成り立つということはない"が導かれる
9. 推論7から、仮説が導かれる

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