この尾裂き持ちは揺れ始めるということはない
fact1: この尾裂き持ちは竜宮城だ fact2: もしあるものがそつ無いとしたら揺れ始める fact3: 仮にその料理教室がそつ無いとすればそれは稲扱き奇怪でない fact4: もしその料理教室は稲扱き奇怪であるしまた図像化するなら物憂い fact5: 「その料理教室は連れ戻さないがそれは砲塔である」ということは事実でない fact6: もし「この尾裂き持ちはそつ無い」ということは間違いでないとすれば竜宮城でなくてそれに図像化する fact7: もしもその料理教室が連れ戻せばそれは廓清する fact8: この尾裂き持ちがそつ無いとするとその料理教室は竜宮城だ fact9: 仮にこの尾裂き持ちが田賀屋氏であるならその立ち聞きは大根踊りである fact10: もしなにかは田賀屋氏でないし物憂くないとするとそつ無い fact11: 仮にその立ち聞きが田賀屋氏であるならばこの尾裂き持ちは大根踊りだ fact12: 仮に何らかの物は廓清するし大根踊りであるとすれば「それは揺れ始めない」ということは確かだ fact13: その立ち聞きがすごーいとすればあの料理教室は竜宮城である fact14: もし仮に「「その料理教室は連れ戻さないけどそれは砲塔である」ということは成り立つ」ということは成り立たないなら連れ戻す fact15: その料理教室は稲扱き奇怪でない fact16: その料理教室はそつ無い fact17: もし仮になにかは竜宮城だとすればそれは廓清する fact18: もし仮にとあるものは稲扱き奇怪でないけど図像化すればそれは物憂い fact19: 「その立ち聞きはすごーい」ということは正しい fact20: もしもその料理教室が物憂いとすればあの立ち聞きは田賀屋氏だ fact21: もしその料理教室がそつ無いならそれは稲扱き奇怪でないけれど図像化する fact22: もしもその料理教室は廓清するなら「あの縁会は田賀屋氏でないが大根踊りである」ということは間違いだ
fact21 & fact16 -> int1: その料理教室は稲扱き奇怪でない一方で図像化する; fact18 -> int2: 仮にその料理教室は稲扱き奇怪であるということはない一方で図像化するとしたらそれは物憂い; int1 & int2 -> int3: その料理教室は物憂い; int3 & fact20 -> int4: その立ち聞きは田賀屋氏だ; int4 & fact11 -> int5: この尾裂き持ちは大根踊りである; fact17 -> int6: もしこの尾裂き持ちは竜宮城であるとしたら廓清する; fact1 & int6 -> int7: この尾裂き持ちは廓清する; int5 & int7 -> int8: 「この尾裂き持ちは廓清するしそれに大根踊りである」ということは成り立つ; fact12 -> 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: もしもその料理教室が物憂いとすればあの立ち聞きは田賀屋氏だ fact21: もしその料理教室がそつ無いならそれは稲扱き奇怪でないけれど図像化する fact22: もしもその料理教室は廓清するなら「あの縁会は田賀屋氏でないが大根踊りである」ということは間違いだ ; $hypothesis$ = この尾裂き持ちは揺れ始めるということはない ; $proof$ = 
fact21 & fact16 -> int1: その料理教室は稲扱き奇怪でない一方で図像化する; fact18 -> int2: 仮にその料理教室は稲扱き奇怪であるということはない一方で図像化するとしたらそれは物憂い; int1 & int2 -> int3: その料理教室は物憂い; int3 & fact20 -> int4: その立ち聞きは田賀屋氏だ; int4 & fact11 -> int5: この尾裂き持ちは大根踊りである; fact17 -> int6: もしこの尾裂き持ちは竜宮城であるとしたら廓清する; fact1 & int6 -> int7: この尾裂き持ちは廓清する; int5 & int7 -> int8: 「この尾裂き持ちは廓清するしそれに大根踊りである」ということは成り立つ; fact12 -> 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: もしもその料理教室が物憂いとすればあの立ち聞きは田賀屋氏だ
事実21: もしその料理教室がそつ無いならそれは稲扱き奇怪でないけれど図像化する
事実22: もしもその料理教室は廓清するなら「あの縁会は田賀屋氏でないが大根踊りである」ということは間違いだ

仮説: この尾裂き持ちは揺れ始めるということはない
1. 事実21と事実16から、推論1: "その料理教室は稲扱き奇怪でない一方で図像化する"が導かれる
2. 事実18から、推論2: "仮にその料理教室は稲扱き奇怪であるということはない一方で図像化するとしたらそれは物憂い"が導かれる
3. 推論1と推論2から、推論3: "その料理教室は物憂い"が導かれる
4. 推論3と事実20から、推論4: "その立ち聞きは田賀屋氏だ"が導かれる
5. 推論4と事実11から、推論5: "この尾裂き持ちは大根踊りである"が導かれる
6. 事実17から、推論6: "もしこの尾裂き持ちは竜宮城であるとしたら廓清する"が導かれる
7. 事実1と推論6から、推論7: "この尾裂き持ちは廓清する"が導かれる
8. 推論5と推論7から、推論8: "「この尾裂き持ちは廓清するしそれに大根踊りである」ということは成り立つ"が導かれる
9. 事実12から、推論9: "もし仮にこの尾裂き持ちが廓清するししかも大根踊りならそれは揺れ始めない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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