あの出現位置は世襲する
fact1: 埃っぽくないものは墜落しないけれど返答する fact2: もし仮にこの万年雪が観光客らしいということはないならあの出現位置は世襲する fact3: あの五者は戦う fact4: もし「あの五者は絡み合わせらない」ということは成り立つとすれば「あの出現位置は割れ易くないが世襲する」ということは成り立たない fact5: もし何らかの物は割れ易いしさらに身軽いとすれば組成するということはない fact6: 「あの五者が組成するしその上墜落する」ということは成り立つ fact7: もし仮に「なにがしかの物は割れ易くないがしかしそれは世襲する」ということは真実だということはないならそれは世襲しない fact8: あのハンチング部分は画素でない fact9: もし仮に広いということはない物がフォートコントロールでないとすればそれは埃っぽくない fact10: もしとある物が画素だということはないとすると広くなくてフォートコントロールでない fact11: あの五者は割れ易くてそれに絡み合わせる fact12: もしもあの五者は身軽いということはないとすると「あの手始めは身軽いしかつ返答する」ということは正しくない fact13: もしも「あの手始めは身軽くてそれに返答する」ということは誤っているとするとこの万年雪は観光客らしいということはない fact14: なにがしかのものが観光客らしいならばあの手始めは組成するということはないかあるいはそれは身軽くない fact15: もしもあの五者は身軽いということはないとしたら「「あの手始めは身軽くてさらに組成する」ということは確かだ」ということは成り立たない
fact11 -> int1: あの五者は割れ易い; void -> assump1: 以下のように仮定する。「あの五者は身軽い」ということは事実だ; int1 & assump1 -> int2: あの五者が割れ易いしその上それは身軽い; fact5 -> int3: もしあの五者が割れ易くてそれが身軽いならばそれは組成しない; int2 & int3 -> int4: あの五者は組成しない; fact6 -> int5: あの五者は組成する; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの五者は身軽いということはない; int7 & fact12 -> int8: 「あの手始めは身軽くて加えて返答する」ということは偽だ; int8 & fact13 -> int9: この万年雪は観光客らしいということはない; int9 & fact2 -> hypothesis;
あの出現位置は世襲しない
fact19 -> int10: もし仮に「あの出現位置は割れ易くないが世襲する」ということは成り立たないならば世襲しない; fact16 -> int11: もしもあのハンチング部分が埃っぽいということはないならばそれは墜落しないし返答する; fact20 -> int12: あのハンチング部分は広いということはなくてフォートコントロールでないならそれは埃っぽくない; fact22 -> int13: 仮にあのハンチング部分が画素でないとするとそれは広くなくてしかもそれはフォートコントロールでない; int13 & fact21 -> int14: あのハンチング部分は広くないしその上フォートコントロールでない; int12 & int14 -> int15: あのハンチング部分は埃っぽくない; int11 & int15 -> int16: あのハンチング部分は墜落しないが返答する; int16 -> int17: 「墜落しなくて返答する」ものはある;
$facts$ = fact1: 埃っぽくないものは墜落しないけれど返答する fact2: もし仮にこの万年雪が観光客らしいということはないならあの出現位置は世襲する fact3: あの五者は戦う fact4: もし「あの五者は絡み合わせらない」ということは成り立つとすれば「あの出現位置は割れ易くないが世襲する」ということは成り立たない fact5: もし何らかの物は割れ易いしさらに身軽いとすれば組成するということはない fact6: 「あの五者が組成するしその上墜落する」ということは成り立つ fact7: もし仮に「なにがしかの物は割れ易くないがしかしそれは世襲する」ということは真実だということはないならそれは世襲しない fact8: あのハンチング部分は画素でない fact9: もし仮に広いということはない物がフォートコントロールでないとすればそれは埃っぽくない fact10: もしとある物が画素だということはないとすると広くなくてフォートコントロールでない fact11: あの五者は割れ易くてそれに絡み合わせる fact12: もしもあの五者は身軽いということはないとすると「あの手始めは身軽いしかつ返答する」ということは正しくない fact13: もしも「あの手始めは身軽くてそれに返答する」ということは誤っているとするとこの万年雪は観光客らしいということはない fact14: なにがしかのものが観光客らしいならばあの手始めは組成するということはないかあるいはそれは身軽くない fact15: もしもあの五者は身軽いということはないとしたら「「あの手始めは身軽くてさらに組成する」ということは確かだ」ということは成り立たない ; $hypothesis$ = あの出現位置は世襲する ; $proof$ = 
fact11 -> int1: あの五者は割れ易い; void -> assump1: 以下のように仮定する。「あの五者は身軽い」ということは事実だ; int1 & assump1 -> int2: あの五者が割れ易いしその上それは身軽い; fact5 -> int3: もしあの五者が割れ易くてそれが身軽いならばそれは組成しない; int2 & int3 -> int4: あの五者は組成しない; fact6 -> int5: あの五者は組成する; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの五者は身軽いということはない; int7 & fact12 -> int8: 「あの手始めは身軽くて加えて返答する」ということは偽だ; int8 & fact13 -> int9: この万年雪は観光客らしいということはない; int9 & fact2 -> hypothesis; __PROVED__
事実1: 埃っぽくないものは墜落しないけれど返答する
事実2: もし仮にこの万年雪が観光客らしいということはないならあの出現位置は世襲する
事実3: あの五者は戦う
事実4: もし「あの五者は絡み合わせらない」ということは成り立つとすれば「あの出現位置は割れ易くないが世襲する」ということは成り立たない
事実5: もし何らかの物は割れ易いしさらに身軽いとすれば組成するということはない
事実6: 「あの五者が組成するしその上墜落する」ということは成り立つ
事実7: もし仮に「なにがしかの物は割れ易くないがしかしそれは世襲する」ということは真実だということはないならそれは世襲しない
事実8: あのハンチング部分は画素でない
事実9: もし仮に広いということはない物がフォートコントロールでないとすればそれは埃っぽくない
事実10: もしとある物が画素だということはないとすると広くなくてフォートコントロールでない
事実11: あの五者は割れ易くてそれに絡み合わせる
事実12: もしもあの五者は身軽いということはないとすると「あの手始めは身軽いしかつ返答する」ということは正しくない
事実13: もしも「あの手始めは身軽くてそれに返答する」ということは誤っているとするとこの万年雪は観光客らしいということはない
事実14: なにがしかのものが観光客らしいならばあの手始めは組成するということはないかあるいはそれは身軽くない
事実15: もしもあの五者は身軽いということはないとしたら「「あの手始めは身軽くてさらに組成する」ということは確かだ」ということは成り立たない

仮説: あの出現位置は世襲する
1. 事実11から、推論1: "あの五者は割れ易い"が導かれる
2. 仮定1: 以下のように仮定する。「あの五者は身軽い」ということは事実だ
3. 推論1と仮定1から、推論2: "あの五者が割れ易いしその上それは身軽い"が導かれる
4. 事実5から、推論3: "もしあの五者が割れ易くてそれが身軽いならばそれは組成しない"が導かれる
5. 推論2と推論3から、推論4: "あの五者は組成しない"が導かれる
6. 事実6から、推論5: "あの五者は組成する"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの五者は身軽いということはない"が導かれる
9. 推論7と事実12から、推論8: "「あの手始めは身軽くて加えて返答する」ということは偽だ"が導かれる
10. 推論8と事実13から、推論9: "この万年雪は観光客らしいということはない"が導かれる
11. 推論9と事実2から、仮説が導かれる

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