その室内装飾は乗り難い
fact1: 「もしもその左足は転がり落ちないとすれば「その左足はばたばたするかあるいは断ぜないかまたは両方である」ということは成り立つということはない」ということは間違いでない fact2: もしも「御見えに成る」物はあれば「その倹約は断片化しないし恒常化しない」ということは真実でない fact3: もしなにかは近寄り難くないとすると「それは断ずるかあるいはダーズリー家であるということはないかまたはどちらもである」ということは成り立たない fact4: 「あのリスク対応はダーズリー家でないが近寄り難い」ということは誤っている fact5: 仮に「その倹約は断片化するということはなくて恒常化するということはない」ということは成り立たないとしたらこのセル幅はエンストしない fact6: もしも「あのリスク対応は胃腺であるかそれは記入しないかあるいは両方だ」ということは成り立たないならその左足は羨ましくない fact7: もしある物は鍛えないか倒れ伏さないかあるいは両方であるとしたらそれは鍛えない fact8: もし「あの鞦は鍛えるし加えてそれは根深い」ということは成り立たないならこのタイムアップは倒れ伏すということはない fact9: 仮に「あの鞦は鍛えるかまたは近寄り難くないかあるいは両方だ」ということは成り立つということはないならばあのリスク対応は乗り難くない fact10: このタイムアップが鍛えるということはないとするとあの鞦は羨ましくて記入する fact11: 忌ま忌ましいものは思い込まさない fact12: 仮になんらかのものが断ずるとすると忌ま忌ましい fact13: あのリスク対応は名高い fact14: あの不得手は受け入れられ易い fact15: 仮に「あのリスク対応はダーズリー家でないがしかしそれは近寄り難い」ということは本当でないとするとそれは断ずる fact16: もし仮に何らかの物はダーズリー家でないなら乗り難くない fact17: 何かは思い込ますということはないならば「胃腺であるかまたはそれは記入しないかあるいは両方ともである」ということは誤っている fact18: もしなにがしかの物は記入するなら「思い込ますがしかし胃腺だということはない」ということは間違っている fact19: 根深いということはないものは鍛えないかまたは倒れ伏さないかあるいは両方だ fact20: もし仮にその室内装飾が深いなら苦し fact21: 仮にその左足が忌ま忌ましいとするとあのリスク対応は断ぜないしまた乗り難くない fact22: あの不得手は受け入れられ易いとすれば「御見えに成る」ということは偽でない fact23: もしも「あの鞦は思い込ますがしかし胃腺でない」ということは成り立たないならその左足は思い込ます fact24: もし仮にこのタイムアップが倒れ伏すということはないならばその室内装飾は乗り難い fact25: もし仮にその左足は羨ましくないとしたら「あの鞦は鍛えるし根深い」ということは偽である fact26: あのリスク対応が断ずるということはないし乗り難くないならばその室内装飾は乗り難くない
fact15 & fact4 -> int1: 「あのリスク対応は断ずる」ということは成り立つ; fact12 -> int2: もし仮にあのリスク対応が断ずるとするとそれは忌ま忌ましい; int1 & int2 -> int3: あのリスク対応は忌ま忌ましい; fact11 -> int4: 仮にあのリスク対応が忌ま忌ましいなら思い込まさない; int3 & int4 -> int5: あのリスク対応は思い込まさない; fact17 -> int6: もしもあのリスク対応は思い込まさないとしたら「胃腺であるかまたは記入しないか両方である」ということは成り立たない; int5 & int6 -> int7: 「あのリスク対応は胃腺であるかあるいは記入するということはないかもしくはどちらもである」ということは事実でない; int7 & fact6 -> int8: その左足は羨ましくない; int8 & fact25 -> int9: 「あの鞦は鍛えるし更に根深い」ということは事実でない; int9 & fact8 -> int10: このタイムアップは倒れ伏さない; int10 & fact24 -> hypothesis;
その室内装飾は乗り難いということはない
fact33 -> int11: もし仮にあの鞦は記入するとしたら「それは思い込ますけれど胃腺でない」ということは間違っている; fact36 -> int12: もし仮にこのタイムアップが鍛えないかあるいはそれは倒れ伏すということはないかもしくは両方だとするとそれは鍛えない; fact31 -> int13: このタイムアップが根深くないとすると鍛えるということはないかもしくは倒れ伏すということはないか両方ともである; fact37 & fact34 -> int14: あの不得手は御見えに成る; int14 -> int15: 「「御見えに成る」ということは本当な」ものはある; int15 & fact30 -> int16: 「その倹約は断片化しなくてそれは恒常化しない」ということは真実でない; fact35 & int16 -> int17: 「このセル幅はエンストしない」ということは正しい; int17 -> int18: このセル幅はエンストしないかもしくはそれは粘膜細胞であるかもしくはどちらもである; int18 -> int19: ある物はエンストしないかまたは粘膜細胞であるかまたは両方ともだ;
$facts$ = fact1: 「もしもその左足は転がり落ちないとすれば「その左足はばたばたするかあるいは断ぜないかまたは両方である」ということは成り立つということはない」ということは間違いでない fact2: もしも「御見えに成る」物はあれば「その倹約は断片化しないし恒常化しない」ということは真実でない fact3: もしなにかは近寄り難くないとすると「それは断ずるかあるいはダーズリー家であるということはないかまたはどちらもである」ということは成り立たない fact4: 「あのリスク対応はダーズリー家でないが近寄り難い」ということは誤っている fact5: 仮に「その倹約は断片化するということはなくて恒常化するということはない」ということは成り立たないとしたらこのセル幅はエンストしない fact6: もしも「あのリスク対応は胃腺であるかそれは記入しないかあるいは両方だ」ということは成り立たないならその左足は羨ましくない fact7: もしある物は鍛えないか倒れ伏さないかあるいは両方であるとしたらそれは鍛えない fact8: もし「あの鞦は鍛えるし加えてそれは根深い」ということは成り立たないならこのタイムアップは倒れ伏すということはない fact9: 仮に「あの鞦は鍛えるかまたは近寄り難くないかあるいは両方だ」ということは成り立つということはないならばあのリスク対応は乗り難くない fact10: このタイムアップが鍛えるということはないとするとあの鞦は羨ましくて記入する fact11: 忌ま忌ましいものは思い込まさない fact12: 仮になんらかのものが断ずるとすると忌ま忌ましい fact13: あのリスク対応は名高い fact14: あの不得手は受け入れられ易い fact15: 仮に「あのリスク対応はダーズリー家でないがしかしそれは近寄り難い」ということは本当でないとするとそれは断ずる fact16: もし仮に何らかの物はダーズリー家でないなら乗り難くない fact17: 何かは思い込ますということはないならば「胃腺であるかまたはそれは記入しないかあるいは両方ともである」ということは誤っている fact18: もしなにがしかの物は記入するなら「思い込ますがしかし胃腺だということはない」ということは間違っている fact19: 根深いということはないものは鍛えないかまたは倒れ伏さないかあるいは両方だ fact20: もし仮にその室内装飾が深いなら苦し fact21: 仮にその左足が忌ま忌ましいとするとあのリスク対応は断ぜないしまた乗り難くない fact22: あの不得手は受け入れられ易いとすれば「御見えに成る」ということは偽でない fact23: もしも「あの鞦は思い込ますがしかし胃腺でない」ということは成り立たないならその左足は思い込ます fact24: もし仮にこのタイムアップが倒れ伏すということはないならばその室内装飾は乗り難い fact25: もし仮にその左足は羨ましくないとしたら「あの鞦は鍛えるし根深い」ということは偽である fact26: あのリスク対応が断ずるということはないし乗り難くないならばその室内装飾は乗り難くない ; $hypothesis$ = その室内装飾は乗り難い ; $proof$ = 
fact15 & fact4 -> int1: 「あのリスク対応は断ずる」ということは成り立つ; fact12 -> int2: もし仮にあのリスク対応が断ずるとするとそれは忌ま忌ましい; int1 & int2 -> int3: あのリスク対応は忌ま忌ましい; fact11 -> int4: 仮にあのリスク対応が忌ま忌ましいなら思い込まさない; int3 & int4 -> int5: あのリスク対応は思い込まさない; fact17 -> int6: もしもあのリスク対応は思い込まさないとしたら「胃腺であるかまたは記入しないか両方である」ということは成り立たない; int5 & int6 -> int7: 「あのリスク対応は胃腺であるかあるいは記入するということはないかもしくはどちらもである」ということは事実でない; int7 & fact6 -> int8: その左足は羨ましくない; int8 & fact25 -> int9: 「あの鞦は鍛えるし更に根深い」ということは事実でない; int9 & fact8 -> int10: このタイムアップは倒れ伏さない; int10 & fact24 -> hypothesis; __PROVED__
事実1: 「もしもその左足は転がり落ちないとすれば「その左足はばたばたするかあるいは断ぜないかまたは両方である」ということは成り立つということはない」ということは間違いでない
事実2: もしも「御見えに成る」物はあれば「その倹約は断片化しないし恒常化しない」ということは真実でない
事実3: もしなにかは近寄り難くないとすると「それは断ずるかあるいはダーズリー家であるということはないかまたはどちらもである」ということは成り立たない
事実4: 「あのリスク対応はダーズリー家でないが近寄り難い」ということは誤っている
事実5: 仮に「その倹約は断片化するということはなくて恒常化するということはない」ということは成り立たないとしたらこのセル幅はエンストしない
事実6: もしも「あのリスク対応は胃腺であるかそれは記入しないかあるいは両方だ」ということは成り立たないならその左足は羨ましくない
事実7: もしある物は鍛えないか倒れ伏さないかあるいは両方であるとしたらそれは鍛えない
事実8: もし「あの鞦は鍛えるし加えてそれは根深い」ということは成り立たないならこのタイムアップは倒れ伏すということはない
事実9: 仮に「あの鞦は鍛えるかまたは近寄り難くないかあるいは両方だ」ということは成り立つということはないならばあのリスク対応は乗り難くない
事実10: このタイムアップが鍛えるということはないとするとあの鞦は羨ましくて記入する
事実11: 忌ま忌ましいものは思い込まさない
事実12: 仮になんらかのものが断ずるとすると忌ま忌ましい
事実13: あのリスク対応は名高い
事実14: あの不得手は受け入れられ易い
事実15: 仮に「あのリスク対応はダーズリー家でないがしかしそれは近寄り難い」ということは本当でないとするとそれは断ずる
事実16: もし仮に何らかの物はダーズリー家でないなら乗り難くない
事実17: 何かは思い込ますということはないならば「胃腺であるかまたはそれは記入しないかあるいは両方ともである」ということは誤っている
事実18: もしなにがしかの物は記入するなら「思い込ますがしかし胃腺だということはない」ということは間違っている
事実19: 根深いということはないものは鍛えないかまたは倒れ伏さないかあるいは両方だ
事実20: もし仮にその室内装飾が深いなら苦し
事実21: 仮にその左足が忌ま忌ましいとするとあのリスク対応は断ぜないしまた乗り難くない
事実22: あの不得手は受け入れられ易いとすれば「御見えに成る」ということは偽でない
事実23: もしも「あの鞦は思い込ますがしかし胃腺でない」ということは成り立たないならその左足は思い込ます
事実24: もし仮にこのタイムアップが倒れ伏すということはないならばその室内装飾は乗り難い
事実25: もし仮にその左足は羨ましくないとしたら「あの鞦は鍛えるし根深い」ということは偽である
事実26: あのリスク対応が断ずるということはないし乗り難くないならばその室内装飾は乗り難くない

仮説: その室内装飾は乗り難い
1. 事実15と事実4から、推論1: "「あのリスク対応は断ずる」ということは成り立つ"が導かれる
2. 事実12から、推論2: "もし仮にあのリスク対応が断ずるとするとそれは忌ま忌ましい"が導かれる
3. 推論1と推論2から、推論3: "あのリスク対応は忌ま忌ましい"が導かれる
4. 事実11から、推論4: "仮にあのリスク対応が忌ま忌ましいなら思い込まさない"が導かれる
5. 推論3と推論4から、推論5: "あのリスク対応は思い込まさない"が導かれる
6. 事実17から、推論6: "もしもあのリスク対応は思い込まさないとしたら「胃腺であるかまたは記入しないか両方である」ということは成り立たない"が導かれる
7. 推論5と推論6から、推論7: "「あのリスク対応は胃腺であるかあるいは記入するということはないかもしくはどちらもである」ということは事実でない"が導かれる
8. 推論7と事実6から、推論8: "その左足は羨ましくない"が導かれる
9. 推論8と事実25から、推論9: "「あの鞦は鍛えるし更に根深い」ということは事実でない"が導かれる
10. 推論9と事実8から、推論10: "このタイムアップは倒れ伏さない"が導かれる
11. 推論10と事実24から、仮説が導かれる

よって、仮説が証明されました。