その装花は古い
fact1: その装花は怒鳴るけどスライドしない fact2: あの障害物競走は降り注ぐ fact3: その片栗粉は古い fact4: もし仮にこの高層ビル街が古いがしかしそれが幼いということはないならばこの逆鱗は古い fact5: もしもその片栗粉が従属人口比率でないとすればその四半期開示は転写しない fact6: 従属人口比率は前奏曲だが子供らしくない fact7: この高層ビル街は線端だ fact8: なんらかのものは率先するとすれば「幼い」ということは事実である fact9: その片栗粉が率先しないとしたらこの高層ビル街は率先するということはない fact10: その片栗粉は転写する fact11: もしこの逆鱗が古いがしかしそれが子供らしくないとすればその装花は古くない fact12: その片栗粉は率先する fact13: 「その片栗粉は使い難いということはなくて更に降り注ぐということはない」ということは成り立たない fact14: もしもその装花が逮捕するけれどそれは使い難くないとすると「それは古い」ということは真実である fact15: 「その四半期開示が転写しないとしたらその装花は逮捕するけれど使い難くない」ということは確かである fact16: もしもこの高層ビル街が幼いし加えて前奏曲であるなら「その片栗粉は従属人口比率であるということはない」ということは事実である fact17: もし仮にとある物が降り注ぐなら前奏曲である fact18: 仮にこの逆鱗が子供らしいならばあの高層ビル街は率先する fact19: もしもその装花は率先しないとしたら「この高層ビル街は古い」ということは事実だ fact20: 「この逆鱗は子供らしい」ということは成り立つ fact21: 「「転写するしおまけに逮捕する」ということは成り立つということはない」ものはある fact22: もしもあるものが率先しないなら古いが幼くない fact23: この高層ビル街は降り注ぐ
fact18 & fact20 -> int1: この高層ビル街は率先する; fact8 -> int2: もしもこの高層ビル街は率先すれば「幼い」ということは確かだ; int1 & int2 -> int3: 「この高層ビル街は幼い」ということは事実である; fact17 -> int4: この高層ビル街が降り注ぐとしたらそれは前奏曲だ; int4 & fact23 -> int5: この高層ビル街は前奏曲だ; int3 & int5 -> int6: この高層ビル街は幼いし前奏曲である; int6 & fact16 -> int7: その片栗粉は従属人口比率であるということはない; int7 & fact5 -> int8: その四半期開示は転写しない; int8 & fact15 -> int9: 「その装花は逮捕するがしかしそれは使い難くない」ということは正しい; int9 & fact14 -> hypothesis;
その装花は古くない
fact24 -> int10: この高層ビル街が率先しないならそれは古いけれど幼いということはない; fact29 -> int11: もしこの逆鱗が従属人口比率であるとしたらそれは前奏曲で更に子供らしくない;
$facts$ = fact1: その装花は怒鳴るけどスライドしない fact2: あの障害物競走は降り注ぐ fact3: その片栗粉は古い fact4: もし仮にこの高層ビル街が古いがしかしそれが幼いということはないならばこの逆鱗は古い fact5: もしもその片栗粉が従属人口比率でないとすればその四半期開示は転写しない fact6: 従属人口比率は前奏曲だが子供らしくない fact7: この高層ビル街は線端だ fact8: なんらかのものは率先するとすれば「幼い」ということは事実である fact9: その片栗粉が率先しないとしたらこの高層ビル街は率先するということはない fact10: その片栗粉は転写する fact11: もしこの逆鱗が古いがしかしそれが子供らしくないとすればその装花は古くない fact12: その片栗粉は率先する fact13: 「その片栗粉は使い難いということはなくて更に降り注ぐということはない」ということは成り立たない fact14: もしもその装花が逮捕するけれどそれは使い難くないとすると「それは古い」ということは真実である fact15: 「その四半期開示が転写しないとしたらその装花は逮捕するけれど使い難くない」ということは確かである fact16: もしもこの高層ビル街が幼いし加えて前奏曲であるなら「その片栗粉は従属人口比率であるということはない」ということは事実である fact17: もし仮にとある物が降り注ぐなら前奏曲である fact18: 仮にこの逆鱗が子供らしいならばあの高層ビル街は率先する fact19: もしもその装花は率先しないとしたら「この高層ビル街は古い」ということは事実だ fact20: 「この逆鱗は子供らしい」ということは成り立つ fact21: 「「転写するしおまけに逮捕する」ということは成り立つということはない」ものはある fact22: もしもあるものが率先しないなら古いが幼くない fact23: この高層ビル街は降り注ぐ ; $hypothesis$ = その装花は古い ; $proof$ = 
fact18 & fact20 -> int1: この高層ビル街は率先する; fact8 -> int2: もしもこの高層ビル街は率先すれば「幼い」ということは確かだ; int1 & int2 -> int3: 「この高層ビル街は幼い」ということは事実である; fact17 -> int4: この高層ビル街が降り注ぐとしたらそれは前奏曲だ; int4 & fact23 -> int5: この高層ビル街は前奏曲だ; int3 & int5 -> int6: この高層ビル街は幼いし前奏曲である; int6 & fact16 -> int7: その片栗粉は従属人口比率であるということはない; int7 & fact5 -> int8: その四半期開示は転写しない; int8 & fact15 -> int9: 「その装花は逮捕するがしかしそれは使い難くない」ということは正しい; int9 & fact14 -> 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: この高層ビル街は降り注ぐ

仮説: その装花は古い
1. 事実18と事実20から、推論1: "この高層ビル街は率先する"が導かれる
2. 事実8から、推論2: "もしもこの高層ビル街は率先すれば「幼い」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "「この高層ビル街は幼い」ということは事実である"が導かれる
4. 事実17から、推論4: "この高層ビル街が降り注ぐとしたらそれは前奏曲だ"が導かれる
5. 推論4と事実23から、推論5: "この高層ビル街は前奏曲だ"が導かれる
6. 推論3と推論5から、推論6: "この高層ビル街は幼いし前奏曲である"が導かれる
7. 推論6と事実16から、推論7: "その片栗粉は従属人口比率であるということはない"が導かれる
8. 推論7と事実5から、推論8: "その四半期開示は転写しない"が導かれる
9. 推論8と事実15から、推論9: "「その装花は逮捕するがしかしそれは使い難くない」ということは正しい"が導かれる
10. 推論9と事実14から、仮説が導かれる

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