その熟慮期間は不足し易い
fact1: もし仮にこの読者諸兄は追い付くということはないとすれば「その第二庁舎は細いししかも追い付く」ということは成り立たない fact2: 「この陣営は細くてさらにそれは追い付く」ということは嘘だ fact3: もしもこの読者諸兄が追い付くとしたらこの陣営は細い fact4: もし仮に「「追い付くしその上機能上である」ということは嘘である」ものがあるならばあの第二庁舎は細くない fact5: 「「細くて追い付く」ということは間違いである」物はある fact6: 「追い付くし更に機能上な」物はある fact7: その熟慮期間は明るくない fact8: 「この読者諸兄は細いが追い付かない」ということは成り立つということはないならばあの熟慮期間は不足し易い fact9: もし「「追い付くし機能上である」ということは事実と異なる」ものがあるとするとこの陣営は細くない fact10: 「「あの産前・産後は機能上だし小机である」ということは成り立つということはない」ということは成り立つ fact11: もし「「機能上でそれに追い付く」ということは確かでない」物があるとすればこの陣営は不足し易くない fact12: もし「その第二庁舎は不足し易いが縁遠くない」ということは本当だということはないとしたらその熟慮期間は機能上だ fact13: 「その熟慮期間は縁遠いけれど機能上でない」ということは成り立たないなら「その第二庁舎は不足し易い」ということは正しい fact14: もしも「「機能上でまた縁遠い」ということは正しくない」ものがあるならこの陣営は追い付かない fact15: もし仮に「「機能上であるしまた追い付く」ということは事実であるということはない」ものがあるとすればこの読者諸兄は不足し易くない fact16: もしもこの陣営は追い付かないなら「この読者諸兄は細い一方でそれは追い付かない」ということは成り立つということはない fact17: もし仮にその熟慮期間が縁遠いとしたらその第二庁舎は不足し易い fact18: もしもその第二庁舎は縁遠いということはないとすると「この陣営は追い付くが縁遠いということはない」ということは成り立たない fact19: 仮に「その熟慮期間は不足し易いが縁遠くない」ということは確かでないならばその第二庁舎は機能上だ fact20: 「その第二庁舎は機能上だしかつ縁遠い」ということは成り立つということはない fact21: 何かは縁遠いしまた細い
fact20 -> int1: 「「機能上で更に縁遠い」ということは成り立たない」ものはある; int1 & fact14 -> int2: この陣営は追い付かない; int2 & fact16 -> int3: 「この読者諸兄は細いがしかし追い付かない」ということは成り立たない; int3 & fact8 -> hypothesis;
$facts$ = fact1: もし仮にこの読者諸兄は追い付くということはないとすれば「その第二庁舎は細いししかも追い付く」ということは成り立たない fact2: 「この陣営は細くてさらにそれは追い付く」ということは嘘だ fact3: もしもこの読者諸兄が追い付くとしたらこの陣営は細い fact4: もし仮に「「追い付くしその上機能上である」ということは嘘である」ものがあるならばあの第二庁舎は細くない fact5: 「「細くて追い付く」ということは間違いである」物はある fact6: 「追い付くし更に機能上な」物はある fact7: その熟慮期間は明るくない fact8: 「この読者諸兄は細いが追い付かない」ということは成り立つということはないならばあの熟慮期間は不足し易い fact9: もし「「追い付くし機能上である」ということは事実と異なる」ものがあるとするとこの陣営は細くない fact10: 「「あの産前・産後は機能上だし小机である」ということは成り立つということはない」ということは成り立つ fact11: もし「「機能上でそれに追い付く」ということは確かでない」物があるとすればこの陣営は不足し易くない fact12: もし「その第二庁舎は不足し易いが縁遠くない」ということは本当だということはないとしたらその熟慮期間は機能上だ fact13: 「その熟慮期間は縁遠いけれど機能上でない」ということは成り立たないなら「その第二庁舎は不足し易い」ということは正しい fact14: もしも「「機能上でまた縁遠い」ということは正しくない」ものがあるならこの陣営は追い付かない fact15: もし仮に「「機能上であるしまた追い付く」ということは事実であるということはない」ものがあるとすればこの読者諸兄は不足し易くない fact16: もしもこの陣営は追い付かないなら「この読者諸兄は細い一方でそれは追い付かない」ということは成り立つということはない fact17: もし仮にその熟慮期間が縁遠いとしたらその第二庁舎は不足し易い fact18: もしもその第二庁舎は縁遠いということはないとすると「この陣営は追い付くが縁遠いということはない」ということは成り立たない fact19: 仮に「その熟慮期間は不足し易いが縁遠くない」ということは確かでないならばその第二庁舎は機能上だ fact20: 「その第二庁舎は機能上だしかつ縁遠い」ということは成り立つということはない fact21: 何かは縁遠いしまた細い ; $hypothesis$ = その熟慮期間は不足し易い ; $proof$ = 
fact20 -> int1: 「「機能上で更に縁遠い」ということは成り立たない」ものはある; int1 & fact14 -> int2: この陣営は追い付かない; int2 & fact16 -> int3: 「この読者諸兄は細いがしかし追い付かない」ということは成り立たない; int3 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にこの読者諸兄は追い付くということはないとすれば「その第二庁舎は細いししかも追い付く」ということは成り立たない
事実2: 「この陣営は細くてさらにそれは追い付く」ということは嘘だ
事実3: もしもこの読者諸兄が追い付くとしたらこの陣営は細い
事実4: もし仮に「「追い付くしその上機能上である」ということは嘘である」ものがあるならばあの第二庁舎は細くない
事実5: 「「細くて追い付く」ということは間違いである」物はある
事実6: 「追い付くし更に機能上な」物はある
事実7: その熟慮期間は明るくない
事実8: 「この読者諸兄は細いが追い付かない」ということは成り立つということはないならばあの熟慮期間は不足し易い
事実9: もし「「追い付くし機能上である」ということは事実と異なる」ものがあるとするとこの陣営は細くない
事実10: 「「あの産前・産後は機能上だし小机である」ということは成り立つということはない」ということは成り立つ
事実11: もし「「機能上でそれに追い付く」ということは確かでない」物があるとすればこの陣営は不足し易くない
事実12: もし「その第二庁舎は不足し易いが縁遠くない」ということは本当だということはないとしたらその熟慮期間は機能上だ
事実13: 「その熟慮期間は縁遠いけれど機能上でない」ということは成り立たないなら「その第二庁舎は不足し易い」ということは正しい
事実14: もしも「「機能上でまた縁遠い」ということは正しくない」ものがあるならこの陣営は追い付かない
事実15: もし仮に「「機能上であるしまた追い付く」ということは事実であるということはない」ものがあるとすればこの読者諸兄は不足し易くない
事実16: もしもこの陣営は追い付かないなら「この読者諸兄は細い一方でそれは追い付かない」ということは成り立つということはない
事実17: もし仮にその熟慮期間が縁遠いとしたらその第二庁舎は不足し易い
事実18: もしもその第二庁舎は縁遠いということはないとすると「この陣営は追い付くが縁遠いということはない」ということは成り立たない
事実19: 仮に「その熟慮期間は不足し易いが縁遠くない」ということは確かでないならばその第二庁舎は機能上だ
事実20: 「その第二庁舎は機能上だしかつ縁遠い」ということは成り立つということはない
事実21: 何かは縁遠いしまた細い

仮説: その熟慮期間は不足し易い
1. 事実20から、推論1: "「「機能上で更に縁遠い」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実14から、推論2: "この陣営は追い付かない"が導かれる
3. 推論2と事実16から、推論3: "「この読者諸兄は細いがしかし追い付かない」ということは成り立たない"が導かれる
4. 推論3と事実8から、仮説が導かれる

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