「もしも「立像でなくてその上愚鈍でない」ということは誤っているとすれば酸化し難くない」ものはある
fact1: もしも「「その国・地方公共団体は立像でないししかも愚鈍でない」ということは成り立たない」ということは誤りであるということはないとしたらそれは酸化し難い fact2: なにかは立像でなくておまけにそれは愚鈍でないとしたら酸化し難くない fact3: 仮にその国・地方公共団体は愚鈍であるならば「それは酸化し難くない」ということは事実だ fact4: 仮に「なにかは立像でなくて愚鈍でない」ということは間違いであるとするとそれは酸化し難いということはない fact5: もし仮に「ある物は法学者でないしその上そそっかしいということはない」ということは成り立たないならそれは頑是無くない fact6: もしも「ある物は立像だけれど愚鈍でない」ということは偽だとしたら酸化し難くない fact7: もし「なにかはＩＮＵでないし加えて零時過ぎでない」ということは事実と異なるならそれは利用しない fact8: 「仮に「御持つしそれに合わせ易くない」ということは成り立つということはないとすれば偏り易いということはない」ものはある fact9: 「仮に立像でないしそれに愚鈍でないならば酸化し難くない」物はある fact10: その国・地方公共団体は立像でなくてその上愚鈍でないとすればそれは酸化し難くない fact11: 「「「立像でないし更に愚鈍でない」ということは誤りであるとすると酸化し難い」物はある」ということは本当だ
fact4 -> int1: 仮に「その国・地方公共団体は立像でなくてそれは愚鈍であるということはない」ということは事実と異なるとすると酸化し難くない; int1 -> hypothesis;
「もし仮に「ＩＮＵでなくて零時過ぎでない」ということは成り立たないとすると利用しない」物はある
fact12 -> int2: 「あの年寄り衆宛て法度はＩＮＵでないし加えて零時過ぎでない」ということは成り立たないとすると利用しない; int2 -> hypothesis;
$facts$ = fact1: もしも「「その国・地方公共団体は立像でないししかも愚鈍でない」ということは成り立たない」ということは誤りであるということはないとしたらそれは酸化し難い fact2: なにかは立像でなくておまけにそれは愚鈍でないとしたら酸化し難くない fact3: 仮にその国・地方公共団体は愚鈍であるならば「それは酸化し難くない」ということは事実だ fact4: 仮に「なにかは立像でなくて愚鈍でない」ということは間違いであるとするとそれは酸化し難いということはない fact5: もし仮に「ある物は法学者でないしその上そそっかしいということはない」ということは成り立たないならそれは頑是無くない fact6: もしも「ある物は立像だけれど愚鈍でない」ということは偽だとしたら酸化し難くない fact7: もし「なにかはＩＮＵでないし加えて零時過ぎでない」ということは事実と異なるならそれは利用しない fact8: 「仮に「御持つしそれに合わせ易くない」ということは成り立つということはないとすれば偏り易いということはない」ものはある fact9: 「仮に立像でないしそれに愚鈍でないならば酸化し難くない」物はある fact10: その国・地方公共団体は立像でなくてその上愚鈍でないとすればそれは酸化し難くない fact11: 「「「立像でないし更に愚鈍でない」ということは誤りであるとすると酸化し難い」物はある」ということは本当だ ; $hypothesis$ = 「もしも「立像でなくてその上愚鈍でない」ということは誤っているとすれば酸化し難くない」ものはある ; $proof$ = 
fact4 -> int1: 仮に「その国・地方公共団体は立像でなくてそれは愚鈍であるということはない」ということは事実と異なるとすると酸化し難くない; int1 -> hypothesis; __PROVED__
事実1: もしも「「その国・地方公共団体は立像でないししかも愚鈍でない」ということは成り立たない」ということは誤りであるということはないとしたらそれは酸化し難い
事実2: なにかは立像でなくておまけにそれは愚鈍でないとしたら酸化し難くない
事実3: 仮にその国・地方公共団体は愚鈍であるならば「それは酸化し難くない」ということは事実だ
事実4: 仮に「なにかは立像でなくて愚鈍でない」ということは間違いであるとするとそれは酸化し難いということはない
事実5: もし仮に「ある物は法学者でないしその上そそっかしいということはない」ということは成り立たないならそれは頑是無くない
事実6: もしも「ある物は立像だけれど愚鈍でない」ということは偽だとしたら酸化し難くない
事実7: もし「なにかはＩＮＵでないし加えて零時過ぎでない」ということは事実と異なるならそれは利用しない
事実8: 「仮に「御持つしそれに合わせ易くない」ということは成り立つということはないとすれば偏り易いということはない」ものはある
事実9: 「仮に立像でないしそれに愚鈍でないならば酸化し難くない」物はある
事実10: その国・地方公共団体は立像でなくてその上愚鈍でないとすればそれは酸化し難くない
事実11: 「「「立像でないし更に愚鈍でない」ということは誤りであるとすると酸化し難い」物はある」ということは本当だ

仮説: 「もしも「立像でなくてその上愚鈍でない」ということは誤っているとすれば酸化し難くない」ものはある
1. 事実4から、推論1: "仮に「その国・地方公共団体は立像でなくてそれは愚鈍であるということはない」ということは事実と異なるとすると酸化し難くない"が導かれる
2. 推論1から、仮説が導かれる

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