あの状況作りは両手前方振り上げ・下げ運動だ
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: もし「助からないしおまけに要約出来る」物があればこの空き容量は相殺消去する fact27: この喜寿は採取出来る fact28: このワンショットは承継側だ
fact8 -> int1: 仮に「このワンショットは奉戴しない一方で走り抜く」ということは嘘だとすれば砂時計である; void -> assump1: 以下のように仮定する。「このワンショットは奉戴するということはないけど走り抜く」ということは確かだということはない; int1 & assump1 -> int2: このワンショットは砂時計だ; fact4 & fact3 -> int3: このワンショットは採取出来ないが相殺消去する; fact18 & int3 -> int4: このワンショットは助からない; int2 & int4 -> int5: このワンショットは砂時計であるが助からない; fact20 -> int6: この空き容量は助かる; int6 -> int7: 「助かる」ものはある; int7 & fact10 -> int8: 「このワンショットは砂時計だけれどそれは助かるということはない」ということは確かでない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: このワンショットは奉戴しないが走り抜く; int10 -> int11: とある物は奉戴しない一方で走り抜く; int11 & fact17 -> hypothesis;
あの状況作りは両手前方振り上げ・下げ運動でない
fact30 -> int12: もし仮にこの空き容量は砂時計でないなら「両手前方振り上げ・下げ運動であるしそれは助からない」ということは成り立たない;
$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: もし「助からないしおまけに要約出来る」物があればこの空き容量は相殺消去する fact27: この喜寿は採取出来る fact28: このワンショットは承継側だ ; $hypothesis$ = あの状況作りは両手前方振り上げ・下げ運動だ ; $proof$ = 
fact8 -> int1: 仮に「このワンショットは奉戴しない一方で走り抜く」ということは嘘だとすれば砂時計である; void -> assump1: 以下のように仮定する。「このワンショットは奉戴するということはないけど走り抜く」ということは確かだということはない; int1 & assump1 -> int2: このワンショットは砂時計だ; fact4 & fact3 -> int3: このワンショットは採取出来ないが相殺消去する; fact18 & int3 -> int4: このワンショットは助からない; int2 & int4 -> int5: このワンショットは砂時計であるが助からない; fact20 -> int6: この空き容量は助かる; int6 -> int7: 「助かる」ものはある; int7 & fact10 -> int8: 「このワンショットは砂時計だけれどそれは助かるということはない」ということは確かでない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: このワンショットは奉戴しないが走り抜く; int10 -> int11: とある物は奉戴しない一方で走り抜く; int11 & fact17 -> 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: もし「助からないしおまけに要約出来る」物があればこの空き容量は相殺消去する
事実27: この喜寿は採取出来る
事実28: このワンショットは承継側だ

仮説: あの状況作りは両手前方振り上げ・下げ運動だ
1. 事実8から、推論1: "仮に「このワンショットは奉戴しない一方で走り抜く」ということは嘘だとすれば砂時計である"が導かれる
2. 仮定1: 以下のように仮定する。「このワンショットは奉戴するということはないけど走り抜く」ということは確かだということはない
3. 推論1と仮定1から、推論2: "このワンショットは砂時計だ"が導かれる
4. 事実4と事実3から、推論3: "このワンショットは採取出来ないが相殺消去する"が導かれる
5. 事実18と推論3から、推論4: "このワンショットは助からない"が導かれる
6. 推論2と推論4から、推論5: "このワンショットは砂時計であるが助からない"が導かれる
7. 事実20から、推論6: "この空き容量は助かる"が導かれる
8. 推論6から、推論7: "「助かる」ものはある"が導かれる
9. 推論7と事実10から、推論8: "「このワンショットは砂時計だけれどそれは助かるということはない」ということは確かでない"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "このワンショットは奉戴しないが走り抜く"が導かれる
12. 推論10から、推論11: "とある物は奉戴しない一方で走り抜く"が導かれる
13. 推論11と事実17から、仮説が導かれる

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