この引き取りはし難くないならば色好い
fact1: もしこの気管切開孔が良くないとすると通り難い fact2: もし仮にこの引き取りは悪疫でないならし難い fact3: 仮になにかはし難くないとしたらそれは色好い fact4: 仮にこの引き取りは色好いということはないなら「それは切り難い」ということは確かだ
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしこの気管切開孔が良くないとすると通り難い fact2: もし仮にこの引き取りは悪疫でないならし難い fact3: 仮になにかはし難くないとしたらそれは色好い fact4: 仮にこの引き取りは色好いということはないなら「それは切り難い」ということは確かだ ; $hypothesis$ = この引き取りはし難くないならば色好い ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしこの気管切開孔が良くないとすると通り難い
事実2: もし仮にこの引き取りは悪疫でないならし難い
事実3: 仮になにかはし難くないとしたらそれは色好い
事実4: 仮にこの引き取りは色好いということはないなら「それは切り難い」ということは確かだ

仮説: この引き取りはし難くないならば色好い
1. 事実3から、仮説が導かれる

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