「仮に下げ止まらないなら痛ましくない」ものはある
fact1: もし仮にこの永久欠番が下げ止まるということはないとしたらそれは色香だということはない fact2: もしこの永久欠番は下げ止まらないとすれば「それは痛ましくない」ということは確かである fact3: もしこの永久欠番が下げ止まるということはないとすればそれは痛ましい fact4: 堅苦しくないものは八等分しない fact5: 「もし拝めるならアクセスし易いということはない」物はある fact6: 「もし動揺し始めるとしたら徒らっぽくない」物はある fact7: 「もしも下げ止まらないなら痛ましい」物はある
fact2 -> hypothesis;
「もし仮に堅苦しくないならば「八等分しない」ということは成り立つ」物はある
fact8 -> int1: そのイースト発酵が堅苦しくないとするとそれは八等分するということはない; int1 -> hypothesis;
$facts$ = fact1: もし仮にこの永久欠番が下げ止まるということはないとしたらそれは色香だということはない fact2: もしこの永久欠番は下げ止まらないとすれば「それは痛ましくない」ということは確かである fact3: もしこの永久欠番が下げ止まるということはないとすればそれは痛ましい fact4: 堅苦しくないものは八等分しない fact5: 「もし拝めるならアクセスし易いということはない」物はある fact6: 「もし動揺し始めるとしたら徒らっぽくない」物はある fact7: 「もしも下げ止まらないなら痛ましい」物はある ; $hypothesis$ = 「仮に下げ止まらないなら痛ましくない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮にこの永久欠番が下げ止まるということはないとしたらそれは色香だということはない
事実2: もしこの永久欠番は下げ止まらないとすれば「それは痛ましくない」ということは確かである
事実3: もしこの永久欠番が下げ止まるということはないとすればそれは痛ましい
事実4: 堅苦しくないものは八等分しない
事実5: 「もし拝めるならアクセスし易いということはない」物はある
事実6: 「もし動揺し始めるとしたら徒らっぽくない」物はある
事実7: 「もしも下げ止まらないなら痛ましい」物はある

仮説: 「仮に下げ止まらないなら痛ましくない」ものはある
1. 事実2から、仮説が導かれる

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