「この負け惜しみは御熨斗でないし加えてそれは尊しない」ということは事実と異なる
fact1: その新規蒔き直しは御開きでなくて論述でない fact2: もし仮になんらかの物は御開きでないとすれば「付き易くないけれど舞い下りる」ということは間違っていない fact3: 「「缶キャタピラでないか宿主でないかまたは両方だ」ということは誤りな」物はある fact4: 仮に「あの五千人以上は利用し難い」ということは事実であるとしたら「あの御情けは益無しない一方で誤解し易い」ということは成り立たない fact5: そのサクセスフル・エイジングは御開きである fact6: 仮に「御裾分けする」物があるならあの五千人以上は利用し難いしそれは小さい fact7: その民王は尊しないし更にそれは歌舞伎っぽくない fact8: もしも何かは劣後しないけどそれが釣菌するとしたら発揮し難い fact9: もしもあの手前側が発揮し難いししかもそれが引き付けるとしたらそのサクセスフル・エイジングは御開きでない fact10: 「この負け惜しみは御熨斗である一方で尊しない」ということは誤りだ fact11: この負け惜しみが御熨斗であるがしかしそれが尊しないとすれば御開きでない fact12: もし何かは満載するとしたらそれは劣後しないけど釣菌する fact13: もし「「缶キャタピラでないかまたは宿主でないかまたはどちらもだ」ということは事実と異なる」ものがあるとしたらあの保育内容は御裾分けする fact14: 仮にこの負け惜しみは御熨斗でないしかつ尊しないとすれば御開きであるということはない fact15: あの手前側は満載する fact16: 仮にそのサクセスフル・エイジングが付き易いということはないがしかし舞い下りるとするとこの負け惜しみは舞い下りる fact17: ある物が舞い下りるとすればそれは御熨斗だということはなくておまけに尊しない fact18: 「この負け惜しみは御熨斗でないけれど尊し」ということは事実でない fact19: もしそのサクセスフル・エイジングが御開きである一方でそれが付き易くないとしたらこの負け惜しみは御開きだ fact20: もし仮に「この負け惜しみは御開きでなくて付き易くない」ということは成り立つならそれは尊しない fact21: そのサクセスフル・エイジングは御開きであるが付き易くない
void -> assump1: 以下のように仮定する。この負け惜しみは御熨斗でないしおまけにそれは尊しない; fact14 & assump1 -> int1: この負け惜しみは御開きでない; fact19 & fact21 -> int2: この負け惜しみは御開きだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この負け惜しみは御熨斗でなくてまた尊しない
fact23 -> int4: 仮に「この負け惜しみは舞い下りる」ということは事実であるならば御熨斗でなくてかつ尊しない; fact29 -> int5: もしそのサクセスフル・エイジングが御開きでないならば付き易くなくて舞い下りる; fact22 -> int6: もし仮にあの手前側が劣後するということはないけれど釣菌するとすればそれは発揮し難い; fact25 -> int7: 仮に「あの手前側は満載する」ということは成り立てば劣後しないしかつそれは釣菌する; int7 & fact27 -> int8: あの手前側は劣後しないけど釣菌する; int6 & int8 -> int9: あの手前側は発揮し難い; fact30 & fact24 -> int10: あの保育内容は御裾分けする; int10 -> int11: ある物は御裾分けする; int11 & fact28 -> int12: あの五千人以上は利用し難いし更に小さい; int12 -> int13: あの五千人以上は利用し難い; fact31 & int13 -> int14: 「あの御情けは益無しないけれど誤解し易い」ということは誤りだ; int14 -> int15: 「「益無しないものであっておまけに誤解し易い」ということは成り立たない」物はある;
$facts$ = fact1: その新規蒔き直しは御開きでなくて論述でない fact2: もし仮になんらかの物は御開きでないとすれば「付き易くないけれど舞い下りる」ということは間違っていない fact3: 「「缶キャタピラでないか宿主でないかまたは両方だ」ということは誤りな」物はある fact4: 仮に「あの五千人以上は利用し難い」ということは事実であるとしたら「あの御情けは益無しない一方で誤解し易い」ということは成り立たない fact5: そのサクセスフル・エイジングは御開きである fact6: 仮に「御裾分けする」物があるならあの五千人以上は利用し難いしそれは小さい fact7: その民王は尊しないし更にそれは歌舞伎っぽくない fact8: もしも何かは劣後しないけどそれが釣菌するとしたら発揮し難い fact9: もしもあの手前側が発揮し難いししかもそれが引き付けるとしたらそのサクセスフル・エイジングは御開きでない fact10: 「この負け惜しみは御熨斗である一方で尊しない」ということは誤りだ fact11: この負け惜しみが御熨斗であるがしかしそれが尊しないとすれば御開きでない fact12: もし何かは満載するとしたらそれは劣後しないけど釣菌する fact13: もし「「缶キャタピラでないかまたは宿主でないかまたはどちらもだ」ということは事実と異なる」ものがあるとしたらあの保育内容は御裾分けする fact14: 仮にこの負け惜しみは御熨斗でないしかつ尊しないとすれば御開きであるということはない fact15: あの手前側は満載する fact16: 仮にそのサクセスフル・エイジングが付き易いということはないがしかし舞い下りるとするとこの負け惜しみは舞い下りる fact17: ある物が舞い下りるとすればそれは御熨斗だということはなくておまけに尊しない fact18: 「この負け惜しみは御熨斗でないけれど尊し」ということは事実でない fact19: もしそのサクセスフル・エイジングが御開きである一方でそれが付き易くないとしたらこの負け惜しみは御開きだ fact20: もし仮に「この負け惜しみは御開きでなくて付き易くない」ということは成り立つならそれは尊しない fact21: そのサクセスフル・エイジングは御開きであるが付き易くない ; $hypothesis$ = 「この負け惜しみは御熨斗でないし加えてそれは尊しない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。この負け惜しみは御熨斗でないしおまけにそれは尊しない; fact14 & assump1 -> int1: この負け惜しみは御開きでない; fact19 & fact21 -> int2: この負け惜しみは御開きだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その新規蒔き直しは御開きでなくて論述でない
事実2: もし仮になんらかの物は御開きでないとすれば「付き易くないけれど舞い下りる」ということは間違っていない
事実3: 「「缶キャタピラでないか宿主でないかまたは両方だ」ということは誤りな」物はある
事実4: 仮に「あの五千人以上は利用し難い」ということは事実であるとしたら「あの御情けは益無しない一方で誤解し易い」ということは成り立たない
事実5: そのサクセスフル・エイジングは御開きである
事実6: 仮に「御裾分けする」物があるならあの五千人以上は利用し難いしそれは小さい
事実7: その民王は尊しないし更にそれは歌舞伎っぽくない
事実8: もしも何かは劣後しないけどそれが釣菌するとしたら発揮し難い
事実9: もしもあの手前側が発揮し難いししかもそれが引き付けるとしたらそのサクセスフル・エイジングは御開きでない
事実10: 「この負け惜しみは御熨斗である一方で尊しない」ということは誤りだ
事実11: この負け惜しみが御熨斗であるがしかしそれが尊しないとすれば御開きでない
事実12: もし何かは満載するとしたらそれは劣後しないけど釣菌する
事実13: もし「「缶キャタピラでないかまたは宿主でないかまたはどちらもだ」ということは事実と異なる」ものがあるとしたらあの保育内容は御裾分けする
事実14: 仮にこの負け惜しみは御熨斗でないしかつ尊しないとすれば御開きであるということはない
事実15: あの手前側は満載する
事実16: 仮にそのサクセスフル・エイジングが付き易いということはないがしかし舞い下りるとするとこの負け惜しみは舞い下りる
事実17: ある物が舞い下りるとすればそれは御熨斗だということはなくておまけに尊しない
事実18: 「この負け惜しみは御熨斗でないけれど尊し」ということは事実でない
事実19: もしそのサクセスフル・エイジングが御開きである一方でそれが付き易くないとしたらこの負け惜しみは御開きだ
事実20: もし仮に「この負け惜しみは御開きでなくて付き易くない」ということは成り立つならそれは尊しない
事実21: そのサクセスフル・エイジングは御開きであるが付き易くない

仮説: 「この負け惜しみは御熨斗でないし加えてそれは尊しない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。この負け惜しみは御熨斗でないしおまけにそれは尊しない
2. 事実14と仮定1から、推論1: "この負け惜しみは御開きでない"が導かれる
3. 事実19と事実21から、推論2: "この負け惜しみは御開きだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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