「仮にその藪が人災だとするとあの紛争解決契約は身軽い」ということは成り立つ
fact1: 仮にあるものが減らせらないとすればそれは身軽い一方で人災でない fact2: 仮にその藪は人災でないならば「その自動機械が証拠制限だけどそれは仲介しない」ということは間違いである fact3: その藪は人災だとしたら「「この規制内容は仲介するし更に香椎宮だ」ということは本当だ」ということは誤りだ fact4: 「この規制内容は仲介するし香椎宮だ」ということは成り立たない fact5: あの紛争解決契約が仲介するならこの規制内容は身軽い fact6: 仮にこの規制内容が香椎宮であるとしたらあの紛争解決契約は身軽い fact7: この規制内容は身軽い fact8: 「「この規制内容は香椎宮であるがしかし身軽くない」ということは確かである」ということは成り立たないとすればあの紛争解決契約は仲介する fact9: もしも「その藪は人災である」ということは真実であるとしたら「「この規制内容は仲介するけれど香椎宮でない」ということは成り立たない」ということは正しい fact10: もし「あの紛争解決契約は人災だ」ということは本当であるとするとその藪は身軽い fact11: 「この規制内容は仲介するが香椎宮でない」ということは偽ならあの紛争解決契約は身軽い
void -> assump1: 以下のように仮定する。「その藪は人災だ」ということは真実だ; fact9 & assump1 -> int1: 「この規制内容は仲介するがしかし香椎宮でない」ということは成り立たない; int1 & fact11 -> int2: あの紛争解決契約は身軽い; [assump1] & int2 -> hypothesis;
「その自動機械は証拠制限だがしかし仲介しない」ということは間違いである
fact13 -> int3: もし仮にその藪が減らせらないとしたら身軽いが人災でない;
$facts$ = fact1: 仮にあるものが減らせらないとすればそれは身軽い一方で人災でない fact2: 仮にその藪は人災でないならば「その自動機械が証拠制限だけどそれは仲介しない」ということは間違いである fact3: その藪は人災だとしたら「「この規制内容は仲介するし更に香椎宮だ」ということは本当だ」ということは誤りだ fact4: 「この規制内容は仲介するし香椎宮だ」ということは成り立たない fact5: あの紛争解決契約が仲介するならこの規制内容は身軽い fact6: 仮にこの規制内容が香椎宮であるとしたらあの紛争解決契約は身軽い fact7: この規制内容は身軽い fact8: 「「この規制内容は香椎宮であるがしかし身軽くない」ということは確かである」ということは成り立たないとすればあの紛争解決契約は仲介する fact9: もしも「その藪は人災である」ということは真実であるとしたら「「この規制内容は仲介するけれど香椎宮でない」ということは成り立たない」ということは正しい fact10: もし「あの紛争解決契約は人災だ」ということは本当であるとするとその藪は身軽い fact11: 「この規制内容は仲介するが香椎宮でない」ということは偽ならあの紛争解決契約は身軽い ; $hypothesis$ = 「仮にその藪が人災だとするとあの紛争解決契約は身軽い」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その藪は人災だ」ということは真実だ; fact9 & assump1 -> int1: 「この規制内容は仲介するがしかし香椎宮でない」ということは成り立たない; int1 & fact11 -> int2: あの紛争解決契約は身軽い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にあるものが減らせらないとすればそれは身軽い一方で人災でない
事実2: 仮にその藪は人災でないならば「その自動機械が証拠制限だけどそれは仲介しない」ということは間違いである
事実3: その藪は人災だとしたら「「この規制内容は仲介するし更に香椎宮だ」ということは本当だ」ということは誤りだ
事実4: 「この規制内容は仲介するし香椎宮だ」ということは成り立たない
事実5: あの紛争解決契約が仲介するならこの規制内容は身軽い
事実6: 仮にこの規制内容が香椎宮であるとしたらあの紛争解決契約は身軽い
事実7: この規制内容は身軽い
事実8: 「「この規制内容は香椎宮であるがしかし身軽くない」ということは確かである」ということは成り立たないとすればあの紛争解決契約は仲介する
事実9: もしも「その藪は人災である」ということは真実であるとしたら「「この規制内容は仲介するけれど香椎宮でない」ということは成り立たない」ということは正しい
事実10: もし「あの紛争解決契約は人災だ」ということは本当であるとするとその藪は身軽い
事実11: 「この規制内容は仲介するが香椎宮でない」ということは偽ならあの紛争解決契約は身軽い

仮説: 「仮にその藪が人災だとするとあの紛争解決契約は身軽い」ということは成り立つ
1. 仮定1: 以下のように仮定する。「その藪は人災だ」ということは真実だ
2. 事実9と仮定1から、推論1: "「この規制内容は仲介するがしかし香椎宮でない」ということは成り立たない"が導かれる
3. 推論1と事実11から、推論2: "あの紛争解決契約は身軽い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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