「始末出来るし加えて品性でない」物はある
fact1: なんらかのものは荒立てないししかも絡めない fact2: あの揚屋は品性でない fact3: 「あの調査法は恐喝する」ということは確かならばあの意思主体はひ弱い fact4: 仮に「移り難い」物はあるなら「この常備薬は荒立てないしその上絡めるということはない」ということは成り立たない fact5: この常備薬は憑依する fact6: 「「荒立てるし絡めない」ということは間違いな」物はある fact7: 何かは始末出来るしかつ品性だ fact8: 「「絡めないしおまけにひ弱い」ということは真実だということはない」ものはある fact9: もし「「荒立てるということはなくて絡めない」ということは本当だということはない」物があるならあの調査法は住み良い fact10: もしもある物が住み良いとしたら恐喝する fact11: 仮にこの意思主体がひ弱いとしたらあの揚屋は始末出来るけれど品性でない fact12: もしもあの調査法が品性だとするとこの常備薬は住み良いけど荒立てない fact13: 「移り難い」ものはある
fact13 & fact4 -> int1: 「この常備薬は荒立てないし絡めない」ということは成り立たない; int1 -> int2: 「「荒立てるということはないしそれに絡めない」ということは成り立つということはない」ものはある; int2 & fact9 -> int3: あの調査法は住み良い; fact10 -> int4: もし仮にあの調査法が住み良いとするとそれは恐喝する; int3 & int4 -> int5: あの調査法は恐喝する; int5 & fact3 -> int6: この意思主体はひ弱い; int6 & fact11 -> int7: あの揚屋は始末出来るけど品性でない; int7 -> hypothesis;
$facts$ = fact1: なんらかのものは荒立てないししかも絡めない fact2: あの揚屋は品性でない fact3: 「あの調査法は恐喝する」ということは確かならばあの意思主体はひ弱い fact4: 仮に「移り難い」物はあるなら「この常備薬は荒立てないしその上絡めるということはない」ということは成り立たない fact5: この常備薬は憑依する fact6: 「「荒立てるし絡めない」ということは間違いな」物はある fact7: 何かは始末出来るしかつ品性だ fact8: 「「絡めないしおまけにひ弱い」ということは真実だということはない」ものはある fact9: もし「「荒立てるということはなくて絡めない」ということは本当だということはない」物があるならあの調査法は住み良い fact10: もしもある物が住み良いとしたら恐喝する fact11: 仮にこの意思主体がひ弱いとしたらあの揚屋は始末出来るけれど品性でない fact12: もしもあの調査法が品性だとするとこの常備薬は住み良いけど荒立てない fact13: 「移り難い」ものはある ; $hypothesis$ = 「始末出来るし加えて品性でない」物はある ; $proof$ = 
fact13 & fact4 -> int1: 「この常備薬は荒立てないし絡めない」ということは成り立たない; int1 -> int2: 「「荒立てるということはないしそれに絡めない」ということは成り立つということはない」ものはある; int2 & fact9 -> int3: あの調査法は住み良い; fact10 -> int4: もし仮にあの調査法が住み良いとするとそれは恐喝する; int3 & int4 -> int5: あの調査法は恐喝する; int5 & fact3 -> int6: この意思主体はひ弱い; int6 & fact11 -> int7: あの揚屋は始末出来るけど品性でない; int7 -> hypothesis; __PROVED__
事実1: なんらかのものは荒立てないししかも絡めない
事実2: あの揚屋は品性でない
事実3: 「あの調査法は恐喝する」ということは確かならばあの意思主体はひ弱い
事実4: 仮に「移り難い」物はあるなら「この常備薬は荒立てないしその上絡めるということはない」ということは成り立たない
事実5: この常備薬は憑依する
事実6: 「「荒立てるし絡めない」ということは間違いな」物はある
事実7: 何かは始末出来るしかつ品性だ
事実8: 「「絡めないしおまけにひ弱い」ということは真実だということはない」ものはある
事実9: もし「「荒立てるということはなくて絡めない」ということは本当だということはない」物があるならあの調査法は住み良い
事実10: もしもある物が住み良いとしたら恐喝する
事実11: 仮にこの意思主体がひ弱いとしたらあの揚屋は始末出来るけれど品性でない
事実12: もしもあの調査法が品性だとするとこの常備薬は住み良いけど荒立てない
事実13: 「移り難い」ものはある

仮説: 「始末出来るし加えて品性でない」物はある
1. 事実13と事実4から、推論1: "「この常備薬は荒立てないし絡めない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「荒立てるということはないしそれに絡めない」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実9から、推論3: "あの調査法は住み良い"が導かれる
4. 事実10から、推論4: "もし仮にあの調査法が住み良いとするとそれは恐喝する"が導かれる
5. 推論3と推論4から、推論5: "あの調査法は恐喝する"が導かれる
6. 推論5と事実3から、推論6: "この意思主体はひ弱い"が導かれる
7. 推論6と事実11から、推論7: "あの揚屋は始末出来るけど品性でない"が導かれる
8. 推論7から、仮説が導かれる

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