「この冪乗傾斜因子パターンは御活躍するということはない」ということは事実である
fact1: 「この指名委員会は御活躍する」ということは真実だ fact2: あの新規本は崇め奉る fact3: あの新規本がセレクト出来るならばあの冪乗傾斜因子パターンは御活躍する fact4: もしその堅陣は崇め奉らなくてかつ仲睦まじくないならばそれはフィルムメイカーでない fact5: あの部分毎は覚え難いし加えて崇め奉る fact6: もし仮にその堅陣がすばしっこくないとすればあの新規本はセレクト出来るしそれはフィルムメイカーである fact7: その堅陣は崇め奉らなくて仲睦まじくない fact8: もしもその堅陣がフィルムメイカーでないならあの新規本はすばしっこいしセレクト出来る fact9: この冪乗傾斜因子パターンは仲睦まじくない fact10: もしもあの新規本は御活躍しなくてしかもすばしっこくないとするとフィルムメイカーでない fact11: もしもその堅陣が仲睦まじくないならあの新規本はすばしっこいし御活躍する fact12: もしもあの新規本が仲睦まじくないとすればその堅陣はフィルムメイカーであるしかつセレクト出来る fact13: あの生焼きは崇め奉るし十時頃である fact14: 仮にこの冪乗傾斜因子パターンが崇め奉らないならあの新規本がすばしっこいしその上それは御活躍する
fact4 & fact7 -> int1: その堅陣はフィルムメイカーでない; int1 & fact8 -> int2: あの新規本はすばしっこいしセレクト出来る; int2 -> int3: あの新規本はセレクト出来る; int3 & fact3 -> hypothesis;
$facts$ = fact1: 「この指名委員会は御活躍する」ということは真実だ fact2: あの新規本は崇め奉る fact3: あの新規本がセレクト出来るならばあの冪乗傾斜因子パターンは御活躍する fact4: もしその堅陣は崇め奉らなくてかつ仲睦まじくないならばそれはフィルムメイカーでない fact5: あの部分毎は覚え難いし加えて崇め奉る fact6: もし仮にその堅陣がすばしっこくないとすればあの新規本はセレクト出来るしそれはフィルムメイカーである fact7: その堅陣は崇め奉らなくて仲睦まじくない fact8: もしもその堅陣がフィルムメイカーでないならあの新規本はすばしっこいしセレクト出来る fact9: この冪乗傾斜因子パターンは仲睦まじくない fact10: もしもあの新規本は御活躍しなくてしかもすばしっこくないとするとフィルムメイカーでない fact11: もしもその堅陣が仲睦まじくないならあの新規本はすばしっこいし御活躍する fact12: もしもあの新規本が仲睦まじくないとすればその堅陣はフィルムメイカーであるしかつセレクト出来る fact13: あの生焼きは崇め奉るし十時頃である fact14: 仮にこの冪乗傾斜因子パターンが崇め奉らないならあの新規本がすばしっこいしその上それは御活躍する ; $hypothesis$ = 「この冪乗傾斜因子パターンは御活躍するということはない」ということは事実である ; $proof$ = 
fact4 & fact7 -> int1: その堅陣はフィルムメイカーでない; int1 & fact8 -> int2: あの新規本はすばしっこいしセレクト出来る; int2 -> int3: あの新規本はセレクト出来る; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 「この指名委員会は御活躍する」ということは真実だ
事実2: あの新規本は崇め奉る
事実3: あの新規本がセレクト出来るならばあの冪乗傾斜因子パターンは御活躍する
事実4: もしその堅陣は崇め奉らなくてかつ仲睦まじくないならばそれはフィルムメイカーでない
事実5: あの部分毎は覚え難いし加えて崇め奉る
事実6: もし仮にその堅陣がすばしっこくないとすればあの新規本はセレクト出来るしそれはフィルムメイカーである
事実7: その堅陣は崇め奉らなくて仲睦まじくない
事実8: もしもその堅陣がフィルムメイカーでないならあの新規本はすばしっこいしセレクト出来る
事実9: この冪乗傾斜因子パターンは仲睦まじくない
事実10: もしもあの新規本は御活躍しなくてしかもすばしっこくないとするとフィルムメイカーでない
事実11: もしもその堅陣が仲睦まじくないならあの新規本はすばしっこいし御活躍する
事実12: もしもあの新規本が仲睦まじくないとすればその堅陣はフィルムメイカーであるしかつセレクト出来る
事実13: あの生焼きは崇め奉るし十時頃である
事実14: 仮にこの冪乗傾斜因子パターンが崇め奉らないならあの新規本がすばしっこいしその上それは御活躍する

仮説: 「この冪乗傾斜因子パターンは御活躍するということはない」ということは事実である
1. 事実4と事実7から、推論1: "その堅陣はフィルムメイカーでない"が導かれる
2. 推論1と事実8から、推論2: "あの新規本はすばしっこいしセレクト出来る"が導かれる
3. 推論2から、推論3: "あの新規本はセレクト出来る"が導かれる
4. 推論3と事実3から、仮説が否定される

よって、仮説が否定されました。