「その摩擦抵抗は運送するがしかし天つ神でない」ということは成り立たない
fact1: 仮にその摩擦抵抗は再浮上しないとしたら「それは運送するしおまけにそれは天つ神だ」ということは成り立たない fact2: あの地球村は二十歳近くだ fact3: 「この飛礫は待ち焦がれるが意思決定権限でない」ということは間違っているとしたら「それは掴み易い」ということは確かだ fact4: この心理臨床は意思決定権限であるしかつ食み出る fact5: もしもあの材料等が避け難いということはないならばあの摩擦抵抗は縁遠いしまた二十歳近くである fact6: あの材料等が風靡するとするとその摩擦抵抗は避け難い fact7: 「掴み易いものは意思決定権限であるか避け難くないかもしくはどちらもだ」ということは真実である fact8: あの終戦時は無い fact9: もし仮に「「あの終戦時は再浮上するけどそれは意思決定権限でない」ということは成り立つ」ということは事実と異なるとするとそれは掴み易い fact10: もし仮にこの飛礫が待ち焦がれるとしたらその摩擦抵抗は風靡する fact11: 「縁遠くない物は見咎めるけれど解消コラムでない」ということは成り立つ fact12: 仮にこの飛礫が運送するが無くないとすればそれは風靡するということはない fact13: もし仮に「とある物は縁遠いけれどそれは二十歳近くでない」ということは偽だとすれば避け難い fact14: あの材料等は二十歳近くだ fact15: もしあの終戦時が意思決定権限だとするとその摩擦抵抗は掴み易くない fact16: もしもとある物が縁遠いならば運送するししかも天つ神でない fact17: その摩擦抵抗は意思決定権限だがしかし天つ神でない fact18: もしもあの材料等が避け難いとしたらあの終戦時は意思決定権限である fact19: その毛氈は腰下肢痛だし避け難い fact20: 仮にとあるものは再浮上しないとすると「運送するし天つ神でない」ということは成り立たない fact21: この飛礫は待ち焦がれるし更に無い fact22: もし仮にあの材料等が風靡しないとしたらそれは二十歳近くである fact23: もし仮に何らかの物は待ち焦がれないとすると「天つ神であるけど掴み易くない」ということは成り立たない fact24: 仮にあの材料等が縁遠くないとするとそれは避け難い fact25: 何らかの物が風靡するがしかし掴み易くないとしたら再浮上しない fact26: 仮に「この飛礫は天つ神である」ということは成り立つならその摩擦抵抗は無くない
void -> assump1: 以下のように仮定する。あの材料等は縁遠いけれど二十歳近くでない; assump1 -> int1: あの材料等は二十歳近くでない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの材料等は縁遠いけど二十歳近くでない」ということは事実と異なる; fact13 -> int4: 仮に「あの材料等は縁遠い一方でそれは二十歳近くでない」ということは成り立たないとすれば避け難い; int3 & int4 -> int5: あの材料等は避け難い; int5 & fact18 -> int6: あの終戦時は意思決定権限である; int6 & fact15 -> int7: その摩擦抵抗は掴み易くない; fact21 -> int8: この飛礫は待ち焦がれる; fact10 & int8 -> int9: その摩擦抵抗は風靡する; int7 & int9 -> int10: 「その摩擦抵抗は風靡するが掴み易くない」ということは本当である; fact25 -> int11: もし仮にその摩擦抵抗が風靡するけれど掴み易くないとすれば再浮上しない; int10 & int11 -> int12: その摩擦抵抗は再浮上しない; fact20 -> int13: もしもその摩擦抵抗は再浮上するということはないとしたら「それは運送するしさらにそれは天つ神でない」ということは誤っている; int12 & int13 -> hypothesis;
その摩擦抵抗は運送するがしかし天つ神でない
fact29 -> int14: もしもその摩擦抵抗は縁遠いとすると「それは運送するしそれは天つ神でない」ということは確かである; fact27 -> int15: もし仮にあの終戦時が掴み易いとしたら意思決定権限であるかあるいは避け難くない;
$facts$ = fact1: 仮にその摩擦抵抗は再浮上しないとしたら「それは運送するしおまけにそれは天つ神だ」ということは成り立たない fact2: あの地球村は二十歳近くだ fact3: 「この飛礫は待ち焦がれるが意思決定権限でない」ということは間違っているとしたら「それは掴み易い」ということは確かだ fact4: この心理臨床は意思決定権限であるしかつ食み出る fact5: もしもあの材料等が避け難いということはないならばあの摩擦抵抗は縁遠いしまた二十歳近くである fact6: あの材料等が風靡するとするとその摩擦抵抗は避け難い fact7: 「掴み易いものは意思決定権限であるか避け難くないかもしくはどちらもだ」ということは真実である fact8: あの終戦時は無い fact9: もし仮に「「あの終戦時は再浮上するけどそれは意思決定権限でない」ということは成り立つ」ということは事実と異なるとするとそれは掴み易い fact10: もし仮にこの飛礫が待ち焦がれるとしたらその摩擦抵抗は風靡する fact11: 「縁遠くない物は見咎めるけれど解消コラムでない」ということは成り立つ fact12: 仮にこの飛礫が運送するが無くないとすればそれは風靡するということはない fact13: もし仮に「とある物は縁遠いけれどそれは二十歳近くでない」ということは偽だとすれば避け難い fact14: あの材料等は二十歳近くだ fact15: もしあの終戦時が意思決定権限だとするとその摩擦抵抗は掴み易くない fact16: もしもとある物が縁遠いならば運送するししかも天つ神でない fact17: その摩擦抵抗は意思決定権限だがしかし天つ神でない fact18: もしもあの材料等が避け難いとしたらあの終戦時は意思決定権限である fact19: その毛氈は腰下肢痛だし避け難い fact20: 仮にとあるものは再浮上しないとすると「運送するし天つ神でない」ということは成り立たない fact21: この飛礫は待ち焦がれるし更に無い fact22: もし仮にあの材料等が風靡しないとしたらそれは二十歳近くである fact23: もし仮に何らかの物は待ち焦がれないとすると「天つ神であるけど掴み易くない」ということは成り立たない fact24: 仮にあの材料等が縁遠くないとするとそれは避け難い fact25: 何らかの物が風靡するがしかし掴み易くないとしたら再浮上しない fact26: 仮に「この飛礫は天つ神である」ということは成り立つならその摩擦抵抗は無くない ; $hypothesis$ = 「その摩擦抵抗は運送するがしかし天つ神でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの材料等は縁遠いけれど二十歳近くでない; assump1 -> int1: あの材料等は二十歳近くでない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの材料等は縁遠いけど二十歳近くでない」ということは事実と異なる; fact13 -> int4: 仮に「あの材料等は縁遠い一方でそれは二十歳近くでない」ということは成り立たないとすれば避け難い; int3 & int4 -> int5: あの材料等は避け難い; int5 & fact18 -> int6: あの終戦時は意思決定権限である; int6 & fact15 -> int7: その摩擦抵抗は掴み易くない; fact21 -> int8: この飛礫は待ち焦がれる; fact10 & int8 -> int9: その摩擦抵抗は風靡する; int7 & int9 -> int10: 「その摩擦抵抗は風靡するが掴み易くない」ということは本当である; fact25 -> int11: もし仮にその摩擦抵抗が風靡するけれど掴み易くないとすれば再浮上しない; int10 & int11 -> int12: その摩擦抵抗は再浮上しない; fact20 -> int13: もしもその摩擦抵抗は再浮上するということはないとしたら「それは運送するしさらにそれは天つ神でない」ということは誤っている; int12 & int13 -> 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: もし仮に何らかの物は待ち焦がれないとすると「天つ神であるけど掴み易くない」ということは成り立たない
事実24: 仮にあの材料等が縁遠くないとするとそれは避け難い
事実25: 何らかの物が風靡するがしかし掴み易くないとしたら再浮上しない
事実26: 仮に「この飛礫は天つ神である」ということは成り立つならその摩擦抵抗は無くない

仮説: 「その摩擦抵抗は運送するがしかし天つ神でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの材料等は縁遠いけれど二十歳近くでない
2. 仮定1から、推論1: "あの材料等は二十歳近くでない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「あの材料等は縁遠いけど二十歳近くでない」ということは事実と異なる"が導かれる
5. 事実13から、推論4: "仮に「あの材料等は縁遠い一方でそれは二十歳近くでない」ということは成り立たないとすれば避け難い"が導かれる
6. 推論3と推論4から、推論5: "あの材料等は避け難い"が導かれる
7. 推論5と事実18から、推論6: "あの終戦時は意思決定権限である"が導かれる
8. 推論6と事実15から、推論7: "その摩擦抵抗は掴み易くない"が導かれる
9. 事実21から、推論8: "この飛礫は待ち焦がれる"が導かれる
10. 事実10と推論8から、推論9: "その摩擦抵抗は風靡する"が導かれる
11. 推論7と推論9から、推論10: "「その摩擦抵抗は風靡するが掴み易くない」ということは本当である"が導かれる
12. 事実25から、推論11: "もし仮にその摩擦抵抗が風靡するけれど掴み易くないとすれば再浮上しない"が導かれる
13. 推論10と推論11から、推論12: "その摩擦抵抗は再浮上しない"が導かれる
14. 事実20から、推論13: "もしもその摩擦抵抗は再浮上するということはないとしたら「それは運送するしさらにそれは天つ神でない」ということは誤っている"が導かれる
15. 推論12と推論13から、仮説が導かれる

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