その勉強は運び易いということはない
fact1: 「運び易い」ものがあるとしたらこの日本版ＬＬＰは華々しくないしさらにがらんとしない fact2: もしもこの日本版ＬＬＰが横筋でないか華々しいかまたは両方であるならばその勉強は運び易くない fact3: なんらかのものは濃度勾配だ fact4: 「横筋である」物はある fact5: もし仮にこの日本版ＬＬＰは華々しくないけれどがらんとするとすれば「その勉強は運び易い」ということは成り立つ fact6: この日本版ＬＬＰはがらんとしないしそれに引き摺らない fact7: もしあの動物実験ががらんとするならばあの日本版ＬＬＰは横筋でないかあるいは華々しいかもしくはどちらもだ fact8: もし「がらんとする」ものがあればこの日本版ＬＬＰは華々しくない fact9: もしこの醜男ががらんとすればあの動物実験はがらんとする fact10: もし仮に「なにかは華々しくてそれは横筋である」ということは間違っていればそれは運び易くない fact11: もしこの傍聴人が中攻隊でないとしたらこの一般化固有値問題はちっちゃくないしまた馬面であるということはない fact12: もし仮にこの一般化固有値問題がちっちゃくないとするとこの明け暮れは判別し易い一方でそれは流用出来ない fact13: この日本版ＬＬＰはがらんとしない fact14: もしも何らかの物は判別し易いがしかし流用出来ないとしたらそれは打ち難い fact15: 仮に「何らかの物は握り易いということはないけど挿入場所である」ということは偽だとすると挿入場所でない fact16: この日本版ＬＬＰが華々しくないし更にがらんとしないならばその勉強は運び易い fact17: 「横筋である」ものがあるならこの日本版ＬＬＰは華々しくないし更にそれはがらんとしない fact18: もし「打ち難い」物があるならばあの幕臣は馬鹿馬鹿しかない fact19: 仮に「濃度勾配な」物があればこの傍聴人は中攻隊だということはない fact20: もし「何らかのものは横筋である」ということは真実ならばこの日本版ＬＬＰはがらんとしない fact21: もしも何かは馬鹿馬鹿しかないとすると「「握り易くなくて挿入場所だ」ということは確かである」ということは誤りである
fact4 & fact17 -> int1: この日本版ＬＬＰは華々しくないし更にがらんとしない; int1 & fact16 -> hypothesis;
fact4 & fact17 -> int1: (¬{B}{a} & ¬{C}{a}); int1 & fact16 -> hypothesis;
その勉強は運び易くない
fact22 -> int2: もしも「その勉強は華々しくて加えてそれは横筋である」ということは誤っているとしたら「運び易くない」ということは成り立つ;
$facts$ = fact1: 「運び易い」ものがあるとしたらこの日本版ＬＬＰは華々しくないしさらにがらんとしない fact2: もしもこの日本版ＬＬＰが横筋でないか華々しいかまたは両方であるならばその勉強は運び易くない fact3: なんらかのものは濃度勾配だ fact4: 「横筋である」物はある fact5: もし仮にこの日本版ＬＬＰは華々しくないけれどがらんとするとすれば「その勉強は運び易い」ということは成り立つ fact6: この日本版ＬＬＰはがらんとしないしそれに引き摺らない fact7: もしあの動物実験ががらんとするならばあの日本版ＬＬＰは横筋でないかあるいは華々しいかもしくはどちらもだ fact8: もし「がらんとする」ものがあればこの日本版ＬＬＰは華々しくない fact9: もしこの醜男ががらんとすればあの動物実験はがらんとする fact10: もし仮に「なにかは華々しくてそれは横筋である」ということは間違っていればそれは運び易くない fact11: もしこの傍聴人が中攻隊でないとしたらこの一般化固有値問題はちっちゃくないしまた馬面であるということはない fact12: もし仮にこの一般化固有値問題がちっちゃくないとするとこの明け暮れは判別し易い一方でそれは流用出来ない fact13: この日本版ＬＬＰはがらんとしない fact14: もしも何らかの物は判別し易いがしかし流用出来ないとしたらそれは打ち難い fact15: 仮に「何らかの物は握り易いということはないけど挿入場所である」ということは偽だとすると挿入場所でない fact16: この日本版ＬＬＰが華々しくないし更にがらんとしないならばその勉強は運び易い fact17: 「横筋である」ものがあるならこの日本版ＬＬＰは華々しくないし更にそれはがらんとしない fact18: もし「打ち難い」物があるならばあの幕臣は馬鹿馬鹿しかない fact19: 仮に「濃度勾配な」物があればこの傍聴人は中攻隊だということはない fact20: もし「何らかのものは横筋である」ということは真実ならばこの日本版ＬＬＰはがらんとしない fact21: もしも何かは馬鹿馬鹿しかないとすると「「握り易くなくて挿入場所だ」ということは確かである」ということは誤りである ; $hypothesis$ = その勉強は運び易いということはない ; $proof$ = 
fact4 & fact17 -> int1: この日本版ＬＬＰは華々しくないし更にがらんとしない; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: 「運び易い」ものがあるとしたらこの日本版ＬＬＰは華々しくないしさらにがらんとしない
事実2: もしもこの日本版ＬＬＰが横筋でないか華々しいかまたは両方であるならばその勉強は運び易くない
事実3: なんらかのものは濃度勾配だ
事実4: 「横筋である」物はある
事実5: もし仮にこの日本版ＬＬＰは華々しくないけれどがらんとするとすれば「その勉強は運び易い」ということは成り立つ
事実6: この日本版ＬＬＰはがらんとしないしそれに引き摺らない
事実7: もしあの動物実験ががらんとするならばあの日本版ＬＬＰは横筋でないかあるいは華々しいかもしくはどちらもだ
事実8: もし「がらんとする」ものがあればこの日本版ＬＬＰは華々しくない
事実9: もしこの醜男ががらんとすればあの動物実験はがらんとする
事実10: もし仮に「なにかは華々しくてそれは横筋である」ということは間違っていればそれは運び易くない
事実11: もしこの傍聴人が中攻隊でないとしたらこの一般化固有値問題はちっちゃくないしまた馬面であるということはない
事実12: もし仮にこの一般化固有値問題がちっちゃくないとするとこの明け暮れは判別し易い一方でそれは流用出来ない
事実13: この日本版ＬＬＰはがらんとしない
事実14: もしも何らかの物は判別し易いがしかし流用出来ないとしたらそれは打ち難い
事実15: 仮に「何らかの物は握り易いということはないけど挿入場所である」ということは偽だとすると挿入場所でない
事実16: この日本版ＬＬＰが華々しくないし更にがらんとしないならばその勉強は運び易い
事実17: 「横筋である」ものがあるならこの日本版ＬＬＰは華々しくないし更にそれはがらんとしない
事実18: もし「打ち難い」物があるならばあの幕臣は馬鹿馬鹿しかない
事実19: 仮に「濃度勾配な」物があればこの傍聴人は中攻隊だということはない
事実20: もし「何らかのものは横筋である」ということは真実ならばこの日本版ＬＬＰはがらんとしない
事実21: もしも何かは馬鹿馬鹿しかないとすると「「握り易くなくて挿入場所だ」ということは確かである」ということは誤りである

仮説: その勉強は運び易いということはない
1. 事実4と事実17から、推論1: "この日本版ＬＬＰは華々しくないし更にがらんとしない"が導かれる
2. 推論1と事実16から、仮説が否定される

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