あのプレゼンテーション用は読み易くなくておまけに困難さでない
fact1: 「なにかは二変数でない」ということは本当であるなら読み易くないし加えてそれは困難さであるということはない fact2: 「あのプレゼンテーション用は二変数である一方でそれは困難さでない」ということは偽だ fact3: もしもその現品が当て付けがましいということはないとするとその規制強化は二変数でない fact4: もし仮にあの世界秩序は困難さでないとすると「あのプレゼンテーション用は困難さでなくて加えてそれはポジ型ＥＢレジストでない」ということは成り立たない fact5: もし仮にその現品が二変数であるならあの世界秩序は最終決戦であるということはない fact6: もし仮になんらかのものは最終決戦だということはないとすると「それが当て付けはましくらないけれど読み易い」ということは偽だ fact7: 仮にあのプレゼンテーション用は読み易くないなら「その規制強化が読み易いけど当て付けはましくらない」ということは成り立つということはない fact8: 「あのバランス感覚は読み易くなくてそれは二変数でない」ということは事実と異なる fact9: もし何らかの物は最終決戦でないとすれば「それは当て付けがましいし加えてそれは二変数でない」ということは成り立たない fact10: もし「その規制強化が当て付けはましくらないかまたは除菌するかまたは両方である」ということは成り立たないとするとあの世界秩序はポジ型ＥＢレジストでない fact11: もし仮に「あのスプリントバックログが当て付けがましいしその上それはレッスンする」ということは成り立たないならあのバランス感覚は読み易くない fact12: 仮に何らかのものは最終決戦でないならば「除菌しないしそれにポジ型ＥＢレジストでない」ということは成り立たない fact13: 「あのプレゼンテーション用は読み易くないが困難さだ」ということは事実でない fact14: もしもあるものはレッスンしないならば「当て付けはましくらないかもしくは除菌するか両方ともである」ということは間違いだ fact15: もしもその規制強化が当て付けはましくらないとしたら「あのスプリントバックログは当て付けがましいしレッスンする」ということは事実と異なる fact16: 仮にあのプレゼンテーション用は困難さでないとしたら「それはレッスンしないししかも読み易くない」ということは真実でない fact17: その現品は二変数だ fact18: 仮に何らかのものは読み易くないとすると「当て付けがましいけれど最終決戦でない」ということは成り立たない fact19: もし仮に「あのバランス感覚は読み易くない」ということは確かであるなら「あのプレゼンテーション用は読み易いということはないししかも困難さであるということはない」ということは確かでない fact20: もし「あの世界秩序は除菌しなくてまたポジ型ＥＢレジストでない」ということは成り立たないならその規制強化は当て付けがましかない fact21: 「あのプレゼンテーション用が当て付けはましくらないし読み易くない」ということは間違っている fact22: もしあの世界秩序は当て付けがましいということはないとしたら「その規制強化が当て付けはましくらないしさらに最終決戦だということはない」ということは偽である
fact5 & fact17 -> int1: あの世界秩序は最終決戦でない; fact12 -> int2: あの世界秩序は最終決戦でないとしたら「それは除菌しなくてポジ型ＥＢレジストでない」ということは成り立たない; int1 & int2 -> int3: 「あの世界秩序は除菌しないしおまけにポジ型ＥＢレジストでない」ということは成り立たない; int3 & fact20 -> int4: その規制強化は当て付けがましかない; int4 & fact15 -> int5: 「あのスプリントバックログは当て付けがましいしレッスンする」ということは成り立たない; int5 & fact11 -> int6: あのバランス感覚は読み易くない; int6 & fact19 -> hypothesis;
あのプレゼンテーション用は読み易くなくてそれは困難さでない
fact25 -> int7: あのプレゼンテーション用が二変数であるということはないとしたらそれは読み易くないし加えて困難さでない; fact23 -> int8: もしもあのスプリントバックログはレッスンしないとすれば「それは当て付けがましいということはないかまたは除菌するかもしくは両方である」ということは成り立たない;
$facts$ = fact1: 「なにかは二変数でない」ということは本当であるなら読み易くないし加えてそれは困難さであるということはない fact2: 「あのプレゼンテーション用は二変数である一方でそれは困難さでない」ということは偽だ fact3: もしもその現品が当て付けがましいということはないとするとその規制強化は二変数でない fact4: もし仮にあの世界秩序は困難さでないとすると「あのプレゼンテーション用は困難さでなくて加えてそれはポジ型ＥＢレジストでない」ということは成り立たない fact5: もし仮にその現品が二変数であるならあの世界秩序は最終決戦であるということはない fact6: もし仮になんらかのものは最終決戦だということはないとすると「それが当て付けはましくらないけれど読み易い」ということは偽だ fact7: 仮にあのプレゼンテーション用は読み易くないなら「その規制強化が読み易いけど当て付けはましくらない」ということは成り立つということはない fact8: 「あのバランス感覚は読み易くなくてそれは二変数でない」ということは事実と異なる fact9: もし何らかの物は最終決戦でないとすれば「それは当て付けがましいし加えてそれは二変数でない」ということは成り立たない fact10: もし「その規制強化が当て付けはましくらないかまたは除菌するかまたは両方である」ということは成り立たないとするとあの世界秩序はポジ型ＥＢレジストでない fact11: もし仮に「あのスプリントバックログが当て付けがましいしその上それはレッスンする」ということは成り立たないならあのバランス感覚は読み易くない fact12: 仮に何らかのものは最終決戦でないならば「除菌しないしそれにポジ型ＥＢレジストでない」ということは成り立たない fact13: 「あのプレゼンテーション用は読み易くないが困難さだ」ということは事実でない fact14: もしもあるものはレッスンしないならば「当て付けはましくらないかもしくは除菌するか両方ともである」ということは間違いだ fact15: もしもその規制強化が当て付けはましくらないとしたら「あのスプリントバックログは当て付けがましいしレッスンする」ということは事実と異なる fact16: 仮にあのプレゼンテーション用は困難さでないとしたら「それはレッスンしないししかも読み易くない」ということは真実でない fact17: その現品は二変数だ fact18: 仮に何らかのものは読み易くないとすると「当て付けがましいけれど最終決戦でない」ということは成り立たない fact19: もし仮に「あのバランス感覚は読み易くない」ということは確かであるなら「あのプレゼンテーション用は読み易いということはないししかも困難さであるということはない」ということは確かでない fact20: もし「あの世界秩序は除菌しなくてまたポジ型ＥＢレジストでない」ということは成り立たないならその規制強化は当て付けがましかない fact21: 「あのプレゼンテーション用が当て付けはましくらないし読み易くない」ということは間違っている fact22: もしあの世界秩序は当て付けがましいということはないとしたら「その規制強化が当て付けはましくらないしさらに最終決戦だということはない」ということは偽である ; $hypothesis$ = あのプレゼンテーション用は読み易くなくておまけに困難さでない ; $proof$ = 
fact5 & fact17 -> int1: あの世界秩序は最終決戦でない; fact12 -> int2: あの世界秩序は最終決戦でないとしたら「それは除菌しなくてポジ型ＥＢレジストでない」ということは成り立たない; int1 & int2 -> int3: 「あの世界秩序は除菌しないしおまけにポジ型ＥＢレジストでない」ということは成り立たない; int3 & fact20 -> int4: その規制強化は当て付けがましかない; int4 & fact15 -> int5: 「あのスプリントバックログは当て付けがましいしレッスンする」ということは成り立たない; int5 & fact11 -> int6: あのバランス感覚は読み易くない; int6 & fact19 -> hypothesis; __DISPROVED__
事実1: 「なにかは二変数でない」ということは本当であるなら読み易くないし加えてそれは困難さであるということはない
事実2: 「あのプレゼンテーション用は二変数である一方でそれは困難さでない」ということは偽だ
事実3: もしもその現品が当て付けがましいということはないとするとその規制強化は二変数でない
事実4: もし仮にあの世界秩序は困難さでないとすると「あのプレゼンテーション用は困難さでなくて加えてそれはポジ型ＥＢレジストでない」ということは成り立たない
事実5: もし仮にその現品が二変数であるならあの世界秩序は最終決戦であるということはない
事実6: もし仮になんらかのものは最終決戦だということはないとすると「それが当て付けはましくらないけれど読み易い」ということは偽だ
事実7: 仮にあのプレゼンテーション用は読み易くないなら「その規制強化が読み易いけど当て付けはましくらない」ということは成り立つということはない
事実8: 「あのバランス感覚は読み易くなくてそれは二変数でない」ということは事実と異なる
事実9: もし何らかの物は最終決戦でないとすれば「それは当て付けがましいし加えてそれは二変数でない」ということは成り立たない
事実10: もし「その規制強化が当て付けはましくらないかまたは除菌するかまたは両方である」ということは成り立たないとするとあの世界秩序はポジ型ＥＢレジストでない
事実11: もし仮に「あのスプリントバックログが当て付けがましいしその上それはレッスンする」ということは成り立たないならあのバランス感覚は読み易くない
事実12: 仮に何らかのものは最終決戦でないならば「除菌しないしそれにポジ型ＥＢレジストでない」ということは成り立たない
事実13: 「あのプレゼンテーション用は読み易くないが困難さだ」ということは事実でない
事実14: もしもあるものはレッスンしないならば「当て付けはましくらないかもしくは除菌するか両方ともである」ということは間違いだ
事実15: もしもその規制強化が当て付けはましくらないとしたら「あのスプリントバックログは当て付けがましいしレッスンする」ということは事実と異なる
事実16: 仮にあのプレゼンテーション用は困難さでないとしたら「それはレッスンしないししかも読み易くない」ということは真実でない
事実17: その現品は二変数だ
事実18: 仮に何らかのものは読み易くないとすると「当て付けがましいけれど最終決戦でない」ということは成り立たない
事実19: もし仮に「あのバランス感覚は読み易くない」ということは確かであるなら「あのプレゼンテーション用は読み易いということはないししかも困難さであるということはない」ということは確かでない
事実20: もし「あの世界秩序は除菌しなくてまたポジ型ＥＢレジストでない」ということは成り立たないならその規制強化は当て付けがましかない
事実21: 「あのプレゼンテーション用が当て付けはましくらないし読み易くない」ということは間違っている
事実22: もしあの世界秩序は当て付けがましいということはないとしたら「その規制強化が当て付けはましくらないしさらに最終決戦だということはない」ということは偽である

仮説: あのプレゼンテーション用は読み易くなくておまけに困難さでない
1. 事実5と事実17から、推論1: "あの世界秩序は最終決戦でない"が導かれる
2. 事実12から、推論2: "あの世界秩序は最終決戦でないとしたら「それは除菌しなくてポジ型ＥＢレジストでない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「あの世界秩序は除菌しないしおまけにポジ型ＥＢレジストでない」ということは成り立たない"が導かれる
4. 推論3と事実20から、推論4: "その規制強化は当て付けがましかない"が導かれる
5. 推論4と事実15から、推論5: "「あのスプリントバックログは当て付けがましいしレッスンする」ということは成り立たない"が導かれる
6. 推論5と事実11から、推論6: "あのバランス感覚は読み易くない"が導かれる
7. 推論6と事実19から、仮説が否定される

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