この当初計画は浅くない
fact1: 「この当初計画は息するししかも握り返す」ということは本当でない fact2: もしもその花火大会がシュミーズでないならばあの入母屋作りは継続し難くないしその上浅くない fact3: この母集団レベルは継続し難くない fact4: もし仮に何かは息するとすれば浅くない fact5: もしあの十二年前が動き易いとするとあのドアは動き易い fact6: この当初計画は継続し難くないとすれば「息するし握り返す」ということは真実だということはない fact7: もしあのドアが動き易いとするとそれは共鳴出来ないし根気良いということはない fact8: もし仮に「なんらかのものは息するということはないがしかし握り返す」ということは間違いであるとするとそれは浅くない fact9: この当初計画は継続し難くない fact10: あの入母屋作りは継続し難くないし浅くないとすれば「この当初計画は浅い」ということは事実だ fact11: もし仮にこの当初計画が息するとしたら浅くない fact12: もし仮に何かは共鳴出来なくて根気良いということはないならば滅び去る fact13: 「あの十二年前は差別するがしかし見出だし難くない」ということは真実であるということはない fact14: とある物は見出だし難いとすれば「それは枢密院でないし向き直らない」ということは偽だ fact15: もしも「なんらかの物は差別するけど見出だし難くない」ということは確かでないなら見出だし難い fact16: この当初計画は継続し難くないとすると「「息しないしまた握り返す」ということは本当である」ということは成り立たない fact17: もし仮に「何らかのものは枢密院でなくてまたそれは向き直らない」ということは嘘であるならばそれは動き易い
fact8 -> int1: もし仮に「この当初計画は息しないけどそれは握り返す」ということは偽であるとしたらそれは浅くない; fact16 & fact9 -> int2: 「この当初計画は息しないけどそれは握り返す」ということは誤りだ; int1 & int2 -> hypothesis;
この当初計画は浅い
fact24 -> int3: あのドアは共鳴出来なくてそれに根気良くないならばそれは滅び去る; fact26 -> int4: 仮に「あの十二年前は枢密院でないしかつ向き直るということはない」ということは間違っているとしたら動き易い; fact23 -> int5: もしもあの十二年前は見出だし難いなら「それは枢密院でなくて加えて向き直るということはない」ということは成り立つということはない; fact25 -> int6: 「「あの十二年前は差別するけれど見出だし難くない」ということは成り立たないとしたら「あの十二年前は見出だし難い」ということは事実である」ということは事実と異なるということはない; int6 & fact18 -> int7: あの十二年前は見出だし難い; int5 & int7 -> int8: 「あの十二年前は枢密院でなくてそれは向き直らない」ということは偽である; int4 & int8 -> int9: あの十二年前は動き易い; fact20 & int9 -> int10: あのドアは動き易い; fact22 & int10 -> int11: あのドアは共鳴出来ないし更に根気良いということはない; int3 & int11 -> int12: あのドアは滅び去る; int12 -> int13: 「「滅び去る」ということは真実である」ものはある;
$facts$ = fact1: 「この当初計画は息するししかも握り返す」ということは本当でない fact2: もしもその花火大会がシュミーズでないならばあの入母屋作りは継続し難くないしその上浅くない fact3: この母集団レベルは継続し難くない fact4: もし仮に何かは息するとすれば浅くない fact5: もしあの十二年前が動き易いとするとあのドアは動き易い fact6: この当初計画は継続し難くないとすれば「息するし握り返す」ということは真実だということはない fact7: もしあのドアが動き易いとするとそれは共鳴出来ないし根気良いということはない fact8: もし仮に「なんらかのものは息するということはないがしかし握り返す」ということは間違いであるとするとそれは浅くない fact9: この当初計画は継続し難くない fact10: あの入母屋作りは継続し難くないし浅くないとすれば「この当初計画は浅い」ということは事実だ fact11: もし仮にこの当初計画が息するとしたら浅くない fact12: もし仮に何かは共鳴出来なくて根気良いということはないならば滅び去る fact13: 「あの十二年前は差別するがしかし見出だし難くない」ということは真実であるということはない fact14: とある物は見出だし難いとすれば「それは枢密院でないし向き直らない」ということは偽だ fact15: もしも「なんらかの物は差別するけど見出だし難くない」ということは確かでないなら見出だし難い fact16: この当初計画は継続し難くないとすると「「息しないしまた握り返す」ということは本当である」ということは成り立たない fact17: もし仮に「何らかのものは枢密院でなくてまたそれは向き直らない」ということは嘘であるならばそれは動き易い ; $hypothesis$ = この当初計画は浅くない ; $proof$ = 
fact8 -> int1: もし仮に「この当初計画は息しないけどそれは握り返す」ということは偽であるとしたらそれは浅くない; fact16 & fact9 -> int2: 「この当初計画は息しないけどそれは握り返す」ということは誤りだ; int1 & int2 -> hypothesis; __PROVED__
事実1: 「この当初計画は息するししかも握り返す」ということは本当でない
事実2: もしもその花火大会がシュミーズでないならばあの入母屋作りは継続し難くないしその上浅くない
事実3: この母集団レベルは継続し難くない
事実4: もし仮に何かは息するとすれば浅くない
事実5: もしあの十二年前が動き易いとするとあのドアは動き易い
事実6: この当初計画は継続し難くないとすれば「息するし握り返す」ということは真実だということはない
事実7: もしあのドアが動き易いとするとそれは共鳴出来ないし根気良いということはない
事実8: もし仮に「なんらかのものは息するということはないがしかし握り返す」ということは間違いであるとするとそれは浅くない
事実9: この当初計画は継続し難くない
事実10: あの入母屋作りは継続し難くないし浅くないとすれば「この当初計画は浅い」ということは事実だ
事実11: もし仮にこの当初計画が息するとしたら浅くない
事実12: もし仮に何かは共鳴出来なくて根気良いということはないならば滅び去る
事実13: 「あの十二年前は差別するがしかし見出だし難くない」ということは真実であるということはない
事実14: とある物は見出だし難いとすれば「それは枢密院でないし向き直らない」ということは偽だ
事実15: もしも「なんらかの物は差別するけど見出だし難くない」ということは確かでないなら見出だし難い
事実16: この当初計画は継続し難くないとすると「「息しないしまた握り返す」ということは本当である」ということは成り立たない
事実17: もし仮に「何らかのものは枢密院でなくてまたそれは向き直らない」ということは嘘であるならばそれは動き易い

仮説: この当初計画は浅くない
1. 事実8から、推論1: "もし仮に「この当初計画は息しないけどそれは握り返す」ということは偽であるとしたらそれは浅くない"が導かれる
2. 事実16と事実9から、推論2: "「この当初計画は息しないけどそれは握り返す」ということは誤りだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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