そのＭＤＣＴはダンス・ミュージックである
fact1: もしも効果大はあるとすれば「そのレーザーディスクは用ゆしかつ続き易い」ということは偽である fact2: もしもあの採点規則が用ゆということはないがしかし続き易いとしたらそのレーザーディスクは効果大だ fact3: あのＬ型は溢れ出るということはないしさらに快くない fact4: もしもあるものは効果大であるとしたら「そのレーザーディスクは用ゆけれどそれは続き易いということはない」ということは嘘だ fact5: もし仮にとあるものは効果大だとすれば「色物であるし更にそれはサンドしない」ということは誤っている fact6: そのレーザーディスクは効果大でない fact7: 効果大はダンス・ミュージックである fact8: もし「あのＬ型は降下するということはないけれど用ゆ」ということは偽であるとしたら「あの採点規則は用ゆない」ということは成り立つ fact9: もしも「そのレーザーディスクは用ゆけれど続き易いということはない」ということは成り立たないとしたらそのＭＤＣＴはダンス・ミュージックでない fact10: もしも「そのレーザーディスクは効果大である」ということは事実と異なるということはないならそのＭＤＣＴはダンス・ミュージックだ fact11: 仮にあるものは溢れ出るということはないならば「降下しないしまたそれは用ゆ」ということは成り立たない fact12: 「「そのレーザーディスクは用ゆし続き易い」ということは成り立たない」ということは本当だ fact13: 「続き易い」物はある fact14: 何らかのものは効果大だ fact15: 仮にそのレーザーディスクが続き易いならばあのＭＤＣＴはダンス・ミュージックであるということはない fact16: もしそのＭＤＣＴが用ゆないならばあのレーザーディスクはダンス・ミュージックでない
fact14 & fact4 -> int1: 「そのレーザーディスクは用ゆけどそれは続き易くない」ということは偽だ; int1 & fact9 -> hypothesis;
fact14 & fact4 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact9 -> hypothesis;
「あの二百四十六号線は色物であるけれどそれはサンドしない」ということは成り立たない
fact17 -> int2: もしあの二百四十六号線は効果大だとすると「色物であるし加えてサンドしない」ということは事実と異なる;
$facts$ = fact1: もしも効果大はあるとすれば「そのレーザーディスクは用ゆしかつ続き易い」ということは偽である fact2: もしもあの採点規則が用ゆということはないがしかし続き易いとしたらそのレーザーディスクは効果大だ fact3: あのＬ型は溢れ出るということはないしさらに快くない fact4: もしもあるものは効果大であるとしたら「そのレーザーディスクは用ゆけれどそれは続き易いということはない」ということは嘘だ fact5: もし仮にとあるものは効果大だとすれば「色物であるし更にそれはサンドしない」ということは誤っている fact6: そのレーザーディスクは効果大でない fact7: 効果大はダンス・ミュージックである fact8: もし「あのＬ型は降下するということはないけれど用ゆ」ということは偽であるとしたら「あの採点規則は用ゆない」ということは成り立つ fact9: もしも「そのレーザーディスクは用ゆけれど続き易いということはない」ということは成り立たないとしたらそのＭＤＣＴはダンス・ミュージックでない fact10: もしも「そのレーザーディスクは効果大である」ということは事実と異なるということはないならそのＭＤＣＴはダンス・ミュージックだ fact11: 仮にあるものは溢れ出るということはないならば「降下しないしまたそれは用ゆ」ということは成り立たない fact12: 「「そのレーザーディスクは用ゆし続き易い」ということは成り立たない」ということは本当だ fact13: 「続き易い」物はある fact14: 何らかのものは効果大だ fact15: 仮にそのレーザーディスクが続き易いならばあのＭＤＣＴはダンス・ミュージックであるということはない fact16: もしそのＭＤＣＴが用ゆないならばあのレーザーディスクはダンス・ミュージックでない ; $hypothesis$ = そのＭＤＣＴはダンス・ミュージックである ; $proof$ = 
fact14 & fact4 -> int1: 「そのレーザーディスクは用ゆけどそれは続き易くない」ということは偽だ; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: もしも効果大はあるとすれば「そのレーザーディスクは用ゆしかつ続き易い」ということは偽である
事実2: もしもあの採点規則が用ゆということはないがしかし続き易いとしたらそのレーザーディスクは効果大だ
事実3: あのＬ型は溢れ出るということはないしさらに快くない
事実4: もしもあるものは効果大であるとしたら「そのレーザーディスクは用ゆけれどそれは続き易いということはない」ということは嘘だ
事実5: もし仮にとあるものは効果大だとすれば「色物であるし更にそれはサンドしない」ということは誤っている
事実6: そのレーザーディスクは効果大でない
事実7: 効果大はダンス・ミュージックである
事実8: もし「あのＬ型は降下するということはないけれど用ゆ」ということは偽であるとしたら「あの採点規則は用ゆない」ということは成り立つ
事実9: もしも「そのレーザーディスクは用ゆけれど続き易いということはない」ということは成り立たないとしたらそのＭＤＣＴはダンス・ミュージックでない
事実10: もしも「そのレーザーディスクは効果大である」ということは事実と異なるということはないならそのＭＤＣＴはダンス・ミュージックだ
事実11: 仮にあるものは溢れ出るということはないならば「降下しないしまたそれは用ゆ」ということは成り立たない
事実12: 「「そのレーザーディスクは用ゆし続き易い」ということは成り立たない」ということは本当だ
事実13: 「続き易い」物はある
事実14: 何らかのものは効果大だ
事実15: 仮にそのレーザーディスクが続き易いならばあのＭＤＣＴはダンス・ミュージックであるということはない
事実16: もしそのＭＤＣＴが用ゆないならばあのレーザーディスクはダンス・ミュージックでない

仮説: そのＭＤＣＴはダンス・ミュージックである
1. 事実14と事実4から、推論1: "「そのレーザーディスクは用ゆけどそれは続き易くない」ということは偽だ"が導かれる
2. 推論1と事実9から、仮説が否定される

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