あの在地社会は手広いけれど蟄居しない
fact1: 「「あの幼稚園入園は運転し易い」ということは成り立つとしたらこの山小屋はすげない」ということは真実である fact2: 酷くないものは生まれ難い fact3: もし仮になにがしかの物は若やがないならばそれは手広いけれど蟄居するということはない fact4: なにがしかの物が手広くないとするとすげないが若やがない fact5: もしも何かは運転し易くないとしたらそれは御寒い fact6: もしもあの在地社会が手広いとするとこの山小屋は若やぐ fact7: 仮に「「法人税収でなくて利息相当額だ」ということは間違いである」ものがあるとすればあの自治法上は御寒い fact8: その自治法上が御寒いとすればあの幼稚園入園は運転し易い fact9: 「あの幼稚園入園は若やがない」ということは正しいならばすげなくないしそれに手広くない fact10: あの幼稚園入園は利息相当額だ fact11: 「「運転し易いし加えてすげない」ということは間違いである」ものはある fact12: 「仮にあの幼稚園入園がすげないということはないとすればあの幼稚園入園は運転し易いが御寒くない」ということは誤っていない fact13: もし「この山小屋はすげない」ということは誤りでないとしたらあの在地社会は若やがないけどすげない fact14: 手広いということはないものは運転し易いがすげなくない fact15: 「「法人税収でなくておまけに利息相当額である」ということは成り立たない」物はある
fact15 & fact7 -> int1: その自治法上は御寒い; int1 & fact8 -> int2: あの幼稚園入園は運転し易い; int2 & fact1 -> int3: この山小屋はすげない; int3 & fact13 -> int4: あの在地社会は若やがないがそれはすげない; int4 -> int5: あの在地社会は若やがない; fact3 -> int6: 仮にあの在地社会は若やがないとするとそれは手広い一方で蟄居しない; int5 & int6 -> hypothesis;
「「所掌事務であるということはないし更に貧し」ということは間違いである」物はある
$facts$ = fact1: 「「あの幼稚園入園は運転し易い」ということは成り立つとしたらこの山小屋はすげない」ということは真実である fact2: 酷くないものは生まれ難い fact3: もし仮になにがしかの物は若やがないならばそれは手広いけれど蟄居するということはない fact4: なにがしかの物が手広くないとするとすげないが若やがない fact5: もしも何かは運転し易くないとしたらそれは御寒い fact6: もしもあの在地社会が手広いとするとこの山小屋は若やぐ fact7: 仮に「「法人税収でなくて利息相当額だ」ということは間違いである」ものがあるとすればあの自治法上は御寒い fact8: その自治法上が御寒いとすればあの幼稚園入園は運転し易い fact9: 「あの幼稚園入園は若やがない」ということは正しいならばすげなくないしそれに手広くない fact10: あの幼稚園入園は利息相当額だ fact11: 「「運転し易いし加えてすげない」ということは間違いである」ものはある fact12: 「仮にあの幼稚園入園がすげないということはないとすればあの幼稚園入園は運転し易いが御寒くない」ということは誤っていない fact13: もし「この山小屋はすげない」ということは誤りでないとしたらあの在地社会は若やがないけどすげない fact14: 手広いということはないものは運転し易いがすげなくない fact15: 「「法人税収でなくておまけに利息相当額である」ということは成り立たない」物はある ; $hypothesis$ = あの在地社会は手広いけれど蟄居しない ; $proof$ = 
fact15 & fact7 -> int1: その自治法上は御寒い; int1 & fact8 -> int2: あの幼稚園入園は運転し易い; int2 & fact1 -> int3: この山小屋はすげない; int3 & fact13 -> int4: あの在地社会は若やがないがそれはすげない; int4 -> int5: あの在地社会は若やがない; fact3 -> int6: 仮にあの在地社会は若やがないとするとそれは手広い一方で蟄居しない; int5 & int6 -> hypothesis; __PROVED__
事実1: 「「あの幼稚園入園は運転し易い」ということは成り立つとしたらこの山小屋はすげない」ということは真実である
事実2: 酷くないものは生まれ難い
事実3: もし仮になにがしかの物は若やがないならばそれは手広いけれど蟄居するということはない
事実4: なにがしかの物が手広くないとするとすげないが若やがない
事実5: もしも何かは運転し易くないとしたらそれは御寒い
事実6: もしもあの在地社会が手広いとするとこの山小屋は若やぐ
事実7: 仮に「「法人税収でなくて利息相当額だ」ということは間違いである」ものがあるとすればあの自治法上は御寒い
事実8: その自治法上が御寒いとすればあの幼稚園入園は運転し易い
事実9: 「あの幼稚園入園は若やがない」ということは正しいならばすげなくないしそれに手広くない
事実10: あの幼稚園入園は利息相当額だ
事実11: 「「運転し易いし加えてすげない」ということは間違いである」ものはある
事実12: 「仮にあの幼稚園入園がすげないということはないとすればあの幼稚園入園は運転し易いが御寒くない」ということは誤っていない
事実13: もし「この山小屋はすげない」ということは誤りでないとしたらあの在地社会は若やがないけどすげない
事実14: 手広いということはないものは運転し易いがすげなくない
事実15: 「「法人税収でなくておまけに利息相当額である」ということは成り立たない」物はある

仮説: あの在地社会は手広いけれど蟄居しない
1. 事実15と事実7から、推論1: "その自治法上は御寒い"が導かれる
2. 推論1と事実8から、推論2: "あの幼稚園入園は運転し易い"が導かれる
3. 推論2と事実1から、推論3: "この山小屋はすげない"が導かれる
4. 推論3と事実13から、推論4: "あの在地社会は若やがないがそれはすげない"が導かれる
5. 推論4から、推論5: "あの在地社会は若やがない"が導かれる
6. 事実3から、推論6: "仮にあの在地社会は若やがないとするとそれは手広い一方で蟄居しない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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