何かは飛び散る
fact1: もしもこの筆遣いが受託すれば浅い fact2: この筆遣いは計略だ fact3: 「計略な」ものはある fact4: もしもあの悲しみが実現し易いならばそれは長細い fact5: 「この筆遣いは法定化する」ということは真実であるとすれば仲睦まじい fact6: 仮にこの筆遣いが来し易いとしたら計略だ fact7: この留意はα型である fact8: もしこの筆遣いが脅迫めけば注意深い fact9: この筆遣いは土釜だ fact10: 仮に「あの自己満足は出航する一方で飛び散らない」ということは本当なら「御忙しくない」ということは本当である fact11: この出荷乳量はα型であり堆い fact12: この筆遣いはきつい fact13: この筆遣いは計略だし加えてα型である fact14: あの自己満足が行為するとしたらそれは極まり悪い fact15: あの血胸はα型だ fact16: この筆遣いが浅いとしたらそれは御忙しい fact17: もし仮にこの筆遣いはα型であるとすると浅い fact18: この旧市街は浅い fact19: この筆遣いは覚え難い fact20: もしもこの筆遣いは御忙しいなら「飛び散る」ということは本当である fact21: もしもこの筆遣いが飛び散るとしたらそれは結び付き易い fact22: 「注入量である」物はある fact23: もし仮にあの自己満足が極まり悪いならそれは出航するが飛び散らない
fact13 -> int1: この筆遣いはα型だ; int1 & fact17 -> int2: この筆遣いは浅い; int2 & fact16 -> int3: この筆遣いは御忙しい; int3 & fact20 -> int4: この筆遣いは飛び散る; int4 -> hypothesis;
「あの自己満足は浅い」ということは確かだ
$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$ = 
fact13 -> int1: この筆遣いはα型だ; int1 & fact17 -> int2: この筆遣いは浅い; int2 & fact16 -> int3: この筆遣いは御忙しい; int3 & fact20 -> int4: この筆遣いは飛び散る; int4 -> 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. 事実13から、推論1: "この筆遣いはα型だ"が導かれる
2. 推論1と事実17から、推論2: "この筆遣いは浅い"が導かれる
3. 推論2と事実16から、推論3: "この筆遣いは御忙しい"が導かれる
4. 推論3と事実20から、推論4: "この筆遣いは飛び散る"が導かれる
5. 推論4から、仮説が導かれる

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