「もし厳しかないし加えて漕ぎ始めないなら瀰漫性である」物はある
fact1: もし締めっぽくないものは瀰漫性であるということはないならそれは落ち難い fact2: もしあの自己判断は厳しかないししかも漕ぎ始めないとしたらそれは瀰漫性だ fact3: もしもあの自己判断が厳しかないけれど漕ぎ始めるとすると瀰漫性だ
fact2 -> hypothesis;
fact2 -> hypothesis;
もしもあの自己判断は締めっぽくないし瀰漫性でないとすれば「それは落ち難い」ということは本当だ
fact4 -> hypothesis;
$facts$ = fact1: もし締めっぽくないものは瀰漫性であるということはないならそれは落ち難い fact2: もしあの自己判断は厳しかないししかも漕ぎ始めないとしたらそれは瀰漫性だ fact3: もしもあの自己判断が厳しかないけれど漕ぎ始めるとすると瀰漫性だ ; $hypothesis$ = 「もし厳しかないし加えて漕ぎ始めないなら瀰漫性である」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし締めっぽくないものは瀰漫性であるということはないならそれは落ち難い
事実2: もしあの自己判断は厳しかないししかも漕ぎ始めないとしたらそれは瀰漫性だ
事実3: もしもあの自己判断が厳しかないけれど漕ぎ始めるとすると瀰漫性だ

仮説: 「もし厳しかないし加えて漕ぎ始めないなら瀰漫性である」物はある
1. 事実2から、仮説が導かれる

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