その準構成員は朝雲だ
fact1: なんらかの物は朝雲であるか淀み無い fact2: 仮に「感慨深い」物があるとするとその準構成員は朝雲である fact3: 「その一弾は淀み無い」ということは確かだ fact4: その頭巾が淀み無くないとすればあの一弾は気分転換するがしかし解け易いということはない fact5: もし仮にその一弾がファサードである一方で活用出来るということはないならその頭巾は高額化する fact6: もしその準構成員が淀み無いファサードならばその頭巾は淀み無くない fact7: 仮にその一弾が実質収支比率ならば活用出来ない fact8: もしその一弾がファサードであるしそれが活用出来るとしたらその頭巾は高額化する fact9: その相互学習は実質収支比率だ fact10: もし仮にその頭巾は活用出来る一方で高額化しないならば「その準構成員は朝雲だ」ということは成り立つ fact11: 実質収支比率は活用出来ない fact12: 実質収支比率はファサードだがしかし活用出来ない fact13: 「「高額化するかまたは感慨深いかあるいは両方ともだ」ということは正しい」ものがあるとしたらその準構成員は朝雲である fact14: もし仮に何らかの物はファサードだとしたら「それは実質収支比率だ一方で淀み無くない」ということは成り立つということはない fact15: その一弾は活用出来るということはない fact16: その一弾は淀み無くておまけにそれは実質収支比率である
fact16 -> int1: その一弾は実質収支比率だ; fact12 -> int2: 「仮にその一弾が実質収支比率だとしたらその一弾はファサードだけど活用出来るということはない」ということは正しい; int1 & int2 -> int3: その一弾はファサードだがしかし活用出来ない; int3 & fact5 -> int4: その頭巾は高額化する; int4 -> int5: その頭巾は高額化するか感慨深いか両方ともだ; int5 -> int6: 「高額化するかあるいは感慨深いかまたは両方な」物はある; int6 & fact13 -> hypothesis;
その一弾は気分転換するがしかしそれは解け易くない
$facts$ = fact1: なんらかの物は朝雲であるか淀み無い fact2: 仮に「感慨深い」物があるとするとその準構成員は朝雲である fact3: 「その一弾は淀み無い」ということは確かだ fact4: その頭巾が淀み無くないとすればあの一弾は気分転換するがしかし解け易いということはない fact5: もし仮にその一弾がファサードである一方で活用出来るということはないならその頭巾は高額化する fact6: もしその準構成員が淀み無いファサードならばその頭巾は淀み無くない fact7: 仮にその一弾が実質収支比率ならば活用出来ない fact8: もしその一弾がファサードであるしそれが活用出来るとしたらその頭巾は高額化する fact9: その相互学習は実質収支比率だ fact10: もし仮にその頭巾は活用出来る一方で高額化しないならば「その準構成員は朝雲だ」ということは成り立つ fact11: 実質収支比率は活用出来ない fact12: 実質収支比率はファサードだがしかし活用出来ない fact13: 「「高額化するかまたは感慨深いかあるいは両方ともだ」ということは正しい」ものがあるとしたらその準構成員は朝雲である fact14: もし仮に何らかの物はファサードだとしたら「それは実質収支比率だ一方で淀み無くない」ということは成り立つということはない fact15: その一弾は活用出来るということはない fact16: その一弾は淀み無くておまけにそれは実質収支比率である ; $hypothesis$ = その準構成員は朝雲だ ; $proof$ = 
fact16 -> int1: その一弾は実質収支比率だ; fact12 -> int2: 「仮にその一弾が実質収支比率だとしたらその一弾はファサードだけど活用出来るということはない」ということは正しい; int1 & int2 -> int3: その一弾はファサードだがしかし活用出来ない; int3 & fact5 -> int4: その頭巾は高額化する; int4 -> int5: その頭巾は高額化するか感慨深いか両方ともだ; int5 -> int6: 「高額化するかあるいは感慨深いかまたは両方な」物はある; int6 & fact13 -> hypothesis; __PROVED__
事実1: なんらかの物は朝雲であるか淀み無い
事実2: 仮に「感慨深い」物があるとするとその準構成員は朝雲である
事実3: 「その一弾は淀み無い」ということは確かだ
事実4: その頭巾が淀み無くないとすればあの一弾は気分転換するがしかし解け易いということはない
事実5: もし仮にその一弾がファサードである一方で活用出来るということはないならその頭巾は高額化する
事実6: もしその準構成員が淀み無いファサードならばその頭巾は淀み無くない
事実7: 仮にその一弾が実質収支比率ならば活用出来ない
事実8: もしその一弾がファサードであるしそれが活用出来るとしたらその頭巾は高額化する
事実9: その相互学習は実質収支比率だ
事実10: もし仮にその頭巾は活用出来る一方で高額化しないならば「その準構成員は朝雲だ」ということは成り立つ
事実11: 実質収支比率は活用出来ない
事実12: 実質収支比率はファサードだがしかし活用出来ない
事実13: 「「高額化するかまたは感慨深いかあるいは両方ともだ」ということは正しい」ものがあるとしたらその準構成員は朝雲である
事実14: もし仮に何らかの物はファサードだとしたら「それは実質収支比率だ一方で淀み無くない」ということは成り立つということはない
事実15: その一弾は活用出来るということはない
事実16: その一弾は淀み無くておまけにそれは実質収支比率である

仮説: その準構成員は朝雲だ
1. 事実16から、推論1: "その一弾は実質収支比率だ"が導かれる
2. 事実12から、推論2: "「仮にその一弾が実質収支比率だとしたらその一弾はファサードだけど活用出来るということはない」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "その一弾はファサードだがしかし活用出来ない"が導かれる
4. 推論3と事実5から、推論4: "その頭巾は高額化する"が導かれる
5. 推論4から、推論5: "その頭巾は高額化するか感慨深いか両方ともだ"が導かれる
6. 推論5から、推論6: "「高額化するかあるいは感慨深いかまたは両方な」物はある"が導かれる
7. 推論6と事実13から、仮説が導かれる

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