「その贈り名は商いである」ということは確かだ
fact1: そのＰＨＯは燃え始める fact2: その躍動は商いである fact3: 「この各業界は商いでない」ということは成り立たない fact4: その贈り名は忠義だ fact5: 「あの加入対象は商いである」ということは成り立つ fact6: この自学ノートは商いである fact7: もし「あの手編は当該課しないが強制収容所である」ということは成り立たないとすればその贈り名は当該課しない fact8: その贈り名は暴落である fact9: その贈り名は商いだ fact10: その贈り名は繁盛する fact11: その贈り名は濃い fact12: もし仮になにかは繁盛しないならそれは商いでかつ当該課する fact13: その贈り名は乗り易い fact14: 何らかのものが当該課しないとすればそれは商いでない fact15: そのＰＨＯは商いだ fact16: その贈り名は弥生である fact17: この破壊活動勢力は商いである fact18: この出稼ぎ者は商いである fact19: その贈り名は理論展開である
fact9 -> hypothesis;
fact9 -> hypothesis;
この商習慣は商いだ
fact20 -> int1: 「もしこの商習慣が繁盛するということはないならこの商習慣は商いでそれは当該課する」ということは成り立つ;
$facts$ = fact1: そのＰＨＯは燃え始める fact2: その躍動は商いである fact3: 「この各業界は商いでない」ということは成り立たない fact4: その贈り名は忠義だ fact5: 「あの加入対象は商いである」ということは成り立つ fact6: この自学ノートは商いである fact7: もし「あの手編は当該課しないが強制収容所である」ということは成り立たないとすればその贈り名は当該課しない fact8: その贈り名は暴落である fact9: その贈り名は商いだ fact10: その贈り名は繁盛する fact11: その贈り名は濃い fact12: もし仮になにかは繁盛しないならそれは商いでかつ当該課する fact13: その贈り名は乗り易い fact14: 何らかのものが当該課しないとすればそれは商いでない fact15: そのＰＨＯは商いだ fact16: その贈り名は弥生である fact17: この破壊活動勢力は商いである fact18: この出稼ぎ者は商いである fact19: その贈り名は理論展開である ; $hypothesis$ = 「その贈り名は商いである」ということは確かだ ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: そのＰＨＯは燃え始める
事実2: その躍動は商いである
事実3: 「この各業界は商いでない」ということは成り立たない
事実4: その贈り名は忠義だ
事実5: 「あの加入対象は商いである」ということは成り立つ
事実6: この自学ノートは商いである
事実7: もし「あの手編は当該課しないが強制収容所である」ということは成り立たないとすればその贈り名は当該課しない
事実8: その贈り名は暴落である
事実9: その贈り名は商いだ
事実10: その贈り名は繁盛する
事実11: その贈り名は濃い
事実12: もし仮になにかは繁盛しないならそれは商いでかつ当該課する
事実13: その贈り名は乗り易い
事実14: 何らかのものが当該課しないとすればそれは商いでない
事実15: そのＰＨＯは商いだ
事実16: その贈り名は弥生である
事実17: この破壊活動勢力は商いである
事実18: この出稼ぎ者は商いである
事実19: その贈り名は理論展開である

仮説: 「その贈り名は商いである」ということは確かだ
1. 事実9から、仮説が導かれる

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