その奥山は革小物である
fact1: もしもその奥山が姉らしいしかつ革小物だとしたらその疾走は滑り難い fact2: 「もし仮にその疾走が姉らしくないがしかし滑り難いとするとその奥山は革小物だ」ということは正しい fact3: この七時半は黒くない一方で滑り難い fact4: もし仮にその疾走が滑り難いしかつ革小物であるならその奥山は姉らしい fact5: その疾走は姉らしくないけどそれは滑り難い fact6: その疾走は革小物だ
fact2 & fact5 -> hypothesis;
fact2 & fact5 -> hypothesis;
$facts$ = fact1: もしもその奥山が姉らしいしかつ革小物だとしたらその疾走は滑り難い fact2: 「もし仮にその疾走が姉らしくないがしかし滑り難いとするとその奥山は革小物だ」ということは正しい fact3: この七時半は黒くない一方で滑り難い fact4: もし仮にその疾走が滑り難いしかつ革小物であるならその奥山は姉らしい fact5: その疾走は姉らしくないけどそれは滑り難い fact6: その疾走は革小物だ ; $hypothesis$ = その奥山は革小物である ; $proof$ = 
fact2 & fact5 -> hypothesis; __PROVED__
事実1: もしもその奥山が姉らしいしかつ革小物だとしたらその疾走は滑り難い
事実2: 「もし仮にその疾走が姉らしくないがしかし滑り難いとするとその奥山は革小物だ」ということは正しい
事実3: この七時半は黒くない一方で滑り難い
事実4: もし仮にその疾走が滑り難いしかつ革小物であるならその奥山は姉らしい
事実5: その疾走は姉らしくないけどそれは滑り難い
事実6: その疾走は革小物だ

仮説: その奥山は革小物である
1. 事実2と事実5から、仮説が導かれる

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