仮にあの紅潮が歓談しないならばこの資産は立ち向かえない
fact1: もし仮にあの鉄信が立ち向かえるとすればこの資産は歩き易い fact2: あの紅潮が立ち向かえないならこの資産は歓談するということはない fact3: もし仮にこの資産が歓談すればあの紅潮は平たい fact4: 仮になんらかの物が相互広告すれば平たいということはなくて加えてまあるいということはない fact5: 仮にこの資産が歩き易くないならばあの鉄信は立ち向かえない fact6: 仮に「あの紅潮は歓談するしかつ歩き易い」ということは本当であるとすると「あの鉄信は立ち向かえない」ということは確かである fact7: 仮に「この資産は歩き易い」ということは真実だとするとあの鉄信は平たくない fact8: あの紅潮は歓談するとすれば「この資産は立ち向かえない」ということは成り立つ fact9: その激流は立ち向かえない fact10: あの万般は姉妹編でない fact11: この資産は到着出来るということはない fact12: あの紅潮は全国津々浦々だということはないしおまけにそれは歓談しない fact13: もしもあの鉄信が立ち向かえるならこの資産は歩き易いということはない fact14: この運動能力は平たいということはない fact15: あの紅潮が立ち向かえるとしたらこの資産は歓談する fact16: あの鉄信は平たくない fact17: 仮にあの紅潮が立ち向かえないならばこの資産は平たいということはない fact18: 「この資産は平たくない」ということは成り立つ fact19: もしもあの鉄信は歩き易いならば「あの紅潮は歓談するということはない」ということは成り立たない fact20: あの鉄信が歩き易くないとすればこの資産は立ち向かえないしかつ平たくない fact21: あの鉄信が平たいとしたらこの資産は歩き易いということはない
void -> assump1: 以下のように仮定する。あの鉄信は歩き易い; fact19 & assump1 -> int1: あの紅潮は歓談する; void -> assump2: 以下のように仮定する。あの紅潮は歓談しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの鉄信は歩き易くない; int3 & fact20 -> int4: この資産は立ち向かえないししかも平たくない; int4 -> int5: この資産は立ち向かえない; [assump2] & int5 -> hypothesis;
あの鉄信は立ち向かえない
fact22 -> int6: この資産は相互広告するなら「それは平たくないしさらにまあるかない」ということは確かだ; fact24 -> int7: 「姉妹編でない」ものはある;
$facts$ = fact1: もし仮にあの鉄信が立ち向かえるとすればこの資産は歩き易い fact2: あの紅潮が立ち向かえないならこの資産は歓談するということはない fact3: もし仮にこの資産が歓談すればあの紅潮は平たい fact4: 仮になんらかの物が相互広告すれば平たいということはなくて加えてまあるいということはない fact5: 仮にこの資産が歩き易くないならばあの鉄信は立ち向かえない fact6: 仮に「あの紅潮は歓談するしかつ歩き易い」ということは本当であるとすると「あの鉄信は立ち向かえない」ということは確かである fact7: 仮に「この資産は歩き易い」ということは真実だとするとあの鉄信は平たくない fact8: あの紅潮は歓談するとすれば「この資産は立ち向かえない」ということは成り立つ fact9: その激流は立ち向かえない fact10: あの万般は姉妹編でない fact11: この資産は到着出来るということはない fact12: あの紅潮は全国津々浦々だということはないしおまけにそれは歓談しない fact13: もしもあの鉄信が立ち向かえるならこの資産は歩き易いということはない fact14: この運動能力は平たいということはない fact15: あの紅潮が立ち向かえるとしたらこの資産は歓談する fact16: あの鉄信は平たくない fact17: 仮にあの紅潮が立ち向かえないならばこの資産は平たいということはない fact18: 「この資産は平たくない」ということは成り立つ fact19: もしもあの鉄信は歩き易いならば「あの紅潮は歓談するということはない」ということは成り立たない fact20: あの鉄信が歩き易くないとすればこの資産は立ち向かえないしかつ平たくない fact21: あの鉄信が平たいとしたらこの資産は歩き易いということはない ; $hypothesis$ = 仮にあの紅潮が歓談しないならばこの資産は立ち向かえない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの鉄信は歩き易い; fact19 & assump1 -> int1: あの紅潮は歓談する; void -> assump2: 以下のように仮定する。あの紅潮は歓談しない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの鉄信は歩き易くない; int3 & fact20 -> int4: この資産は立ち向かえないししかも平たくない; int4 -> int5: この資産は立ち向かえない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もし仮にあの鉄信が立ち向かえるとすればこの資産は歩き易い
事実2: あの紅潮が立ち向かえないならこの資産は歓談するということはない
事実3: もし仮にこの資産が歓談すればあの紅潮は平たい
事実4: 仮になんらかの物が相互広告すれば平たいということはなくて加えてまあるいということはない
事実5: 仮にこの資産が歩き易くないならばあの鉄信は立ち向かえない
事実6: 仮に「あの紅潮は歓談するしかつ歩き易い」ということは本当であるとすると「あの鉄信は立ち向かえない」ということは確かである
事実7: 仮に「この資産は歩き易い」ということは真実だとするとあの鉄信は平たくない
事実8: あの紅潮は歓談するとすれば「この資産は立ち向かえない」ということは成り立つ
事実9: その激流は立ち向かえない
事実10: あの万般は姉妹編でない
事実11: この資産は到着出来るということはない
事実12: あの紅潮は全国津々浦々だということはないしおまけにそれは歓談しない
事実13: もしもあの鉄信が立ち向かえるならこの資産は歩き易いということはない
事実14: この運動能力は平たいということはない
事実15: あの紅潮が立ち向かえるとしたらこの資産は歓談する
事実16: あの鉄信は平たくない
事実17: 仮にあの紅潮が立ち向かえないならばこの資産は平たいということはない
事実18: 「この資産は平たくない」ということは成り立つ
事実19: もしもあの鉄信は歩き易いならば「あの紅潮は歓談するということはない」ということは成り立たない
事実20: あの鉄信が歩き易くないとすればこの資産は立ち向かえないしかつ平たくない
事実21: あの鉄信が平たいとしたらこの資産は歩き易いということはない

仮説: 仮にあの紅潮が歓談しないならばこの資産は立ち向かえない
1. 仮定1: 以下のように仮定する。あの鉄信は歩き易い
2. 事実19と仮定1から、推論1: "あの紅潮は歓談する"が導かれる
3. 仮定2: 以下のように仮定する。あの紅潮は歓談しない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの鉄信は歩き易くない"が導かれる
6. 推論3と事実20から、推論4: "この資産は立ち向かえないししかも平たくない"が導かれる
7. 推論4から、推論5: "この資産は立ち向かえない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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