その少子高齢化社会は染み入らない
fact1: その少子高齢化社会は誘拐する fact2: 「あの先頭集団は直接民主主義だし加えてそれは酔い易い」ということは成り立つということはない fact3: 「あの先頭集団はすばしこいということはない一方で独り者である」ということは本当でない fact4: 「この座禅箴は海外ウエディングだ」ということは成り立つ fact5: もし仮にあの先頭集団が直接民主主義だとしたらそれは海外ウエディングである fact6: 「もし仮にあの這松が走り込むとすればあの這松は過激派だ」ということは事実だ fact7: 「あの先頭集団は染み入らないが誘拐する」ということは誤りである fact8: 「あの先頭集団は直接民主主義だということはないが酔い易い」ということは成り立たない fact9: もし「なにかは直接民主主義でないけど酔い易い」ということは嘘だとすれば「海外ウエディングである」ということは本当である fact10: とある物が直接民主主義だとするとそれは海外ウエディングだ fact11: もし仮にあるものが海外ウエディングだとすると誘拐する fact12: その少子高齢化社会は海外ウエディングであるとすると誘拐する fact13: もし仮にあの先頭集団が誘拐するとすればその少子高齢化社会は染み入る
fact9 -> int1: もし仮に「あの先頭集団は直接民主主義でないがしかし酔い易い」ということは嘘であるとしたら「それは海外ウエディングだ」ということは事実だ; int1 & fact8 -> int2: あの先頭集団は海外ウエディングである; fact11 -> int3: 仮にあの先頭集団が海外ウエディングだとすればそれは誘拐する; int2 & int3 -> int4: あの先頭集団は誘拐する; int4 & fact13 -> hypothesis;
その少子高齢化社会は染み入らない
$facts$ = fact1: その少子高齢化社会は誘拐する fact2: 「あの先頭集団は直接民主主義だし加えてそれは酔い易い」ということは成り立つということはない fact3: 「あの先頭集団はすばしこいということはない一方で独り者である」ということは本当でない fact4: 「この座禅箴は海外ウエディングだ」ということは成り立つ fact5: もし仮にあの先頭集団が直接民主主義だとしたらそれは海外ウエディングである fact6: 「もし仮にあの這松が走り込むとすればあの這松は過激派だ」ということは事実だ fact7: 「あの先頭集団は染み入らないが誘拐する」ということは誤りである fact8: 「あの先頭集団は直接民主主義だということはないが酔い易い」ということは成り立たない fact9: もし「なにかは直接民主主義でないけど酔い易い」ということは嘘だとすれば「海外ウエディングである」ということは本当である fact10: とある物が直接民主主義だとするとそれは海外ウエディングだ fact11: もし仮にあるものが海外ウエディングだとすると誘拐する fact12: その少子高齢化社会は海外ウエディングであるとすると誘拐する fact13: もし仮にあの先頭集団が誘拐するとすればその少子高齢化社会は染み入る ; $hypothesis$ = その少子高齢化社会は染み入らない ; $proof$ = 
fact9 -> int1: もし仮に「あの先頭集団は直接民主主義でないがしかし酔い易い」ということは嘘であるとしたら「それは海外ウエディングだ」ということは事実だ; int1 & fact8 -> int2: あの先頭集団は海外ウエディングである; fact11 -> int3: 仮にあの先頭集団が海外ウエディングだとすればそれは誘拐する; int2 & int3 -> int4: あの先頭集団は誘拐する; int4 & fact13 -> hypothesis; __DISPROVED__
事実1: その少子高齢化社会は誘拐する
事実2: 「あの先頭集団は直接民主主義だし加えてそれは酔い易い」ということは成り立つということはない
事実3: 「あの先頭集団はすばしこいということはない一方で独り者である」ということは本当でない
事実4: 「この座禅箴は海外ウエディングだ」ということは成り立つ
事実5: もし仮にあの先頭集団が直接民主主義だとしたらそれは海外ウエディングである
事実6: 「もし仮にあの這松が走り込むとすればあの這松は過激派だ」ということは事実だ
事実7: 「あの先頭集団は染み入らないが誘拐する」ということは誤りである
事実8: 「あの先頭集団は直接民主主義だということはないが酔い易い」ということは成り立たない
事実9: もし「なにかは直接民主主義でないけど酔い易い」ということは嘘だとすれば「海外ウエディングである」ということは本当である
事実10: とある物が直接民主主義だとするとそれは海外ウエディングだ
事実11: もし仮にあるものが海外ウエディングだとすると誘拐する
事実12: その少子高齢化社会は海外ウエディングであるとすると誘拐する
事実13: もし仮にあの先頭集団が誘拐するとすればその少子高齢化社会は染み入る

仮説: その少子高齢化社会は染み入らない
1. 事実9から、推論1: "もし仮に「あの先頭集団は直接民主主義でないがしかし酔い易い」ということは嘘であるとしたら「それは海外ウエディングだ」ということは事実だ"が導かれる
2. 推論1と事実8から、推論2: "あの先頭集団は海外ウエディングである"が導かれる
3. 事実11から、推論3: "仮にあの先頭集団が海外ウエディングだとすればそれは誘拐する"が導かれる
4. 推論2と推論3から、推論4: "あの先頭集団は誘拐する"が導かれる
5. 推論4と事実13から、仮説が否定される

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