もしもこのポゴは混入し易くないとすると「それは石灰資材でない」ということは確かである
fact1: このポゴが混入し易いとしたらそれは石灰資材であるということはない fact2: もしも「このポゴは発生可能性である」ということは正しいなら石灰資材でない fact3: 混入し易いということはないものは石灰資材であるということはない fact4: もしこのポゴが動揺し易いということはないとすると小高い fact5: このポゴは混入し易くないとすればそれは石灰資材である fact6: もし仮になにがしかの物は混入し易くないとすれば石灰資材だ fact7: 結び付き難いということはない物は遊び捲らない fact8: もし仮になんらかのものは混入し易いとすれば「それは石灰資材でない」ということは成り立つ fact9: もし仮に何かは出入りし易いとすればそれは把握し易いということはない fact10: なんらかのものが舌打ちするということはないとしたら一．五倍程度だということはない fact11: 仮にこのポゴが混入し易いとするとそれは色っぽくない fact12: もしその翠玉は混入し易くないなら飲み易い fact13: もしあるものは家電メーカーでないとしたら暖冬であるということはない fact14: もしもこのポゴが倒せないならばそれは御高くない fact15: もしもこのポゴが小高くないならば混入し易くない fact16: 仮にこのポゴは石灰資材でないならそれは眩かない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: このポゴが混入し易いとしたらそれは石灰資材であるということはない fact2: もしも「このポゴは発生可能性である」ということは正しいなら石灰資材でない fact3: 混入し易いということはないものは石灰資材であるということはない fact4: もしこのポゴが動揺し易いということはないとすると小高い fact5: このポゴは混入し易くないとすればそれは石灰資材である fact6: もし仮になにがしかの物は混入し易くないとすれば石灰資材だ fact7: 結び付き難いということはない物は遊び捲らない fact8: もし仮になんらかのものは混入し易いとすれば「それは石灰資材でない」ということは成り立つ fact9: もし仮に何かは出入りし易いとすればそれは把握し易いということはない fact10: なんらかのものが舌打ちするということはないとしたら一．五倍程度だということはない fact11: 仮にこのポゴが混入し易いとするとそれは色っぽくない fact12: もしその翠玉は混入し易くないなら飲み易い fact13: もしあるものは家電メーカーでないとしたら暖冬であるということはない fact14: もしもこのポゴが倒せないならばそれは御高くない fact15: もしもこのポゴが小高くないならば混入し易くない fact16: 仮にこのポゴは石灰資材でないならそれは眩かない ; $hypothesis$ = もしもこのポゴは混入し易くないとすると「それは石灰資材でない」ということは確かである ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: このポゴが混入し易いとしたらそれは石灰資材であるということはない
事実2: もしも「このポゴは発生可能性である」ということは正しいなら石灰資材でない
事実3: 混入し易いということはないものは石灰資材であるということはない
事実4: もしこのポゴが動揺し易いということはないとすると小高い
事実5: このポゴは混入し易くないとすればそれは石灰資材である
事実6: もし仮になにがしかの物は混入し易くないとすれば石灰資材だ
事実7: 結び付き難いということはない物は遊び捲らない
事実8: もし仮になんらかのものは混入し易いとすれば「それは石灰資材でない」ということは成り立つ
事実9: もし仮に何かは出入りし易いとすればそれは把握し易いということはない
事実10: なんらかのものが舌打ちするということはないとしたら一．五倍程度だということはない
事実11: 仮にこのポゴが混入し易いとするとそれは色っぽくない
事実12: もしその翠玉は混入し易くないなら飲み易い
事実13: もしあるものは家電メーカーでないとしたら暖冬であるということはない
事実14: もしもこのポゴが倒せないならばそれは御高くない
事実15: もしもこのポゴが小高くないならば混入し易くない
事実16: 仮にこのポゴは石灰資材でないならそれは眩かない

仮説: もしもこのポゴは混入し易くないとすると「それは石灰資材でない」ということは確かである
1. 事実3から、仮説が導かれる

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