とあるものは搬入するし加えて勇ましい
fact1: もしあの歩行限界が選り取らないならばそれは麗しくてさらに休息する fact2: あの歩行限界は通常価格であるとするとそれは勇ましい fact3: なんらかの物が搬入しないとするとそれは麗しくないしそれに続行しない fact4: 「あの歩行限界は通常価格だ」ということは成り立つ fact5: 「「「あの歩行限界は五十代後半でない一方で選り取る」ということは確かだ」ということは確かでないならあの歩行限界は選り取らない」ということは確かである fact6: 「あの歩行限界は五十代後半でないけど選り取る」ということは間違いである
fact3 -> int1: 仮にあの歩行限界が搬入しないとしたらそれは麗しくないし続行しない; void -> assump1: 以下のように仮定する。あの歩行限界は搬入しない; int1 & assump1 -> int2: あの歩行限界は麗しいということはないしそれにそれは続行しない; int2 -> int3: あの歩行限界は麗しくない; fact5 & fact6 -> int4: 「あの歩行限界は選り取らない」ということは成り立つ; int4 & fact1 -> int5: あの歩行限界は麗しいしまたそれは休息する; int5 -> int6: あの歩行限界は麗しい; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの歩行限界は搬入する; fact2 & fact4 -> int9: あの歩行限界は勇ましい; int8 & int9 -> int10: あの歩行限界は搬入するしそれに勇ましい; int10 -> hypothesis;
$facts$ = fact1: もしあの歩行限界が選り取らないならばそれは麗しくてさらに休息する fact2: あの歩行限界は通常価格であるとするとそれは勇ましい fact3: なんらかの物が搬入しないとするとそれは麗しくないしそれに続行しない fact4: 「あの歩行限界は通常価格だ」ということは成り立つ fact5: 「「「あの歩行限界は五十代後半でない一方で選り取る」ということは確かだ」ということは確かでないならあの歩行限界は選り取らない」ということは確かである fact6: 「あの歩行限界は五十代後半でないけど選り取る」ということは間違いである ; $hypothesis$ = とあるものは搬入するし加えて勇ましい ; $proof$ = 
fact3 -> int1: 仮にあの歩行限界が搬入しないとしたらそれは麗しくないし続行しない; void -> assump1: 以下のように仮定する。あの歩行限界は搬入しない; int1 & assump1 -> int2: あの歩行限界は麗しいということはないしそれにそれは続行しない; int2 -> int3: あの歩行限界は麗しくない; fact5 & fact6 -> int4: 「あの歩行限界は選り取らない」ということは成り立つ; int4 & fact1 -> int5: あの歩行限界は麗しいしまたそれは休息する; int5 -> int6: あの歩行限界は麗しい; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの歩行限界は搬入する; fact2 & fact4 -> int9: あの歩行限界は勇ましい; int8 & int9 -> int10: あの歩行限界は搬入するしそれに勇ましい; int10 -> hypothesis; __PROVED__
事実1: もしあの歩行限界が選り取らないならばそれは麗しくてさらに休息する
事実2: あの歩行限界は通常価格であるとするとそれは勇ましい
事実3: なんらかの物が搬入しないとするとそれは麗しくないしそれに続行しない
事実4: 「あの歩行限界は通常価格だ」ということは成り立つ
事実5: 「「「あの歩行限界は五十代後半でない一方で選り取る」ということは確かだ」ということは確かでないならあの歩行限界は選り取らない」ということは確かである
事実6: 「あの歩行限界は五十代後半でないけど選り取る」ということは間違いである

仮説: とあるものは搬入するし加えて勇ましい
1. 事実3から、推論1: "仮にあの歩行限界が搬入しないとしたらそれは麗しくないし続行しない"が導かれる
2. 仮定1: 以下のように仮定する。あの歩行限界は搬入しない
3. 推論1と仮定1から、推論2: "あの歩行限界は麗しいということはないしそれにそれは続行しない"が導かれる
4. 推論2から、推論3: "あの歩行限界は麗しくない"が導かれる
5. 事実5と事実6から、推論4: "「あの歩行限界は選り取らない」ということは成り立つ"が導かれる
6. 推論4と事実1から、推論5: "あの歩行限界は麗しいしまたそれは休息する"が導かれる
7. 推論5から、推論6: "あの歩行限界は麗しい"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの歩行限界は搬入する"が導かれる
10. 事実2と事実4から、推論9: "あの歩行限界は勇ましい"が導かれる
11. 推論8と推論9から、推論10: "あの歩行限界は搬入するしそれに勇ましい"が導かれる
12. 推論10から、仮説が導かれる

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