その迎え角αＳは共晶組織だ
fact1: 仮にこの心周期が田舎っぽいとすれば怖じ気付く fact2: もし仮にあの五番人気以内が指導出来るとすればその迎え角αＳは共晶組織である fact3: なにがしかの物が再結合しないとすればそれは怖じ気付かない fact4: もし仮にその迎え角αＳが田舎っぽいとすれば起こり易くてさらにそれは共晶組織でない fact5: もしもこの心周期が起こり易いならばそれは田舎っぽい fact6: この心周期が起こり易くないとしたらあの五番人気以内はディレクトリーでなくて基本精神でない fact7: 仮に「この心周期は再結合するがそれは歌舞伎っぽいということはない」ということは成り立たないならそれは再結合しない fact8: あの五番人気以内が基本精神だとするとそれは起こり易い fact9: もしもあの五番人気以内はディレクトリーでないしさらに基本精神でないとするとそれは指導出来る fact10: この心周期が怖じ気付くということはなくて加えて田舎っぽいということはないとしたらあの継続用法は起こり易くない fact11: 「この心周期は再結合するがそれは歌舞伎っぽくない」ということは偽だ fact12: もし仮にある物は起こり易くないならば「仲間キャラであるしかつ遠くない」ということは成り立たない
void -> assump1: 以下のように仮定する。この心周期は起こり易い; fact5 & assump1 -> int1: この心周期は田舎っぽい; int1 & fact1 -> int2: この心周期は怖じ気付く; fact3 -> int3: 仮にこの心周期が再結合するということはないとすれば怖じ気付くということはない; fact11 & fact7 -> int4: この心周期は再結合しない; int3 & int4 -> int5: この心周期は怖じ気付かない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この心周期は起こり易くない; int7 & fact6 -> int8: 「あの五番人気以内はディレクトリーでないしそれは基本精神でない」ということは事実である; int8 & fact9 -> int9: あの五番人気以内は指導出来る; int9 & fact2 -> hypothesis;
「あの継続用法が仲間キャラだけど遠くない」ということは真実でない
fact14 -> int10: もしあの継続用法は起こり易くないとすると「それは仲間キャラであるし更に遠くない」ということは事実と異なる;
$facts$ = fact1: 仮にこの心周期が田舎っぽいとすれば怖じ気付く fact2: もし仮にあの五番人気以内が指導出来るとすればその迎え角αＳは共晶組織である fact3: なにがしかの物が再結合しないとすればそれは怖じ気付かない fact4: もし仮にその迎え角αＳが田舎っぽいとすれば起こり易くてさらにそれは共晶組織でない fact5: もしもこの心周期が起こり易いならばそれは田舎っぽい fact6: この心周期が起こり易くないとしたらあの五番人気以内はディレクトリーでなくて基本精神でない fact7: 仮に「この心周期は再結合するがそれは歌舞伎っぽいということはない」ということは成り立たないならそれは再結合しない fact8: あの五番人気以内が基本精神だとするとそれは起こり易い fact9: もしもあの五番人気以内はディレクトリーでないしさらに基本精神でないとするとそれは指導出来る fact10: この心周期が怖じ気付くということはなくて加えて田舎っぽいということはないとしたらあの継続用法は起こり易くない fact11: 「この心周期は再結合するがそれは歌舞伎っぽくない」ということは偽だ fact12: もし仮にある物は起こり易くないならば「仲間キャラであるしかつ遠くない」ということは成り立たない ; $hypothesis$ = その迎え角αＳは共晶組織だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この心周期は起こり易い; fact5 & assump1 -> int1: この心周期は田舎っぽい; int1 & fact1 -> int2: この心周期は怖じ気付く; fact3 -> int3: 仮にこの心周期が再結合するということはないとすれば怖じ気付くということはない; fact11 & fact7 -> int4: この心周期は再結合しない; int3 & int4 -> int5: この心周期は怖じ気付かない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この心周期は起こり易くない; int7 & fact6 -> int8: 「あの五番人気以内はディレクトリーでないしそれは基本精神でない」ということは事実である; int8 & fact9 -> int9: あの五番人気以内は指導出来る; int9 & fact2 -> hypothesis; __PROVED__
事実1: 仮にこの心周期が田舎っぽいとすれば怖じ気付く
事実2: もし仮にあの五番人気以内が指導出来るとすればその迎え角αＳは共晶組織である
事実3: なにがしかの物が再結合しないとすればそれは怖じ気付かない
事実4: もし仮にその迎え角αＳが田舎っぽいとすれば起こり易くてさらにそれは共晶組織でない
事実5: もしもこの心周期が起こり易いならばそれは田舎っぽい
事実6: この心周期が起こり易くないとしたらあの五番人気以内はディレクトリーでなくて基本精神でない
事実7: 仮に「この心周期は再結合するがそれは歌舞伎っぽいということはない」ということは成り立たないならそれは再結合しない
事実8: あの五番人気以内が基本精神だとするとそれは起こり易い
事実9: もしもあの五番人気以内はディレクトリーでないしさらに基本精神でないとするとそれは指導出来る
事実10: この心周期が怖じ気付くということはなくて加えて田舎っぽいということはないとしたらあの継続用法は起こり易くない
事実11: 「この心周期は再結合するがそれは歌舞伎っぽくない」ということは偽だ
事実12: もし仮にある物は起こり易くないならば「仲間キャラであるしかつ遠くない」ということは成り立たない

仮説: その迎え角αＳは共晶組織だ
1. 仮定1: 以下のように仮定する。この心周期は起こり易い
2. 事実5と仮定1から、推論1: "この心周期は田舎っぽい"が導かれる
3. 推論1と事実1から、推論2: "この心周期は怖じ気付く"が導かれる
4. 事実3から、推論3: "仮にこの心周期が再結合するということはないとすれば怖じ気付くということはない"が導かれる
5. 事実11と事実7から、推論4: "この心周期は再結合しない"が導かれる
6. 推論3と推論4から、推論5: "この心周期は怖じ気付かない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この心周期は起こり易くない"が導かれる
9. 推論7と事実6から、推論8: "「あの五番人気以内はディレクトリーでないしそれは基本精神でない」ということは事実である"が導かれる
10. 推論8と事実9から、推論9: "あの五番人気以内は指導出来る"が導かれる
11. 推論9と事実2から、仮説が導かれる

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