あのボディ側は届き難くない
fact1: 何らかの物は叙唱であるならそれは国家プロジェクトである fact2: もし「あの配分的正義は突き立てるしかつ分岐点だ」ということは成り立たないとするとそれは国家プロジェクトでない fact3: 「あの配分的正義は突き立てるし分岐点である」ということは成り立たない fact4: 古神道は叙唱だ fact5: 仮に「あのボディ側は証言する」ということは真実であるとすればあの配分的正義は古神道だ fact6: あのボディ側は移動時でないならそれは届き難くない fact7: 仮にあの配分的正義は届き難いとしたら「あのボディ側は届き難い」ということは真実だ fact8: もしも「あのボディ側は移動時だ」ということは本当ならばそれは証言する
void -> assump1: 以下のように仮定する。あのボディ側は移動時だ; fact8 & assump1 -> int1: あのボディ側は証言する; int1 & fact5 -> int2: あの配分的正義は古神道だ; fact4 -> int3: もしあの配分的正義は古神道であるとすると「それは叙唱である」ということは成り立つ; int2 & int3 -> int4: あの配分的正義は叙唱である; fact1 -> int5: もしもあの配分的正義が叙唱なら国家プロジェクトだ; int4 & int5 -> int6: あの配分的正義は国家プロジェクトだ; fact3 & fact2 -> int7: あの配分的正義は国家プロジェクトであるということはない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あのボディ側は移動時でない; int9 & fact6 -> hypothesis;
あのボディ側は届き難い
$facts$ = fact1: 何らかの物は叙唱であるならそれは国家プロジェクトである fact2: もし「あの配分的正義は突き立てるしかつ分岐点だ」ということは成り立たないとするとそれは国家プロジェクトでない fact3: 「あの配分的正義は突き立てるし分岐点である」ということは成り立たない fact4: 古神道は叙唱だ fact5: 仮に「あのボディ側は証言する」ということは真実であるとすればあの配分的正義は古神道だ fact6: あのボディ側は移動時でないならそれは届き難くない fact7: 仮にあの配分的正義は届き難いとしたら「あのボディ側は届き難い」ということは真実だ fact8: もしも「あのボディ側は移動時だ」ということは本当ならばそれは証言する ; $hypothesis$ = あのボディ側は届き難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのボディ側は移動時だ; fact8 & assump1 -> int1: あのボディ側は証言する; int1 & fact5 -> int2: あの配分的正義は古神道だ; fact4 -> int3: もしあの配分的正義は古神道であるとすると「それは叙唱である」ということは成り立つ; int2 & int3 -> int4: あの配分的正義は叙唱である; fact1 -> int5: もしもあの配分的正義が叙唱なら国家プロジェクトだ; int4 & int5 -> int6: あの配分的正義は国家プロジェクトだ; fact3 & fact2 -> int7: あの配分的正義は国家プロジェクトであるということはない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あのボディ側は移動時でない; int9 & fact6 -> hypothesis; __PROVED__
事実1: 何らかの物は叙唱であるならそれは国家プロジェクトである
事実2: もし「あの配分的正義は突き立てるしかつ分岐点だ」ということは成り立たないとするとそれは国家プロジェクトでない
事実3: 「あの配分的正義は突き立てるし分岐点である」ということは成り立たない
事実4: 古神道は叙唱だ
事実5: 仮に「あのボディ側は証言する」ということは真実であるとすればあの配分的正義は古神道だ
事実6: あのボディ側は移動時でないならそれは届き難くない
事実7: 仮にあの配分的正義は届き難いとしたら「あのボディ側は届き難い」ということは真実だ
事実8: もしも「あのボディ側は移動時だ」ということは本当ならばそれは証言する

仮説: あのボディ側は届き難くない
1. 仮定1: 以下のように仮定する。あのボディ側は移動時だ
2. 事実8と仮定1から、推論1: "あのボディ側は証言する"が導かれる
3. 推論1と事実5から、推論2: "あの配分的正義は古神道だ"が導かれる
4. 事実4から、推論3: "もしあの配分的正義は古神道であるとすると「それは叙唱である」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "あの配分的正義は叙唱である"が導かれる
6. 事実1から、推論5: "もしもあの配分的正義が叙唱なら国家プロジェクトだ"が導かれる
7. 推論4と推論5から、推論6: "あの配分的正義は国家プロジェクトだ"が導かれる
8. 事実3と事実2から、推論7: "あの配分的正義は国家プロジェクトであるということはない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あのボディ側は移動時でない"が導かれる
11. 推論9と事実6から、仮説が導かれる

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