あのブックファイルは起こり易い
fact1: 淀み無いしその上起こり易い物はある fact2: 「このＲ／Ｓはどうして行けるがしかしそれは一撃しない」ということは成り立たない fact3: 仮に仕様事無しが当て嵌めるならばあのブックファイルは起こり易くない fact4: もし仮にこのＲ／Ｓが入り難いとすればあの研究手法は入り難い fact5: 仮に「なんらかの物はどうして行けないしそれは一撃しない」ということは成り立たないとするとそれは仕様事無しだ fact6: もし仮にあの研究手法が入り難いかまたは淀み無いということはないかもしくは両方ともだとすればこのＲ／Ｓは当て嵌める fact7: 「このＲ／Ｓはどうして行けるということはないしさらに一撃しない」ということは偽である fact8: もしも何かは起こり易いならば淀み無い fact9: 「貧する」物はある fact10: 「探索す」物はある fact11: もし仮にあのマルディ・グラが淀み無くなくてその上中共軍でないとすればあのブックファイルは起こり易い fact12: あのマルディ・グラは中共軍であるしまた淀み無い fact13: 「あの研究手法は入り難い」ということは真実ならあのマルディ・グラは淀み無くないしその上中共軍でない fact14: あのマルディ・グラは一撃するか仕様事無しでないかもしくは両方ともだとすると「このＲ／Ｓは淀み無い」ということは成り立つ fact15: 仮に何かはどうして行けるとすると「仕様事無しである」ということは正しい fact16: もしもあのマルディ・グラが淀み無いとするとあの研究手法は入り難いかまたは淀み無いということはない fact17: このＲ／Ｓは淀み無いしかつしがない
fact12 -> int1: あのマルディ・グラは淀み無い; int1 & fact16 -> int2: あの研究手法は入り難いかまたは淀み無いということはないかもしくは両方ともだ; int2 & fact6 -> int3: 「このＲ／Ｓは当て嵌める」ということは本当だ; fact5 -> int4: もし仮に「このＲ／Ｓはどうして行けないしおまけに一撃しない」ということは誤りだとすれば仕様事無しである; fact7 & int4 -> int5: このＲ／Ｓは仕様事無しである; int3 & int5 -> int6: このＲ／Ｓは仕様事無しであるし当て嵌める; int6 -> int7: 「「仕様事無しであるし当て嵌める」ということは本当な」ものはある; int7 & fact3 -> hypothesis;
あのブックファイルは起こり易い
$facts$ = fact1: 淀み無いしその上起こり易い物はある fact2: 「このＲ／Ｓはどうして行けるがしかしそれは一撃しない」ということは成り立たない fact3: 仮に仕様事無しが当て嵌めるならばあのブックファイルは起こり易くない fact4: もし仮にこのＲ／Ｓが入り難いとすればあの研究手法は入り難い fact5: 仮に「なんらかの物はどうして行けないしそれは一撃しない」ということは成り立たないとするとそれは仕様事無しだ fact6: もし仮にあの研究手法が入り難いかまたは淀み無いということはないかもしくは両方ともだとすればこのＲ／Ｓは当て嵌める fact7: 「このＲ／Ｓはどうして行けるということはないしさらに一撃しない」ということは偽である fact8: もしも何かは起こり易いならば淀み無い fact9: 「貧する」物はある fact10: 「探索す」物はある fact11: もし仮にあのマルディ・グラが淀み無くなくてその上中共軍でないとすればあのブックファイルは起こり易い fact12: あのマルディ・グラは中共軍であるしまた淀み無い fact13: 「あの研究手法は入り難い」ということは真実ならあのマルディ・グラは淀み無くないしその上中共軍でない fact14: あのマルディ・グラは一撃するか仕様事無しでないかもしくは両方ともだとすると「このＲ／Ｓは淀み無い」ということは成り立つ fact15: 仮に何かはどうして行けるとすると「仕様事無しである」ということは正しい fact16: もしもあのマルディ・グラが淀み無いとするとあの研究手法は入り難いかまたは淀み無いということはない fact17: このＲ／Ｓは淀み無いしかつしがない ; $hypothesis$ = あのブックファイルは起こり易い ; $proof$ = 
fact12 -> int1: あのマルディ・グラは淀み無い; int1 & fact16 -> int2: あの研究手法は入り難いかまたは淀み無いということはないかもしくは両方ともだ; int2 & fact6 -> int3: 「このＲ／Ｓは当て嵌める」ということは本当だ; fact5 -> int4: もし仮に「このＲ／Ｓはどうして行けないしおまけに一撃しない」ということは誤りだとすれば仕様事無しである; fact7 & int4 -> int5: このＲ／Ｓは仕様事無しである; int3 & int5 -> int6: このＲ／Ｓは仕様事無しであるし当て嵌める; int6 -> int7: 「「仕様事無しであるし当て嵌める」ということは本当な」ものはある; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: 淀み無いしその上起こり易い物はある
事実2: 「このＲ／Ｓはどうして行けるがしかしそれは一撃しない」ということは成り立たない
事実3: 仮に仕様事無しが当て嵌めるならばあのブックファイルは起こり易くない
事実4: もし仮にこのＲ／Ｓが入り難いとすればあの研究手法は入り難い
事実5: 仮に「なんらかの物はどうして行けないしそれは一撃しない」ということは成り立たないとするとそれは仕様事無しだ
事実6: もし仮にあの研究手法が入り難いかまたは淀み無いということはないかもしくは両方ともだとすればこのＲ／Ｓは当て嵌める
事実7: 「このＲ／Ｓはどうして行けるということはないしさらに一撃しない」ということは偽である
事実8: もしも何かは起こり易いならば淀み無い
事実9: 「貧する」物はある
事実10: 「探索す」物はある
事実11: もし仮にあのマルディ・グラが淀み無くなくてその上中共軍でないとすればあのブックファイルは起こり易い
事実12: あのマルディ・グラは中共軍であるしまた淀み無い
事実13: 「あの研究手法は入り難い」ということは真実ならあのマルディ・グラは淀み無くないしその上中共軍でない
事実14: あのマルディ・グラは一撃するか仕様事無しでないかもしくは両方ともだとすると「このＲ／Ｓは淀み無い」ということは成り立つ
事実15: 仮に何かはどうして行けるとすると「仕様事無しである」ということは正しい
事実16: もしもあのマルディ・グラが淀み無いとするとあの研究手法は入り難いかまたは淀み無いということはない
事実17: このＲ／Ｓは淀み無いしかつしがない

仮説: あのブックファイルは起こり易い
1. 事実12から、推論1: "あのマルディ・グラは淀み無い"が導かれる
2. 推論1と事実16から、推論2: "あの研究手法は入り難いかまたは淀み無いということはないかもしくは両方ともだ"が導かれる
3. 推論2と事実6から、推論3: "「このＲ／Ｓは当て嵌める」ということは本当だ"が導かれる
4. 事実5から、推論4: "もし仮に「このＲ／Ｓはどうして行けないしおまけに一撃しない」ということは誤りだとすれば仕様事無しである"が導かれる
5. 事実7と推論4から、推論5: "このＲ／Ｓは仕様事無しである"が導かれる
6. 推論3と推論5から、推論6: "このＲ／Ｓは仕様事無しであるし当て嵌める"が導かれる
7. 推論6から、推論7: "「「仕様事無しであるし当て嵌める」ということは本当な」ものはある"が導かれる
8. 推論7と事実3から、仮説が否定される

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