その終戦記念日は取り残さない
fact1: もし「何らかの物は急発進するけれど先走らない」ということは間違いだとしたら取り残さない fact2: 「あのリングアナウンサーは浅ましということはないが誦する」ということは本当だということはない fact3: 「あのリングアナウンサーは棒グラフだ」ということは成り立たないならこの日本科学未来館はけたたましい fact4: けたたましくない施行方法は誦しない fact5: もし仮にこの日本科学未来館が棒グラフでないならばその終戦記念日は施行方法でない fact6: もし「何らかの物は棒グラフでないがそれは誦する」ということは誤りであるとするとそれは誦するということはない fact7: 仮にその終戦記念日は施行方法でないならば「取り残す」ということは確かだ fact8: 「そのＭＦＣアプリケーションは探し物だということはない一方でもぐもぐする」ということは誤りだということはない fact9: もし「その終戦記念日は日記帳であるということはないしその上埒外でない」ということは成り立たないとすればそれは日記帳だ fact10: もしなにがしかのものは棒グラフであるとするとそれは浅ましないし誦するということはない fact11: 何かは棒グラフであるとしたら誦しない fact12: 「あのリングアナウンサーはマブヤーでないしかつ御若くない」ということは誤りでない fact13: もし「誦しない」ものはあるなら「この日本科学未来館は棒グラフでないがしかし誦する」ということは誤っている fact14: もしあのリングアナウンサーが棒グラフであるということはないとしたらこの日本科学未来館は棒グラフでないがけたたましい fact15: この日本科学未来館はマックスウェルでなくて追記しない fact16: あのリングアナウンサーは誦するということはない fact17: 「あのリングアナウンサーは浅ましないししかも誦しない」ということは事実と異なる fact18: この日本科学未来館はけたたましい fact19: その十七例は浅まし fact20: もしもその終戦記念日は日記帳ならば「急発進するし先走らない」ということは間違っている fact21: その終戦記念日は修飾基でない fact22: 仮にあのリングアナウンサーが棒グラフだとしたらそれは誦するということはない fact23: その終戦記念日は浅まし
fact10 -> int1: もしあのリングアナウンサーが棒グラフだとするとそれは浅ましないし誦しない; void -> assump1: 以下のように仮定する。「あのリングアナウンサーは棒グラフである」ということは確かである; int1 & assump1 -> int2: あのリングアナウンサーは浅ましないし誦しない; int2 & fact17 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのリングアナウンサーは棒グラフでない; int4 & fact14 -> int5: この日本科学未来館は棒グラフでないがしかしけたたましい; int5 -> int6: この日本科学未来館は棒グラフでない; int6 & fact5 -> int7: その終戦記念日は施行方法でない; int7 & fact7 -> hypothesis;
この日本科学未来館は誦しない
fact25 -> int8: もしも「この日本科学未来館は棒グラフでないがしかし誦する」ということは成り立たないならば誦しない; fact28 -> int9: もしその終戦記念日が施行方法であるがしかしそれがけたたましくないとしたらそれは誦するということはない; fact24 -> int10: 「その終戦記念日は急発進するけど先走らない」ということは事実と異なるとすると取り残さない;
$facts$ = fact1: もし「何らかの物は急発進するけれど先走らない」ということは間違いだとしたら取り残さない fact2: 「あのリングアナウンサーは浅ましということはないが誦する」ということは本当だということはない fact3: 「あのリングアナウンサーは棒グラフだ」ということは成り立たないならこの日本科学未来館はけたたましい fact4: けたたましくない施行方法は誦しない fact5: もし仮にこの日本科学未来館が棒グラフでないならばその終戦記念日は施行方法でない fact6: もし「何らかの物は棒グラフでないがそれは誦する」ということは誤りであるとするとそれは誦するということはない fact7: 仮にその終戦記念日は施行方法でないならば「取り残す」ということは確かだ fact8: 「そのＭＦＣアプリケーションは探し物だということはない一方でもぐもぐする」ということは誤りだということはない fact9: もし「その終戦記念日は日記帳であるということはないしその上埒外でない」ということは成り立たないとすればそれは日記帳だ fact10: もしなにがしかのものは棒グラフであるとするとそれは浅ましないし誦するということはない fact11: 何かは棒グラフであるとしたら誦しない fact12: 「あのリングアナウンサーはマブヤーでないしかつ御若くない」ということは誤りでない fact13: もし「誦しない」ものはあるなら「この日本科学未来館は棒グラフでないがしかし誦する」ということは誤っている fact14: もしあのリングアナウンサーが棒グラフであるということはないとしたらこの日本科学未来館は棒グラフでないがけたたましい fact15: この日本科学未来館はマックスウェルでなくて追記しない fact16: あのリングアナウンサーは誦するということはない fact17: 「あのリングアナウンサーは浅ましないししかも誦しない」ということは事実と異なる fact18: この日本科学未来館はけたたましい fact19: その十七例は浅まし fact20: もしもその終戦記念日は日記帳ならば「急発進するし先走らない」ということは間違っている fact21: その終戦記念日は修飾基でない fact22: 仮にあのリングアナウンサーが棒グラフだとしたらそれは誦するということはない fact23: その終戦記念日は浅まし ; $hypothesis$ = その終戦記念日は取り残さない ; $proof$ = 
fact10 -> int1: もしあのリングアナウンサーが棒グラフだとするとそれは浅ましないし誦しない; void -> assump1: 以下のように仮定する。「あのリングアナウンサーは棒グラフである」ということは確かである; int1 & assump1 -> int2: あのリングアナウンサーは浅ましないし誦しない; int2 & fact17 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのリングアナウンサーは棒グラフでない; int4 & fact14 -> int5: この日本科学未来館は棒グラフでないがしかしけたたましい; int5 -> int6: この日本科学未来館は棒グラフでない; int6 & fact5 -> int7: その終戦記念日は施行方法でない; int7 & fact7 -> hypothesis; __DISPROVED__
事実1: もし「何らかの物は急発進するけれど先走らない」ということは間違いだとしたら取り残さない
事実2: 「あのリングアナウンサーは浅ましということはないが誦する」ということは本当だということはない
事実3: 「あのリングアナウンサーは棒グラフだ」ということは成り立たないならこの日本科学未来館はけたたましい
事実4: けたたましくない施行方法は誦しない
事実5: もし仮にこの日本科学未来館が棒グラフでないならばその終戦記念日は施行方法でない
事実6: もし「何らかの物は棒グラフでないがそれは誦する」ということは誤りであるとするとそれは誦するということはない
事実7: 仮にその終戦記念日は施行方法でないならば「取り残す」ということは確かだ
事実8: 「そのＭＦＣアプリケーションは探し物だということはない一方でもぐもぐする」ということは誤りだということはない
事実9: もし「その終戦記念日は日記帳であるということはないしその上埒外でない」ということは成り立たないとすればそれは日記帳だ
事実10: もしなにがしかのものは棒グラフであるとするとそれは浅ましないし誦するということはない
事実11: 何かは棒グラフであるとしたら誦しない
事実12: 「あのリングアナウンサーはマブヤーでないしかつ御若くない」ということは誤りでない
事実13: もし「誦しない」ものはあるなら「この日本科学未来館は棒グラフでないがしかし誦する」ということは誤っている
事実14: もしあのリングアナウンサーが棒グラフであるということはないとしたらこの日本科学未来館は棒グラフでないがけたたましい
事実15: この日本科学未来館はマックスウェルでなくて追記しない
事実16: あのリングアナウンサーは誦するということはない
事実17: 「あのリングアナウンサーは浅ましないししかも誦しない」ということは事実と異なる
事実18: この日本科学未来館はけたたましい
事実19: その十七例は浅まし
事実20: もしもその終戦記念日は日記帳ならば「急発進するし先走らない」ということは間違っている
事実21: その終戦記念日は修飾基でない
事実22: 仮にあのリングアナウンサーが棒グラフだとしたらそれは誦するということはない
事実23: その終戦記念日は浅まし

仮説: その終戦記念日は取り残さない
1. 事実10から、推論1: "もしあのリングアナウンサーが棒グラフだとするとそれは浅ましないし誦しない"が導かれる
2. 仮定1: 以下のように仮定する。「あのリングアナウンサーは棒グラフである」ということは確かである
3. 推論1と仮定1から、推論2: "あのリングアナウンサーは浅ましないし誦しない"が導かれる
4. 推論2と事実17から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのリングアナウンサーは棒グラフでない"が導かれる
6. 推論4と事実14から、推論5: "この日本科学未来館は棒グラフでないがしかしけたたましい"が導かれる
7. 推論5から、推論6: "この日本科学未来館は棒グラフでない"が導かれる
8. 推論6と事実5から、推論7: "その終戦記念日は施行方法でない"が導かれる
9. 推論7と事実7から、仮説が否定される

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