その判決前は楽し
fact1: この硬化療法は止む無いけれどそれは悪酔いでない fact2: その判決前はＯＢ臭いということはない fact3: その判決前は教育的真実である fact4: 仮に「この整理法は次期以降だということはない一方でそれは疎い」ということは誤っているならその判決前は次期以降だ fact5: 「「あのクラブチームは悪酔いであるがしかし脆くない」ということは成り立たない」ということは確かである fact6: その判決前は得難しということはない fact7: ＯＢ臭い物は楽し fact8: その判決前は悪酔いである fact9: もしも何かは次期以降ならば「えげつなくないしまた悪酔いでない」ということは事実と異なる fact10: 「仮に「その判決前はえげつないということはなくてそれは悪酔いでない」ということは誤りだとしたらあの新調は楽しということはない」ということは成り立つ fact11: そのガイはＯＢ臭い fact12: 「その判決前は遠い」ということは偽でない fact13: 仮にこの整理法が悪酔いであるとしたらその判決前はＯＢ臭い fact14: もしもこのショアーは女神達であるとしたら「それは伸び易いししかもそれはＯＢ臭くない」ということは成り立たない fact15: 「その判決前はＯＢ臭い一方で陸軍関係でない」ということは成り立たない fact16: えげつないものは悪酔いである fact17: その判決前は日本人らしいということはない fact18: もしその判決前は悪酔いだとすれば「それは楽ししＯＢ臭くない」ということは本当であるということはない fact19: 楽しということはない物はＯＢ臭くない
void -> assump1: 以下のように仮定する。その判決前は楽し; assump1 & fact2 -> int1: その判決前は楽しけどそれはＯＢ臭いということはない; fact18 & fact8 -> int2: 「その判決前は楽しがしかしＯＢ臭くない」ということは事実と異なる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その判決前は楽し
fact20 -> int4: その判決前がＯＢ臭いならそれは楽し; fact21 -> int5: この整理法がえげつないなら悪酔いである;
$facts$ = fact1: この硬化療法は止む無いけれどそれは悪酔いでない fact2: その判決前はＯＢ臭いということはない fact3: その判決前は教育的真実である fact4: 仮に「この整理法は次期以降だということはない一方でそれは疎い」ということは誤っているならその判決前は次期以降だ fact5: 「「あのクラブチームは悪酔いであるがしかし脆くない」ということは成り立たない」ということは確かである fact6: その判決前は得難しということはない fact7: ＯＢ臭い物は楽し fact8: その判決前は悪酔いである fact9: もしも何かは次期以降ならば「えげつなくないしまた悪酔いでない」ということは事実と異なる fact10: 「仮に「その判決前はえげつないということはなくてそれは悪酔いでない」ということは誤りだとしたらあの新調は楽しということはない」ということは成り立つ fact11: そのガイはＯＢ臭い fact12: 「その判決前は遠い」ということは偽でない fact13: 仮にこの整理法が悪酔いであるとしたらその判決前はＯＢ臭い fact14: もしもこのショアーは女神達であるとしたら「それは伸び易いししかもそれはＯＢ臭くない」ということは成り立たない fact15: 「その判決前はＯＢ臭い一方で陸軍関係でない」ということは成り立たない fact16: えげつないものは悪酔いである fact17: その判決前は日本人らしいということはない fact18: もしその判決前は悪酔いだとすれば「それは楽ししＯＢ臭くない」ということは本当であるということはない fact19: 楽しということはない物はＯＢ臭くない ; $hypothesis$ = その判決前は楽し ; $proof$ = 
void -> assump1: 以下のように仮定する。その判決前は楽し; assump1 & fact2 -> int1: その判決前は楽しけどそれはＯＢ臭いということはない; fact18 & fact8 -> int2: 「その判決前は楽しがしかしＯＢ臭くない」ということは事実と異なる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この硬化療法は止む無いけれどそれは悪酔いでない
事実2: その判決前はＯＢ臭いということはない
事実3: その判決前は教育的真実である
事実4: 仮に「この整理法は次期以降だということはない一方でそれは疎い」ということは誤っているならその判決前は次期以降だ
事実5: 「「あのクラブチームは悪酔いであるがしかし脆くない」ということは成り立たない」ということは確かである
事実6: その判決前は得難しということはない
事実7: ＯＢ臭い物は楽し
事実8: その判決前は悪酔いである
事実9: もしも何かは次期以降ならば「えげつなくないしまた悪酔いでない」ということは事実と異なる
事実10: 「仮に「その判決前はえげつないということはなくてそれは悪酔いでない」ということは誤りだとしたらあの新調は楽しということはない」ということは成り立つ
事実11: そのガイはＯＢ臭い
事実12: 「その判決前は遠い」ということは偽でない
事実13: 仮にこの整理法が悪酔いであるとしたらその判決前はＯＢ臭い
事実14: もしもこのショアーは女神達であるとしたら「それは伸び易いししかもそれはＯＢ臭くない」ということは成り立たない
事実15: 「その判決前はＯＢ臭い一方で陸軍関係でない」ということは成り立たない
事実16: えげつないものは悪酔いである
事実17: その判決前は日本人らしいということはない
事実18: もしその判決前は悪酔いだとすれば「それは楽ししＯＢ臭くない」ということは本当であるということはない
事実19: 楽しということはない物はＯＢ臭くない

仮説: その判決前は楽し
1. 仮定1: 以下のように仮定する。その判決前は楽し
2. 仮定1と事実2から、推論1: "その判決前は楽しけどそれはＯＢ臭いということはない"が導かれる
3. 事実18と事実8から、推論2: "「その判決前は楽しがしかしＯＢ臭くない」ということは事実と異なる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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