あのセレクターはＳ字フックである
fact1: この千円札が五歳階級別人口だしさらにそれは繋がり易い fact2: この千円札は五歳階級別人口であるとすると「この仕事は刳り抜く」ということは成り立つ fact3: そのクールさはＳ字フックだ fact4: この仕事が刳り抜けばそのクールさは最新型である fact5: もし仮にそのクールさが最新型であるとしたらあのセレクターはＳ字フックである fact6: この千円札は資金調達額だ
fact1 -> int1: この千円札は五歳階級別人口だ; int1 & fact2 -> int2: この仕事は刳り抜く; int2 & fact4 -> int3: そのクールさは最新型である; int3 & fact5 -> hypothesis;
$facts$ = fact1: この千円札が五歳階級別人口だしさらにそれは繋がり易い fact2: この千円札は五歳階級別人口であるとすると「この仕事は刳り抜く」ということは成り立つ fact3: そのクールさはＳ字フックだ fact4: この仕事が刳り抜けばそのクールさは最新型である fact5: もし仮にそのクールさが最新型であるとしたらあのセレクターはＳ字フックである fact6: この千円札は資金調達額だ ; $hypothesis$ = あのセレクターはＳ字フックである ; $proof$ = 
fact1 -> int1: この千円札は五歳階級別人口だ; int1 & fact2 -> int2: この仕事は刳り抜く; int2 & fact4 -> int3: そのクールさは最新型である; int3 & fact5 -> hypothesis; __PROVED__
事実1: この千円札が五歳階級別人口だしさらにそれは繋がり易い
事実2: この千円札は五歳階級別人口であるとすると「この仕事は刳り抜く」ということは成り立つ
事実3: そのクールさはＳ字フックだ
事実4: この仕事が刳り抜けばそのクールさは最新型である
事実5: もし仮にそのクールさが最新型であるとしたらあのセレクターはＳ字フックである
事実6: この千円札は資金調達額だ

仮説: あのセレクターはＳ字フックである
1. 事実1から、推論1: "この千円札は五歳階級別人口だ"が導かれる
2. 推論1と事実2から、推論2: "この仕事は刳り抜く"が導かれる
3. 推論2と事実4から、推論3: "そのクールさは最新型である"が導かれる
4. 推論3と事実5から、仮説が導かれる

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