もしもあの文字原稿は勤め帰りであるけれど信じ易くないならば「細長い」ということは事実である
fact1: 勤め帰りが信じ易いとするとそれは細長い fact2: 信じ易くない勤め帰りは細長い fact3: 乏しいということはない骨格は展開し易い fact4: 「もし仮にあの文字原稿が勤め帰りだし信じ易いとしたらあの文字原稿は細長い」ということは真実だ fact5: もし「何かは岩室であるけど除去しない」ということは事実であるとすればそれはまあるい fact6: もしもあの語学は塩っ辛いし受電設備だとしたら御指名だ
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: 勤め帰りが信じ易いとするとそれは細長い fact2: 信じ易くない勤め帰りは細長い fact3: 乏しいということはない骨格は展開し易い fact4: 「もし仮にあの文字原稿が勤め帰りだし信じ易いとしたらあの文字原稿は細長い」ということは真実だ fact5: もし「何かは岩室であるけど除去しない」ということは事実であるとすればそれはまあるい fact6: もしもあの語学は塩っ辛いし受電設備だとしたら御指名だ ; $hypothesis$ = もしもあの文字原稿は勤め帰りであるけれど信じ易くないならば「細長い」ということは事実である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 勤め帰りが信じ易いとするとそれは細長い
事実2: 信じ易くない勤め帰りは細長い
事実3: 乏しいということはない骨格は展開し易い
事実4: 「もし仮にあの文字原稿が勤め帰りだし信じ易いとしたらあの文字原稿は細長い」ということは真実だ
事実5: もし「何かは岩室であるけど除去しない」ということは事実であるとすればそれはまあるい
事実6: もしもあの語学は塩っ辛いし受電設備だとしたら御指名だ

仮説: もしもあの文字原稿は勤め帰りであるけれど信じ易くないならば「細長い」ということは事実である
1. 事実2から、仮説が導かれる

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