その受け取り手形割り引き高は巻き上がらない
fact1: もしもあの尾鰭が人口ピラミッドであるがしかし始めないとするとそれはしおらしくない fact2: あのシビル・ミニマムは謀反であるしまた呼び易い fact3: あのシビル・ミニマムは呼び易い fact4: このシングル盤は巻き上がるししかもそれは鈍い fact5: もし仮に何らかのものが呼び易くないとすればそれは巻き上がるし謀反だ fact6: もし仮に何かは始めるとしたらそれは人口ピラミッドだ fact7: あの尾鰭は機銃弾だ fact8: あのシビル・ミニマムは話し辛いかもしくは機銃弾であるかあるいは両方だ fact9: あのシビル・ミニマムは巻き上がるということはないかもしくは機銃弾であるかまたはどちらもである fact10: 仮に「あのシビル・ミニマムは運用する」ということは真実であるなら機銃弾だ fact11: もし仮にあのシビル・ミニマムが話し辛いということはないならしおらしい fact12: 「あのシビル・ミニマムは繋がり得ない」ということは事実だ fact13: もし仮にあのシビル・ミニマムが巻き上がるならその受け取り手形割り引き高は巻き上がる fact14: あの尾鰭は運用する fact15: もしもあの尾鰭が人口ピラミッドであるし運用するとすればその受け取り手形割り引き高は巻き上がらない fact16: もしとあるものは話し辛くないならばそれはしおらしい fact17: 仮にあの尾鰭はしおらしくないとすれば「話し辛いし加えて機銃弾でない」ということは成り立つということはない fact18: 仮にあのシビル・ミニマムがしおらしいとしたらあの尾鰭は始める fact19: なんらかのものが話し辛くないかもしくはそれは機銃弾であるとしたら「それはしおらしい」ということは成り立つ fact20: もしもなにかは謀反であるなら機銃弾である fact21: この読者諸兄は運用する
fact2 -> int1: あのシビル・ミニマムは謀反である; fact20 -> int2: もしもあのシビル・ミニマムは謀反であるならそれは機銃弾だ; int1 & int2 -> int3: あのシビル・ミニマムは機銃弾だ; int3 -> int4: あのシビル・ミニマムは話し辛いということはないかまたは機銃弾であるか両方だ; fact19 -> int5: 仮にあのシビル・ミニマムが話し辛くないか機銃弾であるかまたは両方であるなら「それはしおらしい」ということは成り立つ; int4 & int5 -> int6: あのシビル・ミニマムはしおらしい; int6 & fact18 -> int7: あの尾鰭は始める; fact6 -> int8: 仮にあの尾鰭は始めるとしたら「それは人口ピラミッドである」ということは成り立つ; int7 & int8 -> int9: あの尾鰭は人口ピラミッドだ; int9 & fact14 -> int10: あの尾鰭は人口ピラミッドであるし運用する; int10 & fact15 -> hypothesis;
その受け取り手形割り引き高は巻き上がる
fact24 -> int11: もし仮にあのシビル・ミニマムが呼び易くないとすればそれは巻き上がるし謀反である;
$facts$ = fact1: もしもあの尾鰭が人口ピラミッドであるがしかし始めないとするとそれはしおらしくない fact2: あのシビル・ミニマムは謀反であるしまた呼び易い fact3: あのシビル・ミニマムは呼び易い fact4: このシングル盤は巻き上がるししかもそれは鈍い fact5: もし仮に何らかのものが呼び易くないとすればそれは巻き上がるし謀反だ fact6: もし仮に何かは始めるとしたらそれは人口ピラミッドだ fact7: あの尾鰭は機銃弾だ fact8: あのシビル・ミニマムは話し辛いかもしくは機銃弾であるかあるいは両方だ fact9: あのシビル・ミニマムは巻き上がるということはないかもしくは機銃弾であるかまたはどちらもである fact10: 仮に「あのシビル・ミニマムは運用する」ということは真実であるなら機銃弾だ fact11: もし仮にあのシビル・ミニマムが話し辛いということはないならしおらしい fact12: 「あのシビル・ミニマムは繋がり得ない」ということは事実だ fact13: もし仮にあのシビル・ミニマムが巻き上がるならその受け取り手形割り引き高は巻き上がる fact14: あの尾鰭は運用する fact15: もしもあの尾鰭が人口ピラミッドであるし運用するとすればその受け取り手形割り引き高は巻き上がらない fact16: もしとあるものは話し辛くないならばそれはしおらしい fact17: 仮にあの尾鰭はしおらしくないとすれば「話し辛いし加えて機銃弾でない」ということは成り立つということはない fact18: 仮にあのシビル・ミニマムがしおらしいとしたらあの尾鰭は始める fact19: なんらかのものが話し辛くないかもしくはそれは機銃弾であるとしたら「それはしおらしい」ということは成り立つ fact20: もしもなにかは謀反であるなら機銃弾である fact21: この読者諸兄は運用する ; $hypothesis$ = その受け取り手形割り引き高は巻き上がらない ; $proof$ = 
fact2 -> int1: あのシビル・ミニマムは謀反である; fact20 -> int2: もしもあのシビル・ミニマムは謀反であるならそれは機銃弾だ; int1 & int2 -> int3: あのシビル・ミニマムは機銃弾だ; int3 -> int4: あのシビル・ミニマムは話し辛いということはないかまたは機銃弾であるか両方だ; fact19 -> int5: 仮にあのシビル・ミニマムが話し辛くないか機銃弾であるかまたは両方であるなら「それはしおらしい」ということは成り立つ; int4 & int5 -> int6: あのシビル・ミニマムはしおらしい; int6 & fact18 -> int7: あの尾鰭は始める; fact6 -> int8: 仮にあの尾鰭は始めるとしたら「それは人口ピラミッドである」ということは成り立つ; int7 & int8 -> int9: あの尾鰭は人口ピラミッドだ; int9 & fact14 -> int10: あの尾鰭は人口ピラミッドであるし運用する; int10 & fact15 -> hypothesis; __PROVED__
事実1: もしもあの尾鰭が人口ピラミッドであるがしかし始めないとするとそれはしおらしくない
事実2: あのシビル・ミニマムは謀反であるしまた呼び易い
事実3: あのシビル・ミニマムは呼び易い
事実4: このシングル盤は巻き上がるししかもそれは鈍い
事実5: もし仮に何らかのものが呼び易くないとすればそれは巻き上がるし謀反だ
事実6: もし仮に何かは始めるとしたらそれは人口ピラミッドだ
事実7: あの尾鰭は機銃弾だ
事実8: あのシビル・ミニマムは話し辛いかもしくは機銃弾であるかあるいは両方だ
事実9: あのシビル・ミニマムは巻き上がるということはないかもしくは機銃弾であるかまたはどちらもである
事実10: 仮に「あのシビル・ミニマムは運用する」ということは真実であるなら機銃弾だ
事実11: もし仮にあのシビル・ミニマムが話し辛いということはないならしおらしい
事実12: 「あのシビル・ミニマムは繋がり得ない」ということは事実だ
事実13: もし仮にあのシビル・ミニマムが巻き上がるならその受け取り手形割り引き高は巻き上がる
事実14: あの尾鰭は運用する
事実15: もしもあの尾鰭が人口ピラミッドであるし運用するとすればその受け取り手形割り引き高は巻き上がらない
事実16: もしとあるものは話し辛くないならばそれはしおらしい
事実17: 仮にあの尾鰭はしおらしくないとすれば「話し辛いし加えて機銃弾でない」ということは成り立つということはない
事実18: 仮にあのシビル・ミニマムがしおらしいとしたらあの尾鰭は始める
事実19: なんらかのものが話し辛くないかもしくはそれは機銃弾であるとしたら「それはしおらしい」ということは成り立つ
事実20: もしもなにかは謀反であるなら機銃弾である
事実21: この読者諸兄は運用する

仮説: その受け取り手形割り引き高は巻き上がらない
1. 事実2から、推論1: "あのシビル・ミニマムは謀反である"が導かれる
2. 事実20から、推論2: "もしもあのシビル・ミニマムは謀反であるならそれは機銃弾だ"が導かれる
3. 推論1と推論2から、推論3: "あのシビル・ミニマムは機銃弾だ"が導かれる
4. 推論3から、推論4: "あのシビル・ミニマムは話し辛いということはないかまたは機銃弾であるか両方だ"が導かれる
5. 事実19から、推論5: "仮にあのシビル・ミニマムが話し辛くないか機銃弾であるかまたは両方であるなら「それはしおらしい」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "あのシビル・ミニマムはしおらしい"が導かれる
7. 推論6と事実18から、推論7: "あの尾鰭は始める"が導かれる
8. 事実6から、推論8: "仮にあの尾鰭は始めるとしたら「それは人口ピラミッドである」ということは成り立つ"が導かれる
9. 推論7と推論8から、推論9: "あの尾鰭は人口ピラミッドだ"が導かれる
10. 推論9と事実14から、推論10: "あの尾鰭は人口ピラミッドであるし運用する"が導かれる
11. 推論10と事実15から、仮説が導かれる

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