この使い魔は皮付きである
fact1: もしも「「御書き物でないがしかし水平半規管型だ」ということは成り立つということはない」ものがあるとするとあの造立は心憎くない fact2: もし「あの造立は皮付きである」ということは本当ならばこの使い魔は中核分野理論である fact3: 狂おしい物は両立し得ないけど取り組む fact4: 仮にそのメジャーが両立し得るということはない一方で取り組むならそのポップアップは把握し難くない fact5: 「あの造立は俗っぽい」ということは事実である fact6: もしそのポップアップは把握し難くないとすると「あの素材費は御書き物でないがしかし水平半規管型だ」ということは確かでない fact7: もしこの使い魔が御書き物であるしかつ俗っぽいとしたらあの造立は俗っぽいということはない fact8: 俗っぽいということはないものは皮付きだし中核分野理論である fact9: どれもこれもは狂おしい fact10: あの造立は中核分野理論であるし俗っぽい fact11: もし仮にあの造立が中核分野理論だとするとこの使い魔は皮付きだ
fact10 -> int1: あの造立は中核分野理論である; int1 & fact11 -> hypothesis;
fact10 -> int1: {A}{a}; int1 & fact11 -> hypothesis;
あの造立は皮付きである
fact12 -> int2: 仮に「あの造立は俗っぽくない」ということは成り立てばそれが皮付きだしその上中核分野理論だ;
$facts$ = fact1: もしも「「御書き物でないがしかし水平半規管型だ」ということは成り立つということはない」ものがあるとするとあの造立は心憎くない fact2: もし「あの造立は皮付きである」ということは本当ならばこの使い魔は中核分野理論である fact3: 狂おしい物は両立し得ないけど取り組む fact4: 仮にそのメジャーが両立し得るということはない一方で取り組むならそのポップアップは把握し難くない fact5: 「あの造立は俗っぽい」ということは事実である fact6: もしそのポップアップは把握し難くないとすると「あの素材費は御書き物でないがしかし水平半規管型だ」ということは確かでない fact7: もしこの使い魔が御書き物であるしかつ俗っぽいとしたらあの造立は俗っぽいということはない fact8: 俗っぽいということはないものは皮付きだし中核分野理論である fact9: どれもこれもは狂おしい fact10: あの造立は中核分野理論であるし俗っぽい fact11: もし仮にあの造立が中核分野理論だとするとこの使い魔は皮付きだ ; $hypothesis$ = この使い魔は皮付きである ; $proof$ = 
fact10 -> int1: あの造立は中核分野理論である; int1 & fact11 -> hypothesis; __PROVED__
事実1: もしも「「御書き物でないがしかし水平半規管型だ」ということは成り立つということはない」ものがあるとするとあの造立は心憎くない
事実2: もし「あの造立は皮付きである」ということは本当ならばこの使い魔は中核分野理論である
事実3: 狂おしい物は両立し得ないけど取り組む
事実4: 仮にそのメジャーが両立し得るということはない一方で取り組むならそのポップアップは把握し難くない
事実5: 「あの造立は俗っぽい」ということは事実である
事実6: もしそのポップアップは把握し難くないとすると「あの素材費は御書き物でないがしかし水平半規管型だ」ということは確かでない
事実7: もしこの使い魔が御書き物であるしかつ俗っぽいとしたらあの造立は俗っぽいということはない
事実8: 俗っぽいということはないものは皮付きだし中核分野理論である
事実9: どれもこれもは狂おしい
事実10: あの造立は中核分野理論であるし俗っぽい
事実11: もし仮にあの造立が中核分野理論だとするとこの使い魔は皮付きだ

仮説: この使い魔は皮付きである
1. 事実10から、推論1: "あの造立は中核分野理論である"が導かれる
2. 推論1と事実11から、仮説が導かれる

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