その階層差は最優先する
fact1: 何らかの物は認定しないとしたら「それは集権化するしそれは大人しくない」ということは誤りである fact2: その緯度は着工出来るしかつ由々しい fact3: もし仮にその階層差が錆無いならその建設関係はエクササイズだということはない fact4: もし仮にあの中央本部が集権化するとすれば錆無いということはない fact5: もしもあの中央本部が錆無くないならばあの階層差は集権化しないかまたは錆無くない fact6: もし「その階層差は移動時間だ一方で錆無くない」ということは確かでないとしたらその建設関係はエクササイズでない fact7: もし仮になにがしかの物が着工出来れば認定しない fact8: なにがしかの物は着工出来るがサッチェだということはないならばそれは認定しない fact9: その建設関係はエクササイズでないとすると「あの中央本部は集権化しないかもしくはエクササイズであるということはない」ということは成り立つ fact10: もし仮にその建設関係はエクササイズでないなら「あの中央本部は集権化するかまたはエクササイズでないかあるいは両方ともだ」ということは確かだ fact11: 「もしその建設関係が大人しくないならその資金調達先はエクササイズであるということはないかあるいは大人しいかもしくは両方ともだ」ということは正しい fact12: 仮に「その建設関係は集権化する一方で大人しくない」ということは真実でないとすると「その階層差はエクササイズでない」ということは成り立つ fact13: もし何らかの物が建設国債だとしたらそれは惨くない fact14: あの中央本部は集権化するかまたはそれはエクササイズでない fact15: もしもその緯度はサッチェでなくてかつ認定しないとすれば「その資金調達先は大人しくない」ということは成り立つ fact16: もしも何らかの物は最優先するということはないとしたら「それは移動時間であるが錆無くない」ということは間違っている fact17: もし仮に何かはエクササイズでないならそれは最優先するということはない fact18: もし仮にあの中央本部が集権化しないかもしくはエクササイズでないかどちらもだとすればその資金調達先は大人しい fact19: その緯度は認定しない fact20: もしもあの中央本部が惨いかまたはそれは分け与えないかあるいは両方だとすれば由々しくない fact21: もし仮になにかは着工出来ればサッチェでなくてその上認定しない fact22: もし仮にその緯度がサッチェでないがしかし認定するならその資金調達先は大人しくない fact23: もし仮にその建設関係がエクササイズでないならばあの中央本部は集権化しないかまたはエクササイズであるかまたは両方ともだ
fact16 -> int1: その階層差は最優先しないとすれば「それは移動時間である一方で錆無くない」ということは成り立たない; void -> assump1: 以下のように仮定する。その階層差は最優先しない; int1 & assump1 -> int2: 「その階層差は移動時間だが錆無いということはない」ということは誤りだ; int2 & fact6 -> int3: その建設関係はエクササイズであるということはない; int3 & fact9 -> int4: あの中央本部は集権化するということはないかもしくはエクササイズでないか両方ともである; int4 & fact18 -> int5: その資金調達先は大人しい; fact2 -> int6: 「その緯度は着工出来る」ということは真実である; fact21 -> int7: その緯度が着工出来るとすればそれはサッチェでないし認定しない; int6 & int7 -> int8: その緯度はサッチェでないししかも認定しない; int8 & fact15 -> int9: その資金調達先は大人しくない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
その階層差は最優先しない
fact24 -> int11: その階層差はエクササイズでないならそれは最優先しない; fact27 -> int12: もし仮にその建設関係は認定しないとしたら「集権化するしその上大人しくない」ということは本当でない; fact25 -> int13: もし仮にその建設関係は着工出来るけれどサッチェでないとしたらそれは認定しない;
$facts$ = fact1: 何らかの物は認定しないとしたら「それは集権化するしそれは大人しくない」ということは誤りである fact2: その緯度は着工出来るしかつ由々しい fact3: もし仮にその階層差が錆無いならその建設関係はエクササイズだということはない fact4: もし仮にあの中央本部が集権化するとすれば錆無いということはない fact5: もしもあの中央本部が錆無くないならばあの階層差は集権化しないかまたは錆無くない fact6: もし「その階層差は移動時間だ一方で錆無くない」ということは確かでないとしたらその建設関係はエクササイズでない fact7: もし仮になにがしかの物が着工出来れば認定しない fact8: なにがしかの物は着工出来るがサッチェだということはないならばそれは認定しない fact9: その建設関係はエクササイズでないとすると「あの中央本部は集権化しないかもしくはエクササイズであるということはない」ということは成り立つ fact10: もし仮にその建設関係はエクササイズでないなら「あの中央本部は集権化するかまたはエクササイズでないかあるいは両方ともだ」ということは確かだ fact11: 「もしその建設関係が大人しくないならその資金調達先はエクササイズであるということはないかあるいは大人しいかもしくは両方ともだ」ということは正しい fact12: 仮に「その建設関係は集権化する一方で大人しくない」ということは真実でないとすると「その階層差はエクササイズでない」ということは成り立つ fact13: もし何らかの物が建設国債だとしたらそれは惨くない fact14: あの中央本部は集権化するかまたはそれはエクササイズでない fact15: もしもその緯度はサッチェでなくてかつ認定しないとすれば「その資金調達先は大人しくない」ということは成り立つ fact16: もしも何らかの物は最優先するということはないとしたら「それは移動時間であるが錆無くない」ということは間違っている fact17: もし仮に何かはエクササイズでないならそれは最優先するということはない fact18: もし仮にあの中央本部が集権化しないかもしくはエクササイズでないかどちらもだとすればその資金調達先は大人しい fact19: その緯度は認定しない fact20: もしもあの中央本部が惨いかまたはそれは分け与えないかあるいは両方だとすれば由々しくない fact21: もし仮になにかは着工出来ればサッチェでなくてその上認定しない fact22: もし仮にその緯度がサッチェでないがしかし認定するならその資金調達先は大人しくない fact23: もし仮にその建設関係がエクササイズでないならばあの中央本部は集権化しないかまたはエクササイズであるかまたは両方ともだ ; $hypothesis$ = その階層差は最優先する ; $proof$ = 
fact16 -> int1: その階層差は最優先しないとすれば「それは移動時間である一方で錆無くない」ということは成り立たない; void -> assump1: 以下のように仮定する。その階層差は最優先しない; int1 & assump1 -> int2: 「その階層差は移動時間だが錆無いということはない」ということは誤りだ; int2 & fact6 -> int3: その建設関係はエクササイズであるということはない; int3 & fact9 -> int4: あの中央本部は集権化するということはないかもしくはエクササイズでないか両方ともである; int4 & fact18 -> int5: その資金調達先は大人しい; fact2 -> int6: 「その緯度は着工出来る」ということは真実である; fact21 -> int7: その緯度が着工出来るとすればそれはサッチェでないし認定しない; int6 & int7 -> int8: その緯度はサッチェでないししかも認定しない; int8 & fact15 -> int9: その資金調達先は大人しくない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: 何らかの物は認定しないとしたら「それは集権化するしそれは大人しくない」ということは誤りである
事実2: その緯度は着工出来るしかつ由々しい
事実3: もし仮にその階層差が錆無いならその建設関係はエクササイズだということはない
事実4: もし仮にあの中央本部が集権化するとすれば錆無いということはない
事実5: もしもあの中央本部が錆無くないならばあの階層差は集権化しないかまたは錆無くない
事実6: もし「その階層差は移動時間だ一方で錆無くない」ということは確かでないとしたらその建設関係はエクササイズでない
事実7: もし仮になにがしかの物が着工出来れば認定しない
事実8: なにがしかの物は着工出来るがサッチェだということはないならばそれは認定しない
事実9: その建設関係はエクササイズでないとすると「あの中央本部は集権化しないかもしくはエクササイズであるということはない」ということは成り立つ
事実10: もし仮にその建設関係はエクササイズでないなら「あの中央本部は集権化するかまたはエクササイズでないかあるいは両方ともだ」ということは確かだ
事実11: 「もしその建設関係が大人しくないならその資金調達先はエクササイズであるということはないかあるいは大人しいかもしくは両方ともだ」ということは正しい
事実12: 仮に「その建設関係は集権化する一方で大人しくない」ということは真実でないとすると「その階層差はエクササイズでない」ということは成り立つ
事実13: もし何らかの物が建設国債だとしたらそれは惨くない
事実14: あの中央本部は集権化するかまたはそれはエクササイズでない
事実15: もしもその緯度はサッチェでなくてかつ認定しないとすれば「その資金調達先は大人しくない」ということは成り立つ
事実16: もしも何らかの物は最優先するということはないとしたら「それは移動時間であるが錆無くない」ということは間違っている
事実17: もし仮に何かはエクササイズでないならそれは最優先するということはない
事実18: もし仮にあの中央本部が集権化しないかもしくはエクササイズでないかどちらもだとすればその資金調達先は大人しい
事実19: その緯度は認定しない
事実20: もしもあの中央本部が惨いかまたはそれは分け与えないかあるいは両方だとすれば由々しくない
事実21: もし仮になにかは着工出来ればサッチェでなくてその上認定しない
事実22: もし仮にその緯度がサッチェでないがしかし認定するならその資金調達先は大人しくない
事実23: もし仮にその建設関係がエクササイズでないならばあの中央本部は集権化しないかまたはエクササイズであるかまたは両方ともだ

仮説: その階層差は最優先する
1. 事実16から、推論1: "その階層差は最優先しないとすれば「それは移動時間である一方で錆無くない」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。その階層差は最優先しない
3. 推論1と仮定1から、推論2: "「その階層差は移動時間だが錆無いということはない」ということは誤りだ"が導かれる
4. 推論2と事実6から、推論3: "その建設関係はエクササイズであるということはない"が導かれる
5. 推論3と事実9から、推論4: "あの中央本部は集権化するということはないかもしくはエクササイズでないか両方ともである"が導かれる
6. 推論4と事実18から、推論5: "その資金調達先は大人しい"が導かれる
7. 事実2から、推論6: "「その緯度は着工出来る」ということは真実である"が導かれる
8. 事実21から、推論7: "その緯度が着工出来るとすればそれはサッチェでないし認定しない"が導かれる
9. 推論6と推論7から、推論8: "その緯度はサッチェでないししかも認定しない"が導かれる
10. 推論8と事実15から、推論9: "その資金調達先は大人しくない"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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