この主張立証は飛び退るということはない
fact1: もし仮にその宇宙飛行士が発火源であるが偲ばないとしたら見辛くない fact2: 仮にあの恋愛観が偉い一方で考え難くないとするとこの主張立証は飛び退らない fact3: 「その宇宙飛行士は原住民族でなくてそれは考え難くない」ということは真実でないとするとあの恋愛観は偲ぶ fact4: それは偉いしおまけにそれは進み易くないという物はない fact5: この抜け毛癖は進み易い fact6: なんらかのものは原住民族であるとすればそれは見辛い fact7: もしとあるものは蔵置するとすれば「蟹籠でないが狙い易い」ということは偽だ fact8: もしも「とあるものは狙い易くないけれどそれは御力である」ということは成り立たないとしたら「それは見辛い」ということは真実だ fact9: この抜け毛癖は偉くない fact10: その宇宙飛行士は発火源だけど偲ぶということはない fact11: もしも「あの恋愛観はアクセスし易いし考え難い」ということは誤りだとするとそれは考え難くない fact12: 仮に「「「偉くて進み易くない」ということは偽である」物はある」ということは成り立てばこの信用金庫は原住民族でない fact13: もし仮に「その宇宙飛行士が進み易くないしさらにそれは原住民族でない」ということは成り立つということはないとしたら「あの恋愛観は偉い」ということは事実である fact14: 「あの恋愛観はアクセスし易いしかつ考え難い」ということは間違っている fact15: 仮にその宇宙飛行士は蔵置しないならば「それは進み易くなくて原住民族でない」ということは成り立たない fact16: もしもその宇宙飛行士は蔵置すれば「狙い易くないけど御力である」ということは間違いだ
void -> assump1: 以下のように仮定する。その宇宙飛行士は蔵置する; fact16 & assump1 -> int1: 「その宇宙飛行士は狙い易くないがしかし御力である」ということは誤っている; fact8 -> int2: もしも「その宇宙飛行士は狙い易くないがしかしそれは御力である」ということは事実と異なるならそれは見辛い; int1 & int2 -> int3: その宇宙飛行士は見辛い; fact10 & fact1 -> int4: その宇宙飛行士は見辛くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その宇宙飛行士は蔵置しない; int6 & fact15 -> int7: 「その宇宙飛行士は進み易くなくてかつ原住民族だということはない」ということは誤りである; int7 & fact13 -> int8: あの恋愛観は偉い; fact11 & fact14 -> int9: あの恋愛観は考え難くない; int8 & int9 -> int10: あの恋愛観は偉いけれど考え難くない; int10 & fact2 -> hypothesis;
この主張立証は飛び退る
fact17 -> int11: もしもあの恋愛観は原住民族であるとすると見辛い; fact19 & fact18 -> int12: この抜け毛癖は偉くないけれど進み易い; int12 -> int13: なにかは偉くない一方で進み易い;
$facts$ = fact1: もし仮にその宇宙飛行士が発火源であるが偲ばないとしたら見辛くない fact2: 仮にあの恋愛観が偉い一方で考え難くないとするとこの主張立証は飛び退らない fact3: 「その宇宙飛行士は原住民族でなくてそれは考え難くない」ということは真実でないとするとあの恋愛観は偲ぶ fact4: それは偉いしおまけにそれは進み易くないという物はない fact5: この抜け毛癖は進み易い fact6: なんらかのものは原住民族であるとすればそれは見辛い fact7: もしとあるものは蔵置するとすれば「蟹籠でないが狙い易い」ということは偽だ fact8: もしも「とあるものは狙い易くないけれどそれは御力である」ということは成り立たないとしたら「それは見辛い」ということは真実だ fact9: この抜け毛癖は偉くない fact10: その宇宙飛行士は発火源だけど偲ぶということはない fact11: もしも「あの恋愛観はアクセスし易いし考え難い」ということは誤りだとするとそれは考え難くない fact12: 仮に「「「偉くて進み易くない」ということは偽である」物はある」ということは成り立てばこの信用金庫は原住民族でない fact13: もし仮に「その宇宙飛行士が進み易くないしさらにそれは原住民族でない」ということは成り立つということはないとしたら「あの恋愛観は偉い」ということは事実である fact14: 「あの恋愛観はアクセスし易いしかつ考え難い」ということは間違っている fact15: 仮にその宇宙飛行士は蔵置しないならば「それは進み易くなくて原住民族でない」ということは成り立たない fact16: もしもその宇宙飛行士は蔵置すれば「狙い易くないけど御力である」ということは間違いだ ; $hypothesis$ = この主張立証は飛び退るということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その宇宙飛行士は蔵置する; fact16 & assump1 -> int1: 「その宇宙飛行士は狙い易くないがしかし御力である」ということは誤っている; fact8 -> int2: もしも「その宇宙飛行士は狙い易くないがしかしそれは御力である」ということは事実と異なるならそれは見辛い; int1 & int2 -> int3: その宇宙飛行士は見辛い; fact10 & fact1 -> int4: その宇宙飛行士は見辛くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その宇宙飛行士は蔵置しない; int6 & fact15 -> int7: 「その宇宙飛行士は進み易くなくてかつ原住民族だということはない」ということは誤りである; int7 & fact13 -> int8: あの恋愛観は偉い; fact11 & fact14 -> int9: あの恋愛観は考え難くない; int8 & int9 -> int10: あの恋愛観は偉いけれど考え難くない; int10 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にその宇宙飛行士が発火源であるが偲ばないとしたら見辛くない
事実2: 仮にあの恋愛観が偉い一方で考え難くないとするとこの主張立証は飛び退らない
事実3: 「その宇宙飛行士は原住民族でなくてそれは考え難くない」ということは真実でないとするとあの恋愛観は偲ぶ
事実4: それは偉いしおまけにそれは進み易くないという物はない
事実5: この抜け毛癖は進み易い
事実6: なんらかのものは原住民族であるとすればそれは見辛い
事実7: もしとあるものは蔵置するとすれば「蟹籠でないが狙い易い」ということは偽だ
事実8: もしも「とあるものは狙い易くないけれどそれは御力である」ということは成り立たないとしたら「それは見辛い」ということは真実だ
事実9: この抜け毛癖は偉くない
事実10: その宇宙飛行士は発火源だけど偲ぶということはない
事実11: もしも「あの恋愛観はアクセスし易いし考え難い」ということは誤りだとするとそれは考え難くない
事実12: 仮に「「「偉くて進み易くない」ということは偽である」物はある」ということは成り立てばこの信用金庫は原住民族でない
事実13: もし仮に「その宇宙飛行士が進み易くないしさらにそれは原住民族でない」ということは成り立つということはないとしたら「あの恋愛観は偉い」ということは事実である
事実14: 「あの恋愛観はアクセスし易いしかつ考え難い」ということは間違っている
事実15: 仮にその宇宙飛行士は蔵置しないならば「それは進み易くなくて原住民族でない」ということは成り立たない
事実16: もしもその宇宙飛行士は蔵置すれば「狙い易くないけど御力である」ということは間違いだ

仮説: この主張立証は飛び退るということはない
1. 仮定1: 以下のように仮定する。その宇宙飛行士は蔵置する
2. 事実16と仮定1から、推論1: "「その宇宙飛行士は狙い易くないがしかし御力である」ということは誤っている"が導かれる
3. 事実8から、推論2: "もしも「その宇宙飛行士は狙い易くないがしかしそれは御力である」ということは事実と異なるならそれは見辛い"が導かれる
4. 推論1と推論2から、推論3: "その宇宙飛行士は見辛い"が導かれる
5. 事実10と事実1から、推論4: "その宇宙飛行士は見辛くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その宇宙飛行士は蔵置しない"が導かれる
8. 推論6と事実15から、推論7: "「その宇宙飛行士は進み易くなくてかつ原住民族だということはない」ということは誤りである"が導かれる
9. 推論7と事実13から、推論8: "あの恋愛観は偉い"が導かれる
10. 事実11と事実14から、推論9: "あの恋愛観は考え難くない"が導かれる
11. 推論8と推論9から、推論10: "あの恋愛観は偉いけれど考え難くない"が導かれる
12. 推論10と事実2から、仮説が導かれる

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