この価格は日本舞踊であるということはない
fact1: 「その起床時間は日本舞踊でなくて発展計画でない」ということは成り立たない fact2: 「この価格はトリメチルアミンでないし欽定するということはない」ということは偽だ fact3: この価格は恥ずかしさだ fact4: 「この価格は蛾っこでないけれどそれは安心出来る」ということは間違いだ fact5: 「その難局は恥ずかしさだけど蛾っこでない」ということは成り立たない fact6: 「その起床時間は欽定しないしそれは有であるということはない」ということは嘘ならばそれは恥ずかしさである fact7: 「その起床時間は有だがしかし日本舞踊でない」ということは間違いだ fact8: もし仮にその起床時間が日本舞踊であるとしたらこの価格は有である fact9: この価格は有である fact10: 「「この価格は恥ずかしさでないし日本舞踊でない」ということは成り立たない」ということは確かである fact11: あのフィットネスは有だ fact12: 「この価格は日本舞踊でないしまた欽定しない」ということは偽だ fact13: その起床時間が有だとしたら恥ずかしさである fact14: 「その起床時間は欽定しない一方でそれは有だ」ということは真実でない fact15: 「その起床時間は日本舞踊でないがしかし欽定する」ということは誤っている fact16: 「その起床時間は欽定するということはない一方で塩である」ということは嘘である fact17: 仮に「その起床時間は有でなくて日本舞踊でない」ということは成り立たないならば欽定する fact18: この応募資格は有である fact19: 「その起床時間は欽定しなくてそれは有でない」ということは誤りである fact20: もしもその起床時間が恥ずかしさであるとすればこの価格は日本舞踊だ
fact6 & fact19 -> int1: その起床時間は恥ずかしさである; int1 & fact20 -> hypothesis;
fact6 & fact19 -> int1: {B}{a}; int1 & fact20 -> hypothesis;
$facts$ = fact1: 「その起床時間は日本舞踊でなくて発展計画でない」ということは成り立たない fact2: 「この価格はトリメチルアミンでないし欽定するということはない」ということは偽だ fact3: この価格は恥ずかしさだ fact4: 「この価格は蛾っこでないけれどそれは安心出来る」ということは間違いだ fact5: 「その難局は恥ずかしさだけど蛾っこでない」ということは成り立たない fact6: 「その起床時間は欽定しないしそれは有であるということはない」ということは嘘ならばそれは恥ずかしさである fact7: 「その起床時間は有だがしかし日本舞踊でない」ということは間違いだ fact8: もし仮にその起床時間が日本舞踊であるとしたらこの価格は有である fact9: この価格は有である fact10: 「「この価格は恥ずかしさでないし日本舞踊でない」ということは成り立たない」ということは確かである fact11: あのフィットネスは有だ fact12: 「この価格は日本舞踊でないしまた欽定しない」ということは偽だ fact13: その起床時間が有だとしたら恥ずかしさである fact14: 「その起床時間は欽定しない一方でそれは有だ」ということは真実でない fact15: 「その起床時間は日本舞踊でないがしかし欽定する」ということは誤っている fact16: 「その起床時間は欽定するということはない一方で塩である」ということは嘘である fact17: 仮に「その起床時間は有でなくて日本舞踊でない」ということは成り立たないならば欽定する fact18: この応募資格は有である fact19: 「その起床時間は欽定しなくてそれは有でない」ということは誤りである fact20: もしもその起床時間が恥ずかしさであるとすればこの価格は日本舞踊だ ; $hypothesis$ = この価格は日本舞踊であるということはない ; $proof$ = 
fact6 & fact19 -> int1: その起床時間は恥ずかしさである; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: 「その起床時間は日本舞踊でなくて発展計画でない」ということは成り立たない
事実2: 「この価格はトリメチルアミンでないし欽定するということはない」ということは偽だ
事実3: この価格は恥ずかしさだ
事実4: 「この価格は蛾っこでないけれどそれは安心出来る」ということは間違いだ
事実5: 「その難局は恥ずかしさだけど蛾っこでない」ということは成り立たない
事実6: 「その起床時間は欽定しないしそれは有であるということはない」ということは嘘ならばそれは恥ずかしさである
事実7: 「その起床時間は有だがしかし日本舞踊でない」ということは間違いだ
事実8: もし仮にその起床時間が日本舞踊であるとしたらこの価格は有である
事実9: この価格は有である
事実10: 「「この価格は恥ずかしさでないし日本舞踊でない」ということは成り立たない」ということは確かである
事実11: あのフィットネスは有だ
事実12: 「この価格は日本舞踊でないしまた欽定しない」ということは偽だ
事実13: その起床時間が有だとしたら恥ずかしさである
事実14: 「その起床時間は欽定しない一方でそれは有だ」ということは真実でない
事実15: 「その起床時間は日本舞踊でないがしかし欽定する」ということは誤っている
事実16: 「その起床時間は欽定するということはない一方で塩である」ということは嘘である
事実17: 仮に「その起床時間は有でなくて日本舞踊でない」ということは成り立たないならば欽定する
事実18: この応募資格は有である
事実19: 「その起床時間は欽定しなくてそれは有でない」ということは誤りである
事実20: もしもその起床時間が恥ずかしさであるとすればこの価格は日本舞踊だ

仮説: この価格は日本舞踊であるということはない
1. 事実6と事実19から、推論1: "その起床時間は恥ずかしさである"が導かれる
2. 推論1と事実20から、仮説が否定される

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