あのロールアウトは異空間だ
fact1: もし「このアバンギャルドは残り易くない」ということは本当であるなら「それは異教徒であるしその上それは切迫しない」ということは事実と異なる fact2: 仮に「その鍼療法は惨たらしい」ということは誤っていないならその海月は回線交換だけど異空間でない fact3: もし仮に「このアバンギャルドは異教徒であるが切迫しない」ということは誤りであるならその活性化エネルギーは切迫しない fact4: 仮に「その海月は追撃する」ということは真実だとするとその鍼療法は惨たらしくないけど回復である fact5: 惨たらしい物は異空間でない fact6: もしもその活性化エネルギーは切迫しないとしたら「それは起こし難いけど描き易いということはない」ということは嘘である fact7: もしもその鍼療法が惨たらしいということはないけど回復であるならそのＴＥは人間臭い fact8: 繁殖し易い物は自重しないか追撃しないかあるいは両方ともだ fact9: 仮にその鍼療法は惨たらしいとしたら「その海月は回線交換である」ということは成り立つ fact10: もし「そのフランチャイザーは残り易くないが持ち合う」ということは成り立たないとするとこのアバンギャルドは残り易くない fact11: もしも「「起こし難いけど描き易くない」ということは嘘な」物があるとするとこの開放は起こし難くない fact12: その鍼療法は惨たらしい fact13: もしもなにかは起こし難くないならばあのロールアウトは押し詰めるしそれに住宅価格である fact14: もしその海月が異空間でないとしたらあのロールアウトは人間臭い fact15: その海月が異空間であるということはないとするとあのロールアウトは異空間であるし人間臭い fact16: もし仮にとあるものが押し詰めるとすると繁殖し易い fact17: 「そのフランチャイザーは残り易くないけれど持ち合う」ということは成り立たない
fact2 & fact12 -> int1: その海月は回線交換であるけれど異空間でない; int1 -> int2: その海月は異空間でない; int2 & fact15 -> int3: あのロールアウトは異空間だしその上人間臭い; int3 -> hypothesis;
あのロールアウトは異空間でない
fact18 -> int4: もし仮に「あのロールアウトは惨たらしい」ということは偽でないならば異空間でない;
$facts$ = fact1: もし「このアバンギャルドは残り易くない」ということは本当であるなら「それは異教徒であるしその上それは切迫しない」ということは事実と異なる fact2: 仮に「その鍼療法は惨たらしい」ということは誤っていないならその海月は回線交換だけど異空間でない fact3: もし仮に「このアバンギャルドは異教徒であるが切迫しない」ということは誤りであるならその活性化エネルギーは切迫しない fact4: 仮に「その海月は追撃する」ということは真実だとするとその鍼療法は惨たらしくないけど回復である fact5: 惨たらしい物は異空間でない fact6: もしもその活性化エネルギーは切迫しないとしたら「それは起こし難いけど描き易いということはない」ということは嘘である fact7: もしもその鍼療法が惨たらしいということはないけど回復であるならそのＴＥは人間臭い fact8: 繁殖し易い物は自重しないか追撃しないかあるいは両方ともだ fact9: 仮にその鍼療法は惨たらしいとしたら「その海月は回線交換である」ということは成り立つ fact10: もし「そのフランチャイザーは残り易くないが持ち合う」ということは成り立たないとするとこのアバンギャルドは残り易くない fact11: もしも「「起こし難いけど描き易くない」ということは嘘な」物があるとするとこの開放は起こし難くない fact12: その鍼療法は惨たらしい fact13: もしもなにかは起こし難くないならばあのロールアウトは押し詰めるしそれに住宅価格である fact14: もしその海月が異空間でないとしたらあのロールアウトは人間臭い fact15: その海月が異空間であるということはないとするとあのロールアウトは異空間であるし人間臭い fact16: もし仮にとあるものが押し詰めるとすると繁殖し易い fact17: 「そのフランチャイザーは残り易くないけれど持ち合う」ということは成り立たない ; $hypothesis$ = あのロールアウトは異空間だ ; $proof$ = 
fact2 & fact12 -> int1: その海月は回線交換であるけれど異空間でない; int1 -> int2: その海月は異空間でない; int2 & fact15 -> int3: あのロールアウトは異空間だしその上人間臭い; int3 -> hypothesis; __PROVED__
事実1: もし「このアバンギャルドは残り易くない」ということは本当であるなら「それは異教徒であるしその上それは切迫しない」ということは事実と異なる
事実2: 仮に「その鍼療法は惨たらしい」ということは誤っていないならその海月は回線交換だけど異空間でない
事実3: もし仮に「このアバンギャルドは異教徒であるが切迫しない」ということは誤りであるならその活性化エネルギーは切迫しない
事実4: 仮に「その海月は追撃する」ということは真実だとするとその鍼療法は惨たらしくないけど回復である
事実5: 惨たらしい物は異空間でない
事実6: もしもその活性化エネルギーは切迫しないとしたら「それは起こし難いけど描き易いということはない」ということは嘘である
事実7: もしもその鍼療法が惨たらしいということはないけど回復であるならそのＴＥは人間臭い
事実8: 繁殖し易い物は自重しないか追撃しないかあるいは両方ともだ
事実9: 仮にその鍼療法は惨たらしいとしたら「その海月は回線交換である」ということは成り立つ
事実10: もし「そのフランチャイザーは残り易くないが持ち合う」ということは成り立たないとするとこのアバンギャルドは残り易くない
事実11: もしも「「起こし難いけど描き易くない」ということは嘘な」物があるとするとこの開放は起こし難くない
事実12: その鍼療法は惨たらしい
事実13: もしもなにかは起こし難くないならばあのロールアウトは押し詰めるしそれに住宅価格である
事実14: もしその海月が異空間でないとしたらあのロールアウトは人間臭い
事実15: その海月が異空間であるということはないとするとあのロールアウトは異空間であるし人間臭い
事実16: もし仮にとあるものが押し詰めるとすると繁殖し易い
事実17: 「そのフランチャイザーは残り易くないけれど持ち合う」ということは成り立たない

仮説: あのロールアウトは異空間だ
1. 事実2と事実12から、推論1: "その海月は回線交換であるけれど異空間でない"が導かれる
2. 推論1から、推論2: "その海月は異空間でない"が導かれる
3. 推論2と事実15から、推論3: "あのロールアウトは異空間だしその上人間臭い"が導かれる
4. 推論3から、仮説が導かれる

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