そのバラエティは四十万人だ
fact1: 仮にあのパイオニアＬＤＣが老けないとすると模様替えするし敵中深い fact2: そのポップソングは四十万人である fact3: この章末問題は四十万人だ fact4: そのバラエティは透視する fact5: そのバラエティは考え易い fact6: あのパイオニアＬＤＣは老けない fact7: このドリー・アップは四十万人だ fact8: あのパイオニアＬＤＣが模様替えするし更に敵中深いならそのモバイルビジネスは模様替えしない fact9: そのバラエティは四十万人だ fact10: もしもあるものが比例案分するということはないとすると四十万人だしそれは潜脱する fact11: そのバラエティは聴取出来る fact12: なんらかのものはしゃあ無いとすれば「潜脱するかまたはそれは比例案分しないかまたは両方だ」ということは確かでない
fact9 -> hypothesis;
fact9 -> hypothesis;
そのバラエティは四十万人でない
fact14 -> int1: もし仮に「そのナイロン系はしゃあ無い」ということは確かだとすれば「それは潜脱するかもしくは比例案分しないかどちらもだ」ということは誤りだ; fact15 & fact13 -> int2: 「あのパイオニアＬＤＣは模様替えするししかも敵中深い」ということは成り立つ; fact16 & int2 -> int3: そのモバイルビジネスは模様替えしない; int3 -> int4: 「模様替えしない」物はある;
$facts$ = fact1: 仮にあのパイオニアＬＤＣが老けないとすると模様替えするし敵中深い fact2: そのポップソングは四十万人である fact3: この章末問題は四十万人だ fact4: そのバラエティは透視する fact5: そのバラエティは考え易い fact6: あのパイオニアＬＤＣは老けない fact7: このドリー・アップは四十万人だ fact8: あのパイオニアＬＤＣが模様替えするし更に敵中深いならそのモバイルビジネスは模様替えしない fact9: そのバラエティは四十万人だ fact10: もしもあるものが比例案分するということはないとすると四十万人だしそれは潜脱する fact11: そのバラエティは聴取出来る fact12: なんらかのものはしゃあ無いとすれば「潜脱するかまたはそれは比例案分しないかまたは両方だ」ということは確かでない ; $hypothesis$ = そのバラエティは四十万人だ ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 仮にあのパイオニアＬＤＣが老けないとすると模様替えするし敵中深い
事実2: そのポップソングは四十万人である
事実3: この章末問題は四十万人だ
事実4: そのバラエティは透視する
事実5: そのバラエティは考え易い
事実6: あのパイオニアＬＤＣは老けない
事実7: このドリー・アップは四十万人だ
事実8: あのパイオニアＬＤＣが模様替えするし更に敵中深いならそのモバイルビジネスは模様替えしない
事実9: そのバラエティは四十万人だ
事実10: もしもあるものが比例案分するということはないとすると四十万人だしそれは潜脱する
事実11: そのバラエティは聴取出来る
事実12: なんらかのものはしゃあ無いとすれば「潜脱するかまたはそれは比例案分しないかまたは両方だ」ということは確かでない

仮説: そのバラエティは四十万人だ
1. 事実9から、仮説が導かれる

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