この先頃は黒っぽい
fact1: この先頃は探れる fact2: 仮に「この先頃は取り組み易い」ということは確かならばあの不可侵条約は黒っぽい fact3: その物理的店舗は黒っぽい fact4: この不可侵条約は黒っぽいならば「この先頃は取り組み易い」ということは確かである fact5: この不可侵条約は逸らすかまたはそれは取り組み易いか両方ともだ fact6: この不可侵条約が逸らすとすればあの先頃は黒っぽい fact7: もしこの不可侵条約は取り組み易いとしたら「この先頃は黒っぽい」ということは成り立つ fact8: この不可侵条約は取り組み易いか黒っぽいかどちらもである
fact5 & fact6 & fact7 -> hypothesis;
$facts$ = fact1: この先頃は探れる fact2: 仮に「この先頃は取り組み易い」ということは確かならばあの不可侵条約は黒っぽい fact3: その物理的店舗は黒っぽい fact4: この不可侵条約は黒っぽいならば「この先頃は取り組み易い」ということは確かである fact5: この不可侵条約は逸らすかまたはそれは取り組み易いか両方ともだ fact6: この不可侵条約が逸らすとすればあの先頃は黒っぽい fact7: もしこの不可侵条約は取り組み易いとしたら「この先頃は黒っぽい」ということは成り立つ fact8: この不可侵条約は取り組み易いか黒っぽいかどちらもである ; $hypothesis$ = この先頃は黒っぽい ; $proof$ = 
fact5 & fact6 & fact7 -> hypothesis; __PROVED__
事実1: この先頃は探れる
事実2: 仮に「この先頃は取り組み易い」ということは確かならばあの不可侵条約は黒っぽい
事実3: その物理的店舗は黒っぽい
事実4: この不可侵条約は黒っぽいならば「この先頃は取り組み易い」ということは確かである
事実5: この不可侵条約は逸らすかまたはそれは取り組み易いか両方ともだ
事実6: この不可侵条約が逸らすとすればあの先頃は黒っぽい
事実7: もしこの不可侵条約は取り組み易いとしたら「この先頃は黒っぽい」ということは成り立つ
事実8: この不可侵条約は取り組み易いか黒っぽいかどちらもである

仮説: この先頃は黒っぽい
1. 事実5と事実6と事実7から、仮説が導かれる

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