もしあの際が沸騰しないけど愚物であるならばそれは冠しない
fact1: ある物は沸騰しないが愚物なら冠しない fact2: 仮になにがしかの物が沸騰しないけどそれは愚物であるならそれは冠する fact3: もし仮にとある物は押っ放り出さないけれど話し易いならば文武王であるということはない fact4: 「仮にあの際が沸騰しないがしかし愚物だとしたらあの際は冠する」ということは正しい fact5: 極まり悪くないし更にちっちゃいものは馬王堆本甲・乙でない fact6: もしもあの際が沸騰するし加えて愚物であるならそれは冠しない fact7: 仮になにがしかの物は沸騰するしその上愚物であるなら冠しない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: ある物は沸騰しないが愚物なら冠しない fact2: 仮になにがしかの物が沸騰しないけどそれは愚物であるならそれは冠する fact3: もし仮にとある物は押っ放り出さないけれど話し易いならば文武王であるということはない fact4: 「仮にあの際が沸騰しないがしかし愚物だとしたらあの際は冠する」ということは正しい fact5: 極まり悪くないし更にちっちゃいものは馬王堆本甲・乙でない fact6: もしもあの際が沸騰するし加えて愚物であるならそれは冠しない fact7: 仮になにがしかの物は沸騰するしその上愚物であるなら冠しない ; $hypothesis$ = もしあの際が沸騰しないけど愚物であるならばそれは冠しない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: ある物は沸騰しないが愚物なら冠しない
事実2: 仮になにがしかの物が沸騰しないけどそれは愚物であるならそれは冠する
事実3: もし仮にとある物は押っ放り出さないけれど話し易いならば文武王であるということはない
事実4: 「仮にあの際が沸騰しないがしかし愚物だとしたらあの際は冠する」ということは正しい
事実5: 極まり悪くないし更にちっちゃいものは馬王堆本甲・乙でない
事実6: もしもあの際が沸騰するし加えて愚物であるならそれは冠しない
事実7: 仮になにがしかの物は沸騰するしその上愚物であるなら冠しない

仮説: もしあの際が沸騰しないけど愚物であるならばそれは冠しない
1. 事実1から、仮説が導かれる

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