「あるものは突起しないし加えて山深くない」ということは成り立たない
fact1: 「山深くない」物はある fact2: その運動自体は抱き締めるかあるいは留め置くか両方ともである fact3: もし何らかの物が掴み難くないとすればその成就は山深くない fact4: 「突起するけれど山深いということはない」物はある fact5: その運動自体は抱き締めないかあるいは留め置くかまたは両方である fact6: もし仮に「抱き締めない」物があるならその基本は掴み難くない fact7: もしも「突起しない」物があるとしたらあのシンガポール企業は反問しない fact8: あの馬鹿垂れは留め置かない fact9: なにがしかのものは掴み難い fact10: もしも「抱き締めないか留め置くかもしくはどちらもである」物があるとするとその基本は掴み難いということはない fact11: 「戻し易いかまたは物らしいか両方な」ものはある fact12: なにがしかの物は排気しないが汚れ易い fact13: その運動自体は掴み難くないかもしくは抱き締めるかもしくは両方だ fact14: 「後らしくない」物はある fact15: 何らかのものは突起するということはないけれど山深い fact16: 「突起するということはない」物はある fact17: その運動自体は突起するということはないかまたは留め置くかどちらもだ fact18: 「終う」物はある fact19: もし仮に「抱き締めない」物があるならばあの運動自体は掴み難くない fact20: 「抱き締めるかまたは留め置く」物はある fact21: もし仮に「「掴み難くない」ということは成り立つ」物があるならその成就は突起するということはないし山深くない fact22: その成就は山深くない
fact5 -> int1: とあるものは抱き締めないかあるいは留め置くかもしくはどちらもだ; int1 & fact10 -> int2: その基本は掴み難くない; int2 -> int3: なにかは掴み難くない; int3 & fact21 -> int4: その成就は突起するということはなくてまた山深くない; int4 -> hypothesis;
$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 -> int1: とあるものは抱き締めないかあるいは留め置くかもしくはどちらもだ; int1 & fact10 -> int2: その基本は掴み難くない; int2 -> int3: なにかは掴み難くない; int3 & fact21 -> int4: その成就は突起するということはなくてまた山深くない; int4 -> 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から、推論1: "とあるものは抱き締めないかあるいは留め置くかもしくはどちらもだ"が導かれる
2. 推論1と事実10から、推論2: "その基本は掴み難くない"が導かれる
3. 推論2から、推論3: "なにかは掴み難くない"が導かれる
4. 推論3と事実21から、推論4: "その成就は突起するということはなくてまた山深くない"が導かれる
5. 推論4から、仮説が否定される

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