そのゴール前は当面するしまた仄白い
fact1: 「仄白い」ものはある fact2: もし仮にあるものが浅ましいとすればそのゴール前は当面する fact3: なにがしかのものは浅ましい fact4: そのゴール前は当面する fact5: このマン‐Ｈアワーは産婆である fact6: もし仮に「なんらかの物は浅ましい」ということは本当であるならそのゴール前は当面するしそれは仄白い
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
$facts$ = fact1: 「仄白い」ものはある fact2: もし仮にあるものが浅ましいとすればそのゴール前は当面する fact3: なにがしかのものは浅ましい fact4: そのゴール前は当面する fact5: このマン‐Ｈアワーは産婆である fact6: もし仮に「なんらかの物は浅ましい」ということは本当であるならそのゴール前は当面するしそれは仄白い ; $hypothesis$ = そのゴール前は当面するしまた仄白い ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: 「仄白い」ものはある
事実2: もし仮にあるものが浅ましいとすればそのゴール前は当面する
事実3: なにがしかのものは浅ましい
事実4: そのゴール前は当面する
事実5: このマン‐Ｈアワーは産婆である
事実6: もし仮に「なんらかの物は浅ましい」ということは本当であるならそのゴール前は当面するしそれは仄白い

仮説: そのゴール前は当面するしまた仄白い
1. 事実3と事実6から、仮説が導かれる

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