「もし「あの学習効果は個性重視である」ということは正しいとしたらあの軟化はめぼしいけれど漕ぎ着けない」ということは誤っている
fact1: あの学習効果は行き届くしおまけに遜色無い fact2: もしあの学習効果が遜色無いし個性重視ならあの一ノ谷合戦はめぼしくない fact3: あの一ノ谷合戦は人間圏であるけれどそれは断りだということはない fact4: なにかは無理無いなら「それは啜り終えるししかもそれは転売でない」ということは事実と異なる fact5: あの学習効果はめぼしくて個性重視である fact6: あの学習効果がうら若しないとしたらそれは無理無いし加えて腐る fact7: もし「「あの学習効果は啜り終える一方でそれは転売でない」ということは嘘だ」ということは真実ならばサンプリングしない fact8: あの学習効果はうら若しない fact9: あの軟化は漕ぎ着けない fact10: あの学習効果は個性重視でそれにめぼしい fact11: もしあの一ノ谷合戦が遜色無くないとしたらあの学習効果はめぼしくない fact12: 仮にあの学習効果がサンプリングしないとするとこの日本歴史はめぼしいしかつ漕ぎ着ける fact13: もし仮に何らかのものはめぼしいとしたら「それは遜色無いということはないけど行き届く」ということは成り立つということはない fact14: もしあの一ノ谷合戦がめぼしいということはないならあの軟化はめぼしい一方で漕ぎ着けない fact15: その読字課題は行き届かない fact16: この立体感は個性重視だが妬ましくない fact17: あの軟化は遜色無い fact18: あの学習効果は漕ぎ着ける fact19: もしあの学習効果がめぼしいとしたらあの一ノ谷合戦は漕ぎ着けるが個性重視でない fact20: あの一ノ谷合戦は国家責任であるし近付き難い
fact1 -> int1: あの学習効果は遜色無い; void -> assump1: 以下のように仮定する。あの学習効果は個性重視だ; int1 & assump1 -> int2: あの学習効果は遜色無いししかも個性重視である; int2 & fact2 -> int3: あの一ノ谷合戦はめぼしくない; int3 & fact14 -> int4: あの軟化はめぼしいが漕ぎ着けない; [assump1] & int4 -> hypothesis;
この日本歴史は個性重視でない
fact26 -> int5: もし仮にこの日本歴史はめぼしいならば「それは遜色無くないけれど行き届く」ということは誤りだ; fact22 -> int6: あの学習効果は無理無いなら「それは啜り終えるし更にそれは転売でない」ということは誤りである; fact21 & fact23 -> int7: あの学習効果は無理無いしそれに腐る; int7 -> int8: あの学習効果は無理無い; int6 & int8 -> int9: 「あの学習効果は啜り終えるけどそれは転売でない」ということは嘘である; fact24 & int9 -> int10: あの学習効果はサンプリングしない; fact25 & int10 -> int11: この日本歴史はめぼしいしさらにそれは漕ぎ着ける; int11 -> int12: この日本歴史はめぼしい; int5 & int12 -> int13: 「この日本歴史は遜色無くない一方でそれは行き届く」ということは成り立つということはない;
$facts$ = fact1: あの学習効果は行き届くしおまけに遜色無い fact2: もしあの学習効果が遜色無いし個性重視ならあの一ノ谷合戦はめぼしくない fact3: あの一ノ谷合戦は人間圏であるけれどそれは断りだということはない fact4: なにかは無理無いなら「それは啜り終えるししかもそれは転売でない」ということは事実と異なる fact5: あの学習効果はめぼしくて個性重視である fact6: あの学習効果がうら若しないとしたらそれは無理無いし加えて腐る fact7: もし「「あの学習効果は啜り終える一方でそれは転売でない」ということは嘘だ」ということは真実ならばサンプリングしない fact8: あの学習効果はうら若しない fact9: あの軟化は漕ぎ着けない fact10: あの学習効果は個性重視でそれにめぼしい fact11: もしあの一ノ谷合戦が遜色無くないとしたらあの学習効果はめぼしくない fact12: 仮にあの学習効果がサンプリングしないとするとこの日本歴史はめぼしいしかつ漕ぎ着ける fact13: もし仮に何らかのものはめぼしいとしたら「それは遜色無いということはないけど行き届く」ということは成り立つということはない fact14: もしあの一ノ谷合戦がめぼしいということはないならあの軟化はめぼしい一方で漕ぎ着けない fact15: その読字課題は行き届かない fact16: この立体感は個性重視だが妬ましくない fact17: あの軟化は遜色無い fact18: あの学習効果は漕ぎ着ける fact19: もしあの学習効果がめぼしいとしたらあの一ノ谷合戦は漕ぎ着けるが個性重視でない fact20: あの一ノ谷合戦は国家責任であるし近付き難い ; $hypothesis$ = 「もし「あの学習効果は個性重視である」ということは正しいとしたらあの軟化はめぼしいけれど漕ぎ着けない」ということは誤っている ; $proof$ = 
fact1 -> int1: あの学習効果は遜色無い; void -> assump1: 以下のように仮定する。あの学習効果は個性重視だ; int1 & assump1 -> int2: あの学習効果は遜色無いししかも個性重視である; int2 & fact2 -> int3: あの一ノ谷合戦はめぼしくない; int3 & fact14 -> int4: あの軟化はめぼしいが漕ぎ着けない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの学習効果は行き届くしおまけに遜色無い
事実2: もしあの学習効果が遜色無いし個性重視ならあの一ノ谷合戦はめぼしくない
事実3: あの一ノ谷合戦は人間圏であるけれどそれは断りだということはない
事実4: なにかは無理無いなら「それは啜り終えるししかもそれは転売でない」ということは事実と異なる
事実5: あの学習効果はめぼしくて個性重視である
事実6: あの学習効果がうら若しないとしたらそれは無理無いし加えて腐る
事実7: もし「「あの学習効果は啜り終える一方でそれは転売でない」ということは嘘だ」ということは真実ならばサンプリングしない
事実8: あの学習効果はうら若しない
事実9: あの軟化は漕ぎ着けない
事実10: あの学習効果は個性重視でそれにめぼしい
事実11: もしあの一ノ谷合戦が遜色無くないとしたらあの学習効果はめぼしくない
事実12: 仮にあの学習効果がサンプリングしないとするとこの日本歴史はめぼしいしかつ漕ぎ着ける
事実13: もし仮に何らかのものはめぼしいとしたら「それは遜色無いということはないけど行き届く」ということは成り立つということはない
事実14: もしあの一ノ谷合戦がめぼしいということはないならあの軟化はめぼしい一方で漕ぎ着けない
事実15: その読字課題は行き届かない
事実16: この立体感は個性重視だが妬ましくない
事実17: あの軟化は遜色無い
事実18: あの学習効果は漕ぎ着ける
事実19: もしあの学習効果がめぼしいとしたらあの一ノ谷合戦は漕ぎ着けるが個性重視でない
事実20: あの一ノ谷合戦は国家責任であるし近付き難い

仮説: 「もし「あの学習効果は個性重視である」ということは正しいとしたらあの軟化はめぼしいけれど漕ぎ着けない」ということは誤っている
1. 事実1から、推論1: "あの学習効果は遜色無い"が導かれる
2. 仮定1: 以下のように仮定する。あの学習効果は個性重視だ
3. 推論1と仮定1から、推論2: "あの学習効果は遜色無いししかも個性重視である"が導かれる
4. 推論2と事実2から、推論3: "あの一ノ谷合戦はめぼしくない"が導かれる
5. 推論3と事実14から、推論4: "あの軟化はめぼしいが漕ぎ着けない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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