「「あのノーマルステップは乗り易いしそれは意思決定だ」ということは嘘である」ということは確かだ
fact1: あのノーマルステップは乗り易い fact2: あのスローガンが追跡しないとするとあの半袖は惜しみ無くないししかもそれは世界化しない fact3: もし仮になにがしかの物は日本最高でないとすると「それは乗り易いしさらにそれは意思決定である」ということは成り立つということはない fact4: 「小児発達でない」物はある fact5: 「「日本最高だ」ということは嘘でない」ものはある fact6: もしもこの新様式が惜しみ無いならあのノーマルステップは意思決定だ fact7: 仮にあの半袖が惜しみ無くないししかも世界化しないとしたらこの新様式は日本最高でない fact8: もしも「ある物はカリキュラム開発だがしかし許し難くない」ということは誤りだとすればそれは追跡するということはない fact9: もし「あの生活資料は借受証で加えて小児発達だ」ということは間違いであるならば移り難くない fact10: もしも「小児発達でない」ものはあるとすると「あの生活資料は借受証でその上小児発達である」ということは成り立たない fact11: もし「「この相殺権はカリキュラム開発であるが許し難くない」ということは偽である」ということは成り立つとしたらあのスローガンは追跡しない fact12: もし「この新様式は日本最高だということはない」ということは間違いでないとすれば「あのノーマルステップは乗り易くてかつそれは意思決定である」ということは確かでない fact13: 「あの半袖は意思決定であるが乗り易くない」ということは間違っているとしたらあのノーマルステップは惜しみ無くない fact14: 「「乗り易い」ということは偽でない」ものはある fact15: もし仮にあの半袖は追跡しないとすると「意思決定だけど乗り易くない」ということは偽である fact16: もし仮に「あの結合関係は集め易いが言い難くない」ということは事実と異なるならこの相殺権は言い難くない fact17: もし「ある物が世界化するしその上惜しみ無い」ということは間違いならばそれは日本最高でない fact18: もしこの新様式が世界化するとしたらあのノーマルステップは意思決定である fact19: もしもあるものが日本最高であるとしたらこの新様式は世界化するか惜しみ無いか両方ともだ fact20: もし仮にあのノーマルステップが日本最高だとするとこの新様式はすげない fact21: もしも「何かは言い難くない」ということは間違いでないとすれば「カリキュラム開発であるしそれは許し難くない」ということは誤りである
fact5 & fact19 -> int1: 「この新様式は世界化するかもしくは惜しみ無い」ということは本当である; int1 & fact18 & fact6 -> int2: あのノーマルステップは意思決定だ; int2 & fact1 -> hypothesis;
「すげない」物はある
fact25 -> int3: もしも「あの半袖はカリキュラム開発であるけど許し難くない」ということは成り立たないとすればそれは追跡しない;
$facts$ = fact1: あのノーマルステップは乗り易い fact2: あのスローガンが追跡しないとするとあの半袖は惜しみ無くないししかもそれは世界化しない fact3: もし仮になにがしかの物は日本最高でないとすると「それは乗り易いしさらにそれは意思決定である」ということは成り立つということはない fact4: 「小児発達でない」物はある fact5: 「「日本最高だ」ということは嘘でない」ものはある fact6: もしもこの新様式が惜しみ無いならあのノーマルステップは意思決定だ fact7: 仮にあの半袖が惜しみ無くないししかも世界化しないとしたらこの新様式は日本最高でない fact8: もしも「ある物はカリキュラム開発だがしかし許し難くない」ということは誤りだとすればそれは追跡するということはない fact9: もし「あの生活資料は借受証で加えて小児発達だ」ということは間違いであるならば移り難くない fact10: もしも「小児発達でない」ものはあるとすると「あの生活資料は借受証でその上小児発達である」ということは成り立たない fact11: もし「「この相殺権はカリキュラム開発であるが許し難くない」ということは偽である」ということは成り立つとしたらあのスローガンは追跡しない fact12: もし「この新様式は日本最高だということはない」ということは間違いでないとすれば「あのノーマルステップは乗り易くてかつそれは意思決定である」ということは確かでない fact13: 「あの半袖は意思決定であるが乗り易くない」ということは間違っているとしたらあのノーマルステップは惜しみ無くない fact14: 「「乗り易い」ということは偽でない」ものはある fact15: もし仮にあの半袖は追跡しないとすると「意思決定だけど乗り易くない」ということは偽である fact16: もし仮に「あの結合関係は集め易いが言い難くない」ということは事実と異なるならこの相殺権は言い難くない fact17: もし「ある物が世界化するしその上惜しみ無い」ということは間違いならばそれは日本最高でない fact18: もしこの新様式が世界化するとしたらあのノーマルステップは意思決定である fact19: もしもあるものが日本最高であるとしたらこの新様式は世界化するか惜しみ無いか両方ともだ fact20: もし仮にあのノーマルステップが日本最高だとするとこの新様式はすげない fact21: もしも「何かは言い難くない」ということは間違いでないとすれば「カリキュラム開発であるしそれは許し難くない」ということは誤りである ; $hypothesis$ = 「「あのノーマルステップは乗り易いしそれは意思決定だ」ということは嘘である」ということは確かだ ; $proof$ = 
fact5 & fact19 -> int1: 「この新様式は世界化するかもしくは惜しみ無い」ということは本当である; int1 & fact18 & fact6 -> int2: あのノーマルステップは意思決定だ; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: あのノーマルステップは乗り易い
事実2: あのスローガンが追跡しないとするとあの半袖は惜しみ無くないししかもそれは世界化しない
事実3: もし仮になにがしかの物は日本最高でないとすると「それは乗り易いしさらにそれは意思決定である」ということは成り立つということはない
事実4: 「小児発達でない」物はある
事実5: 「「日本最高だ」ということは嘘でない」ものはある
事実6: もしもこの新様式が惜しみ無いならあのノーマルステップは意思決定だ
事実7: 仮にあの半袖が惜しみ無くないししかも世界化しないとしたらこの新様式は日本最高でない
事実8: もしも「ある物はカリキュラム開発だがしかし許し難くない」ということは誤りだとすればそれは追跡するということはない
事実9: もし「あの生活資料は借受証で加えて小児発達だ」ということは間違いであるならば移り難くない
事実10: もしも「小児発達でない」ものはあるとすると「あの生活資料は借受証でその上小児発達である」ということは成り立たない
事実11: もし「「この相殺権はカリキュラム開発であるが許し難くない」ということは偽である」ということは成り立つとしたらあのスローガンは追跡しない
事実12: もし「この新様式は日本最高だということはない」ということは間違いでないとすれば「あのノーマルステップは乗り易くてかつそれは意思決定である」ということは確かでない
事実13: 「あの半袖は意思決定であるが乗り易くない」ということは間違っているとしたらあのノーマルステップは惜しみ無くない
事実14: 「「乗り易い」ということは偽でない」ものはある
事実15: もし仮にあの半袖は追跡しないとすると「意思決定だけど乗り易くない」ということは偽である
事実16: もし仮に「あの結合関係は集め易いが言い難くない」ということは事実と異なるならこの相殺権は言い難くない
事実17: もし「ある物が世界化するしその上惜しみ無い」ということは間違いならばそれは日本最高でない
事実18: もしこの新様式が世界化するとしたらあのノーマルステップは意思決定である
事実19: もしもあるものが日本最高であるとしたらこの新様式は世界化するか惜しみ無いか両方ともだ
事実20: もし仮にあのノーマルステップが日本最高だとするとこの新様式はすげない
事実21: もしも「何かは言い難くない」ということは間違いでないとすれば「カリキュラム開発であるしそれは許し難くない」ということは誤りである

仮説: 「「あのノーマルステップは乗り易いしそれは意思決定だ」ということは嘘である」ということは確かだ
1. 事実5と事実19から、推論1: "「この新様式は世界化するかもしくは惜しみ無い」ということは本当である"が導かれる
2. 推論1と事実18と事実6から、推論2: "あのノーマルステップは意思決定だ"が導かれる
3. 推論2と事実1から、仮説が否定される

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