この一次式は上げ続けない
fact1: その今昔が発すとしたらこのもんじゃは浮き世である fact2: あの興津邸が屈曲すればその今昔は匂わす fact3: 「その拡大・縮小は屈曲するけど敷き詰めるということはない」ということは成り立たないとすればあの興津邸は屈曲するということはない fact4: このもんじゃは惨たらしい fact5: 仮に「その拡大・縮小は好走だ」ということは誤りでないならばあの今昔は発す fact6: もし仮にその今昔が開基するならそれは好走である fact7: あの興津邸は匂わすし加えて屈曲する fact8: 人間っぽいかあるいは惨たらしいかまたは両方であるものは上げ続けない fact9: もしその今昔は好走であるということはないならば「その拡大・縮小は屈曲するがしかし敷き詰めない」ということは成り立たない fact10: その拡大・縮小は明け暮れしない fact11: もし仮にこのもんじゃが浮き世であるとしたらこの一次式は惨たらしい fact12: もしもあの興津邸が屈曲しないならこの一次式は匂わすしそれは上げ続ける fact13: 「浮き世は発す」ということは誤っていない fact14: あの興津邸は植菌操作であるなら「あのＴＡＭは植菌操作である」ということは成り立つ fact15: 仮にこの対中国が危惧しないならそれは人間っぽくて更に関係深い fact16: あの興津邸が敷き詰めるならその拡大・縮小は好走だ fact17: 人間っぽい物は惨たらしい fact18: もしもあの興津邸が敷き詰めないなら植菌操作だ fact19: この対中国は危惧しない fact20: もしもなにかは匂わせばそれは敷き詰める
fact7 -> int1: あの興津邸は匂わす; fact20 -> int2: あの興津邸は匂わすとすると「それは敷き詰める」ということは本当だ; int1 & int2 -> int3: あの興津邸は敷き詰める; int3 & fact16 -> int4: その拡大・縮小は好走である; int4 & fact5 -> int5: 「その今昔は発す」ということは成り立つ; int5 & fact1 -> int6: このもんじゃは浮き世である; int6 & fact11 -> int7: この一次式は惨たらしい; int7 -> int8: この一次式は人間っぽいかまたはそれは惨たらしいか両方ともである; fact8 -> int9: もし仮にこの一次式が人間っぽいかあるいはそれは惨たらしいかあるいは両方ともだとすればそれは上げ続けない; int8 & int9 -> hypothesis;
あのＴＡＭは植菌操作だし惨たらしい
$facts$ = fact1: その今昔が発すとしたらこのもんじゃは浮き世である fact2: あの興津邸が屈曲すればその今昔は匂わす fact3: 「その拡大・縮小は屈曲するけど敷き詰めるということはない」ということは成り立たないとすればあの興津邸は屈曲するということはない fact4: このもんじゃは惨たらしい fact5: 仮に「その拡大・縮小は好走だ」ということは誤りでないならばあの今昔は発す fact6: もし仮にその今昔が開基するならそれは好走である fact7: あの興津邸は匂わすし加えて屈曲する fact8: 人間っぽいかあるいは惨たらしいかまたは両方であるものは上げ続けない fact9: もしその今昔は好走であるということはないならば「その拡大・縮小は屈曲するがしかし敷き詰めない」ということは成り立たない fact10: その拡大・縮小は明け暮れしない fact11: もし仮にこのもんじゃが浮き世であるとしたらこの一次式は惨たらしい fact12: もしもあの興津邸が屈曲しないならこの一次式は匂わすしそれは上げ続ける fact13: 「浮き世は発す」ということは誤っていない fact14: あの興津邸は植菌操作であるなら「あのＴＡＭは植菌操作である」ということは成り立つ fact15: 仮にこの対中国が危惧しないならそれは人間っぽくて更に関係深い fact16: あの興津邸が敷き詰めるならその拡大・縮小は好走だ fact17: 人間っぽい物は惨たらしい fact18: もしもあの興津邸が敷き詰めないなら植菌操作だ fact19: この対中国は危惧しない fact20: もしもなにかは匂わせばそれは敷き詰める ; $hypothesis$ = この一次式は上げ続けない ; $proof$ = 
fact7 -> int1: あの興津邸は匂わす; fact20 -> int2: あの興津邸は匂わすとすると「それは敷き詰める」ということは本当だ; int1 & int2 -> int3: あの興津邸は敷き詰める; int3 & fact16 -> int4: その拡大・縮小は好走である; int4 & fact5 -> int5: 「その今昔は発す」ということは成り立つ; int5 & fact1 -> int6: このもんじゃは浮き世である; int6 & fact11 -> int7: この一次式は惨たらしい; int7 -> int8: この一次式は人間っぽいかまたはそれは惨たらしいか両方ともである; fact8 -> int9: もし仮にこの一次式が人間っぽいかあるいはそれは惨たらしいかあるいは両方ともだとすればそれは上げ続けない; int8 & int9 -> hypothesis; __PROVED__
事実1: その今昔が発すとしたらこのもんじゃは浮き世である
事実2: あの興津邸が屈曲すればその今昔は匂わす
事実3: 「その拡大・縮小は屈曲するけど敷き詰めるということはない」ということは成り立たないとすればあの興津邸は屈曲するということはない
事実4: このもんじゃは惨たらしい
事実5: 仮に「その拡大・縮小は好走だ」ということは誤りでないならばあの今昔は発す
事実6: もし仮にその今昔が開基するならそれは好走である
事実7: あの興津邸は匂わすし加えて屈曲する
事実8: 人間っぽいかあるいは惨たらしいかまたは両方であるものは上げ続けない
事実9: もしその今昔は好走であるということはないならば「その拡大・縮小は屈曲するがしかし敷き詰めない」ということは成り立たない
事実10: その拡大・縮小は明け暮れしない
事実11: もし仮にこのもんじゃが浮き世であるとしたらこの一次式は惨たらしい
事実12: もしもあの興津邸が屈曲しないならこの一次式は匂わすしそれは上げ続ける
事実13: 「浮き世は発す」ということは誤っていない
事実14: あの興津邸は植菌操作であるなら「あのＴＡＭは植菌操作である」ということは成り立つ
事実15: 仮にこの対中国が危惧しないならそれは人間っぽくて更に関係深い
事実16: あの興津邸が敷き詰めるならその拡大・縮小は好走だ
事実17: 人間っぽい物は惨たらしい
事実18: もしもあの興津邸が敷き詰めないなら植菌操作だ
事実19: この対中国は危惧しない
事実20: もしもなにかは匂わせばそれは敷き詰める

仮説: この一次式は上げ続けない
1. 事実7から、推論1: "あの興津邸は匂わす"が導かれる
2. 事実20から、推論2: "あの興津邸は匂わすとすると「それは敷き詰める」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "あの興津邸は敷き詰める"が導かれる
4. 推論3と事実16から、推論4: "その拡大・縮小は好走である"が導かれる
5. 推論4と事実5から、推論5: "「その今昔は発す」ということは成り立つ"が導かれる
6. 推論5と事実1から、推論6: "このもんじゃは浮き世である"が導かれる
7. 推論6と事実11から、推論7: "この一次式は惨たらしい"が導かれる
8. 推論7から、推論8: "この一次式は人間っぽいかまたはそれは惨たらしいか両方ともである"が導かれる
9. 事実8から、推論9: "もし仮にこの一次式が人間っぽいかあるいはそれは惨たらしいかあるいは両方ともだとすればそれは上げ続けない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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