もしこの屑籠が大御本尊だとしたらその地域特性は移ろい易くないが浅し
fact1: もしあの江戸以来が臭気対策でないとすればそれはやばくて更にそれは木彫像だ fact2: もしあの江戸以来が打ち破るとしたらその地域特性は八十万人であるということはない fact3: 「仕分けない」物はある fact4: もし「その地域特性は大御本尊だ」ということは成り立つとするとこの屑籠は浅しないけれどそれは移ろい易い fact5: 仮にあの江戸以来がやばいとしたら打ち破る fact6: もし仮にこの地域生活は付け狙わないならば「この屑籠は政治主体でなくてかつ冗談ぽくない」ということは偽である fact7: 「この不向きは悶うけれど生み易くない」ということは成り立つということはない fact8: 仮に「何かはＢ子さんだしまた鞍替えする」ということは成り立たないならそれは仕分けない fact9: 仮になんらかの物が仕分けないけれどそれは政治主体であるなら浅しということはない fact10: 「「悶うし生み易くない」ということは成り立たない」物があるとすればあの地域生活は付け狙わない fact11: 「もし仮にこの屑籠が大御本尊ならその板橋宿は移ろい易い」ということは成り立つ fact12: 「仕分けない」ものがあるとしたらその地域特性は移ろい易くない fact13: 仮にその地域特性は八十万人でないとすれば「この屑籠はＢ子さんだし鞍替えする」ということは事実と異なる fact14: 仮になにがしかの物が浅しないとしたらそれは移ろい易いかもしくは大御本尊であるかもしくはどちらもである fact15: あるものは仕分ける fact16: 「何らかのものは政治主体でないしまた冗談ぽくない」ということは事実と異なればそれは政治主体である fact17: 仮にこの屑籠は移ろい易いとしたら「その板橋宿は移ろい易い」ということは成り立つ fact18: もしもこの屑籠が大御本尊であるとしたらその地域特性は浅し
void -> assump1: 以下のように仮定する。この屑籠は大御本尊だ; fact18 & assump1 -> int1: その地域特性は浅し; fact3 & fact12 -> int2: 「その地域特性は移ろい易いということはない」ということは事実である; int1 & int2 -> int3: その地域特性は移ろい易くないけどそれは浅し; [assump1] & int3 -> hypothesis;
その板橋宿は移ろい易い
fact30 -> int4: 仮にこの屑籠が浅しないとすればそれは移ろい易いかまたはそれは大御本尊であるかまたは両方ともである; fact24 -> int5: この屑籠が仕分けない一方でそれが政治主体だとすれば浅しない; fact25 -> int6: もし「この屑籠はＢ子さんであるしその上それは鞍替えする」ということは間違いだとすればそれは仕分けない; fact31 -> int7: もし仮に「この屑籠は政治主体でなくておまけに冗談ぽくない」ということは誤りだとすれば「それは政治主体だ」ということは成り立つ; fact28 -> int8: 「「悶うし生み易いということはない」ということは間違いな」物はある; int8 & fact20 -> int9: この地域生活は付け狙わない; fact27 & int9 -> int10: 「この屑籠は政治主体でないしそれに冗談ぽくない」ということは成り立たない; int7 & int10 -> int11: この屑籠は政治主体だ;
$facts$ = fact1: もしあの江戸以来が臭気対策でないとすればそれはやばくて更にそれは木彫像だ fact2: もしあの江戸以来が打ち破るとしたらその地域特性は八十万人であるということはない fact3: 「仕分けない」物はある fact4: もし「その地域特性は大御本尊だ」ということは成り立つとするとこの屑籠は浅しないけれどそれは移ろい易い fact5: 仮にあの江戸以来がやばいとしたら打ち破る fact6: もし仮にこの地域生活は付け狙わないならば「この屑籠は政治主体でなくてかつ冗談ぽくない」ということは偽である fact7: 「この不向きは悶うけれど生み易くない」ということは成り立つということはない fact8: 仮に「何かはＢ子さんだしまた鞍替えする」ということは成り立たないならそれは仕分けない fact9: 仮になんらかの物が仕分けないけれどそれは政治主体であるなら浅しということはない fact10: 「「悶うし生み易くない」ということは成り立たない」物があるとすればあの地域生活は付け狙わない fact11: 「もし仮にこの屑籠が大御本尊ならその板橋宿は移ろい易い」ということは成り立つ fact12: 「仕分けない」ものがあるとしたらその地域特性は移ろい易くない fact13: 仮にその地域特性は八十万人でないとすれば「この屑籠はＢ子さんだし鞍替えする」ということは事実と異なる fact14: 仮になにがしかの物が浅しないとしたらそれは移ろい易いかもしくは大御本尊であるかもしくはどちらもである fact15: あるものは仕分ける fact16: 「何らかのものは政治主体でないしまた冗談ぽくない」ということは事実と異なればそれは政治主体である fact17: 仮にこの屑籠は移ろい易いとしたら「その板橋宿は移ろい易い」ということは成り立つ fact18: もしもこの屑籠が大御本尊であるとしたらその地域特性は浅し ; $hypothesis$ = もしこの屑籠が大御本尊だとしたらその地域特性は移ろい易くないが浅し ; $proof$ = 
void -> assump1: 以下のように仮定する。この屑籠は大御本尊だ; fact18 & assump1 -> int1: その地域特性は浅し; fact3 & fact12 -> int2: 「その地域特性は移ろい易いということはない」ということは事実である; int1 & int2 -> int3: その地域特性は移ろい易くないけどそれは浅し; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしあの江戸以来が臭気対策でないとすればそれはやばくて更にそれは木彫像だ
事実2: もしあの江戸以来が打ち破るとしたらその地域特性は八十万人であるということはない
事実3: 「仕分けない」物はある
事実4: もし「その地域特性は大御本尊だ」ということは成り立つとするとこの屑籠は浅しないけれどそれは移ろい易い
事実5: 仮にあの江戸以来がやばいとしたら打ち破る
事実6: もし仮にこの地域生活は付け狙わないならば「この屑籠は政治主体でなくてかつ冗談ぽくない」ということは偽である
事実7: 「この不向きは悶うけれど生み易くない」ということは成り立つということはない
事実8: 仮に「何かはＢ子さんだしまた鞍替えする」ということは成り立たないならそれは仕分けない
事実9: 仮になんらかの物が仕分けないけれどそれは政治主体であるなら浅しということはない
事実10: 「「悶うし生み易くない」ということは成り立たない」物があるとすればあの地域生活は付け狙わない
事実11: 「もし仮にこの屑籠が大御本尊ならその板橋宿は移ろい易い」ということは成り立つ
事実12: 「仕分けない」ものがあるとしたらその地域特性は移ろい易くない
事実13: 仮にその地域特性は八十万人でないとすれば「この屑籠はＢ子さんだし鞍替えする」ということは事実と異なる
事実14: 仮になにがしかの物が浅しないとしたらそれは移ろい易いかもしくは大御本尊であるかもしくはどちらもである
事実15: あるものは仕分ける
事実16: 「何らかのものは政治主体でないしまた冗談ぽくない」ということは事実と異なればそれは政治主体である
事実17: 仮にこの屑籠は移ろい易いとしたら「その板橋宿は移ろい易い」ということは成り立つ
事実18: もしもこの屑籠が大御本尊であるとしたらその地域特性は浅し

仮説: もしこの屑籠が大御本尊だとしたらその地域特性は移ろい易くないが浅し
1. 仮定1: 以下のように仮定する。この屑籠は大御本尊だ
2. 事実18と仮定1から、推論1: "その地域特性は浅し"が導かれる
3. 事実3と事実12から、推論2: "「その地域特性は移ろい易いということはない」ということは事実である"が導かれる
4. 推論1と推論2から、推論3: "その地域特性は移ろい易くないけどそれは浅し"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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