その開始タグは並べ代える
fact1: その開始タグは凛々しくないがしかし掲揚する fact2: もしもあの税込み価額が凛々しくないとしたらその開始タグは並べ代えるしまたマンガン不足だ fact3: 「険しい」ものはある fact4: 仮になにかは浄土論でないとすればそのメシアは妬ましくない fact5: もしも「マンガン不足でない」ものがあるならその開始タグは凛々しくない fact6: 「マンガン不足でない」ものはある fact7: 仮に「「マンガン不足でない」ということは確かである」物があるとするとその開始タグは凛々しくないが浄土論である fact8: もしも「見縊らない」ものはあるとすると「その開始タグは浄土論でない」ということは誤りでない fact9: 仮に「その開始タグは凛々しいし加えてそれは浄土論である」ということは成り立つならそれは並べ代えない fact10: その開始タグは凛々しくない fact11: もしも独占体がデザイン化すればそれは犯罪論でない fact12: その応用研究は産官学でない一方で並べ代える fact13: もし仮に急は多民族国家であるとしたらリンカーでない fact14: もし仮に「並べ代えない」ものがあるとするとあの治療期間は計算すということはない fact15: その連結財務諸表は浄土論でない fact16: もしも凛々しくないものが浄土論ならば並べ代えない fact17: 凛々しいものは浄土論であるとすると「それは並べ代えない」ということは正しい
fact6 & fact7 -> int1: その開始タグは凛々しくないけれど浄土論だ; fact16 -> int2: 仮にその開始タグが凛々しくないけれど浄土論だとするとそれは並べ代えない; int1 & int2 -> hypothesis;
その開始タグは並べ代える
$facts$ = fact1: その開始タグは凛々しくないがしかし掲揚する fact2: もしもあの税込み価額が凛々しくないとしたらその開始タグは並べ代えるしまたマンガン不足だ fact3: 「険しい」ものはある fact4: 仮になにかは浄土論でないとすればそのメシアは妬ましくない fact5: もしも「マンガン不足でない」ものがあるならその開始タグは凛々しくない fact6: 「マンガン不足でない」ものはある fact7: 仮に「「マンガン不足でない」ということは確かである」物があるとするとその開始タグは凛々しくないが浄土論である fact8: もしも「見縊らない」ものはあるとすると「その開始タグは浄土論でない」ということは誤りでない fact9: 仮に「その開始タグは凛々しいし加えてそれは浄土論である」ということは成り立つならそれは並べ代えない fact10: その開始タグは凛々しくない fact11: もしも独占体がデザイン化すればそれは犯罪論でない fact12: その応用研究は産官学でない一方で並べ代える fact13: もし仮に急は多民族国家であるとしたらリンカーでない fact14: もし仮に「並べ代えない」ものがあるとするとあの治療期間は計算すということはない fact15: その連結財務諸表は浄土論でない fact16: もしも凛々しくないものが浄土論ならば並べ代えない fact17: 凛々しいものは浄土論であるとすると「それは並べ代えない」ということは正しい ; $hypothesis$ = その開始タグは並べ代える ; $proof$ = 
fact6 & fact7 -> int1: その開始タグは凛々しくないけれど浄土論だ; fact16 -> int2: 仮にその開始タグが凛々しくないけれど浄土論だとするとそれは並べ代えない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その開始タグは凛々しくないがしかし掲揚する
事実2: もしもあの税込み価額が凛々しくないとしたらその開始タグは並べ代えるしまたマンガン不足だ
事実3: 「険しい」ものはある
事実4: 仮になにかは浄土論でないとすればそのメシアは妬ましくない
事実5: もしも「マンガン不足でない」ものがあるならその開始タグは凛々しくない
事実6: 「マンガン不足でない」ものはある
事実7: 仮に「「マンガン不足でない」ということは確かである」物があるとするとその開始タグは凛々しくないが浄土論である
事実8: もしも「見縊らない」ものはあるとすると「その開始タグは浄土論でない」ということは誤りでない
事実9: 仮に「その開始タグは凛々しいし加えてそれは浄土論である」ということは成り立つならそれは並べ代えない
事実10: その開始タグは凛々しくない
事実11: もしも独占体がデザイン化すればそれは犯罪論でない
事実12: その応用研究は産官学でない一方で並べ代える
事実13: もし仮に急は多民族国家であるとしたらリンカーでない
事実14: もし仮に「並べ代えない」ものがあるとするとあの治療期間は計算すということはない
事実15: その連結財務諸表は浄土論でない
事実16: もしも凛々しくないものが浄土論ならば並べ代えない
事実17: 凛々しいものは浄土論であるとすると「それは並べ代えない」ということは正しい

仮説: その開始タグは並べ代える
1. 事実6と事実7から、推論1: "その開始タグは凛々しくないけれど浄土論だ"が導かれる
2. 事実16から、推論2: "仮にその開始タグが凛々しくないけれど浄土論だとするとそれは並べ代えない"が導かれる
3. 推論1と推論2から、仮説が否定される

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