「もしも度し難いとすれば歩き辛くないし道化師でない」ものはある
fact1: もしもなんらかの物が火照るならそれは潜入しないし拭い難くない fact2: もしもこの炭鉱が度し難いならばそれは取るしそれは認知出来ない fact3: もし仮にこの炭鉱は度し難いとすると「それは歩き辛くなくて更に道化師でない」ということは正しい fact4: 「度し難いとしたら歩き辛いが道化師でない」物はある fact5: もしもあの細胞外マトリックスが度し難いとしたら一体化出来るし加えて息巻かない fact6: 「伝わり難いならば覚え難いということはない」物はある fact7: 「もし「旗竿だ」ということは真実であるならば住居しないししかも青っぽくない」ものはある fact8: 仮にその中継技術が掘り返すなら道化師でなくて分解され難いということはない
fact3 -> hypothesis;
「火照れば潜入しなくておまけに拭い難くない」ものはある
fact9 -> int1: もしあの増高が火照るとすればそれは潜入しないし拭い難くない; int1 -> hypothesis;
$facts$ = fact1: もしもなんらかの物が火照るならそれは潜入しないし拭い難くない fact2: もしもこの炭鉱が度し難いならばそれは取るしそれは認知出来ない fact3: もし仮にこの炭鉱は度し難いとすると「それは歩き辛くなくて更に道化師でない」ということは正しい fact4: 「度し難いとしたら歩き辛いが道化師でない」物はある fact5: もしもあの細胞外マトリックスが度し難いとしたら一体化出来るし加えて息巻かない fact6: 「伝わり難いならば覚え難いということはない」物はある fact7: 「もし「旗竿だ」ということは真実であるならば住居しないししかも青っぽくない」ものはある fact8: 仮にその中継技術が掘り返すなら道化師でなくて分解され難いということはない ; $hypothesis$ = 「もしも度し難いとすれば歩き辛くないし道化師でない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもなんらかの物が火照るならそれは潜入しないし拭い難くない
事実2: もしもこの炭鉱が度し難いならばそれは取るしそれは認知出来ない
事実3: もし仮にこの炭鉱は度し難いとすると「それは歩き辛くなくて更に道化師でない」ということは正しい
事実4: 「度し難いとしたら歩き辛いが道化師でない」物はある
事実5: もしもあの細胞外マトリックスが度し難いとしたら一体化出来るし加えて息巻かない
事実6: 「伝わり難いならば覚え難いということはない」物はある
事実7: 「もし「旗竿だ」ということは真実であるならば住居しないししかも青っぽくない」ものはある
事実8: 仮にその中継技術が掘り返すなら道化師でなくて分解され難いということはない

仮説: 「もしも度し難いとすれば歩き辛くないし道化師でない」ものはある
1. 事実3から、仮説が導かれる

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