この幹線道路網は忍び難くないし天蚕糸其々だということはない
fact1: 消化し難くないし生き易くないものは母以外でない fact2: そのヘルパーさん達は騒がしくないかまたは安いかもしくは両方ともだ fact3: もし仮にあのモーター音が空き店舗だということはないとすると目隠ししない fact4: この幹線道路網は忍び難くない fact5: 仮にあのモーター音が空き店舗であるならそのヘルパーさん達は消化し難くないしそれは生き易くない fact6: 「あのモーター音は母以外だしまた空き店舗だ」ということは偽であるとすると目隠ししない fact7: もし仮になにかは天蚕糸其々でないとすればそれは目隠ししないかもしくは忍び難くないかあるいは両方ともである fact8: そのヘルパーさん達は騒がしい fact9: もし仮にあのモーター音は生き易くないとすると「そのヘルパーさん達は騒がしいということはないかあるいは安いかまたはどちらもだ」ということは嘘だ fact10: もしもなんらかの物が目隠ししないかあるいはそれは忍び難くないか両方であるとするとそれは空き店舗である fact11: 仮にあのモーター音が生き易くないならそのヘルパーさん達は騒がしい fact12: もし仮にあのモーター音が目隠しするということはないとしたら忍び難くない fact13: もし仮に「あのモーター音は消化し難くない」ということは真実であるなら「母以外だし加えて空き店舗である」ということは偽だ fact14: あの流星は空き店舗である fact15: もしもその小児医療センターが抱き支えるならそれは開大でないけど胎内である fact16: もしあのモーター音が忍び難くないならこの幹線道路網は忍び難いということはない fact17: もしなんらかのものは生き易くないとしたら「「それは忍び難くないし天蚕糸其々でない」ということは成り立つ」ということは偽だ fact18: もし「あのモーター音は忍び難くない」ということは成り立てば「この幹線道路網は忍び難くなくてまた天蚕糸其々でない」ということは成り立つ fact19: そのヘルパーさん達は騒がしいか安い fact20: その小児医療センターが開大であるということはないが胎内であるとすれば「あのユーザーニーズは開大でない」ということは成り立つ fact21: あのモーター音が生き易いとすればそれは消化し難くない fact22: あのユーザーニーズは開大でないならば「この幹線道路網は荒っぽくて一望する」ということは成り立つということはない
void -> assump1: 以下のように仮定する。あのモーター音は生き易くない; fact9 & assump1 -> int1: 「そのヘルパーさん達は騒がしくないかもしくは安いか両方である」ということは間違っている; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのモーター音は生き易い; int3 & fact21 -> int4: 「あのモーター音は消化し難いということはない」ということは事実である; int4 & fact13 -> int5: 「あのモーター音は母以外であるしかつ空き店舗だ」ということは間違っている; int5 & fact6 -> int6: あのモーター音は目隠ししない; int6 & fact12 -> int7: あのモーター音は忍び難くない; int7 & fact18 -> hypothesis;
「この幹線道路網は忍び難くなくて加えて天蚕糸其々でない」ということは間違っている
fact23 -> int8: 仮にこの幹線道路網は生き易くないとすると「忍び難くないしさらに天蚕糸其々でない」ということは成り立たない;
$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$ = 
void -> assump1: 以下のように仮定する。あのモーター音は生き易くない; fact9 & assump1 -> int1: 「そのヘルパーさん達は騒がしくないかもしくは安いか両方である」ということは間違っている; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのモーター音は生き易い; int3 & fact21 -> int4: 「あのモーター音は消化し難いということはない」ということは事実である; int4 & fact13 -> int5: 「あのモーター音は母以外であるしかつ空き店舗だ」ということは間違っている; int5 & fact6 -> int6: あのモーター音は目隠ししない; int6 & fact12 -> int7: あのモーター音は忍び難くない; int7 & fact18 -> hypothesis; __PROVED__
事実1: 消化し難くないし生き易くないものは母以外でない
事実2: そのヘルパーさん達は騒がしくないかまたは安いかもしくは両方ともだ
事実3: もし仮にあのモーター音が空き店舗だということはないとすると目隠ししない
事実4: この幹線道路網は忍び難くない
事実5: 仮にあのモーター音が空き店舗であるならそのヘルパーさん達は消化し難くないしそれは生き易くない
事実6: 「あのモーター音は母以外だしまた空き店舗だ」ということは偽であるとすると目隠ししない
事実7: もし仮になにかは天蚕糸其々でないとすればそれは目隠ししないかもしくは忍び難くないかあるいは両方ともである
事実8: そのヘルパーさん達は騒がしい
事実9: もし仮にあのモーター音は生き易くないとすると「そのヘルパーさん達は騒がしいということはないかあるいは安いかまたはどちらもだ」ということは嘘だ
事実10: もしもなんらかの物が目隠ししないかあるいはそれは忍び難くないか両方であるとするとそれは空き店舗である
事実11: 仮にあのモーター音が生き易くないならそのヘルパーさん達は騒がしい
事実12: もし仮にあのモーター音が目隠しするということはないとしたら忍び難くない
事実13: もし仮に「あのモーター音は消化し難くない」ということは真実であるなら「母以外だし加えて空き店舗である」ということは偽だ
事実14: あの流星は空き店舗である
事実15: もしもその小児医療センターが抱き支えるならそれは開大でないけど胎内である
事実16: もしあのモーター音が忍び難くないならこの幹線道路網は忍び難いということはない
事実17: もしなんらかのものは生き易くないとしたら「「それは忍び難くないし天蚕糸其々でない」ということは成り立つ」ということは偽だ
事実18: もし「あのモーター音は忍び難くない」ということは成り立てば「この幹線道路網は忍び難くなくてまた天蚕糸其々でない」ということは成り立つ
事実19: そのヘルパーさん達は騒がしいか安い
事実20: その小児医療センターが開大であるということはないが胎内であるとすれば「あのユーザーニーズは開大でない」ということは成り立つ
事実21: あのモーター音が生き易いとすればそれは消化し難くない
事実22: あのユーザーニーズは開大でないならば「この幹線道路網は荒っぽくて一望する」ということは成り立つということはない

仮説: この幹線道路網は忍び難くないし天蚕糸其々だということはない
1. 仮定1: 以下のように仮定する。あのモーター音は生き易くない
2. 事実9と仮定1から、推論1: "「そのヘルパーさん達は騒がしくないかもしくは安いか両方である」ということは間違っている"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あのモーター音は生き易い"が導かれる
5. 推論3と事実21から、推論4: "「あのモーター音は消化し難いということはない」ということは事実である"が導かれる
6. 推論4と事実13から、推論5: "「あのモーター音は母以外であるしかつ空き店舗だ」ということは間違っている"が導かれる
7. 推論5と事実6から、推論6: "あのモーター音は目隠ししない"が導かれる
8. 推論6と事実12から、推論7: "あのモーター音は忍び難くない"が導かれる
9. 推論7と事実18から、仮説が導かれる

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