この国家主権は御めでたいということはない
fact1: このカルミアは高いししかも踏襲する fact2: もし仮にこのカルミアは御めでたいならば「この国家主権は御めでたい」ということは成り立つ fact3: このカルミアは踏襲する fact4: そのガス用品が用いるとするとこの御母アは交通するということはない fact5: 仮に何かは御返り下さるということはないとするとそれは御めでたいか制限ユーザーである fact6: 仮にとある物は交通するということはないならば「それは弛み無くて加えてそれは曲がりくねらない」ということは間違っている fact7: もしもある物が捩じれるということはないならばそのきつさは人らしくない fact8: もしも「この御母アは弛み無いが曲がりくねらない」ということは偽であるとすればこの中山橋は弛み無くない fact9: 弛み無くない物は捩じれるということはなくておまけにすげなくない fact10: もし仮に「何らかの物は人らしくない」ということは成り立てばこのカルミアは名状し難くないしそれにそれは継承しない fact11: そのガス用品は用いる fact12: もし仮に「このカルミアは高くないかそれは御めでたいかもしくはどちらもだ」ということは間違っていればそのモデル作りは高いということはない fact13: 「この国家主権は高くてそれは踏襲する」ということは事実であるとすればこのカルミアは御めでたくない fact14: もし仮にこのカルミアが高くておまけに踏襲するとすればあの国家主権は御めでたくない fact15: もしも名状し難いということはないものが継承しないとすれば御返り下さらない fact16: この読解力は御めでたい
fact14 & fact1 -> hypothesis;
fact14 & fact1 -> hypothesis;
この国家主権は御めでたい
fact18 -> int1: このカルミアが御返り下さらないなら御めでたいか制限ユーザーである; fact26 -> int2: このカルミアが名状し難くないしそれが継承しないとすればそれは御返り下さらない; fact23 -> int3: もしこの中山橋が弛み無くないとすればそれは捩じれないしそれはすげないということはない; fact22 -> int4: もしこの御母アは交通しないならば「それは弛み無いけれど曲がりくねらない」ということは成り立たない; fact21 & fact17 -> int5: この御母アは交通しない; int4 & int5 -> int6: 「この御母アは弛み無いけれど曲がりくねるということはない」ということは成り立たない; fact20 & int6 -> int7: この中山橋は弛み無くない; int3 & int7 -> int8: この中山橋は捩じれないしすげなくない; int8 -> int9: この中山橋は捩じれない; int9 -> int10: 「捩じれない」物はある; int10 & fact24 -> int11: そのきつさは人らしくない; int11 -> int12: 「「人らしくない」ということは本当な」物はある; int12 & fact19 -> int13: このカルミアは名状し難くないし更に継承しない; int2 & int13 -> int14: このカルミアは御返り下さるということはない; int1 & int14 -> int15: このカルミアは御めでたいかもしくは制限ユーザーだ;
$facts$ = fact1: このカルミアは高いししかも踏襲する fact2: もし仮にこのカルミアは御めでたいならば「この国家主権は御めでたい」ということは成り立つ fact3: このカルミアは踏襲する fact4: そのガス用品が用いるとするとこの御母アは交通するということはない fact5: 仮に何かは御返り下さるということはないとするとそれは御めでたいか制限ユーザーである fact6: 仮にとある物は交通するということはないならば「それは弛み無くて加えてそれは曲がりくねらない」ということは間違っている fact7: もしもある物が捩じれるということはないならばそのきつさは人らしくない fact8: もしも「この御母アは弛み無いが曲がりくねらない」ということは偽であるとすればこの中山橋は弛み無くない fact9: 弛み無くない物は捩じれるということはなくておまけにすげなくない fact10: もし仮に「何らかの物は人らしくない」ということは成り立てばこのカルミアは名状し難くないしそれにそれは継承しない fact11: そのガス用品は用いる fact12: もし仮に「このカルミアは高くないかそれは御めでたいかもしくはどちらもだ」ということは間違っていればそのモデル作りは高いということはない fact13: 「この国家主権は高くてそれは踏襲する」ということは事実であるとすればこのカルミアは御めでたくない fact14: もし仮にこのカルミアが高くておまけに踏襲するとすればあの国家主権は御めでたくない fact15: もしも名状し難いということはないものが継承しないとすれば御返り下さらない fact16: この読解力は御めでたい ; $hypothesis$ = この国家主権は御めでたいということはない ; $proof$ = 
fact14 & fact1 -> hypothesis; __PROVED__
事実1: このカルミアは高いししかも踏襲する
事実2: もし仮にこのカルミアは御めでたいならば「この国家主権は御めでたい」ということは成り立つ
事実3: このカルミアは踏襲する
事実4: そのガス用品が用いるとするとこの御母アは交通するということはない
事実5: 仮に何かは御返り下さるということはないとするとそれは御めでたいか制限ユーザーである
事実6: 仮にとある物は交通するということはないならば「それは弛み無くて加えてそれは曲がりくねらない」ということは間違っている
事実7: もしもある物が捩じれるということはないならばそのきつさは人らしくない
事実8: もしも「この御母アは弛み無いが曲がりくねらない」ということは偽であるとすればこの中山橋は弛み無くない
事実9: 弛み無くない物は捩じれるということはなくておまけにすげなくない
事実10: もし仮に「何らかの物は人らしくない」ということは成り立てばこのカルミアは名状し難くないしそれにそれは継承しない
事実11: そのガス用品は用いる
事実12: もし仮に「このカルミアは高くないかそれは御めでたいかもしくはどちらもだ」ということは間違っていればそのモデル作りは高いということはない
事実13: 「この国家主権は高くてそれは踏襲する」ということは事実であるとすればこのカルミアは御めでたくない
事実14: もし仮にこのカルミアが高くておまけに踏襲するとすればあの国家主権は御めでたくない
事実15: もしも名状し難いということはないものが継承しないとすれば御返り下さらない
事実16: この読解力は御めでたい

仮説: この国家主権は御めでたいということはない
1. 事実14と事実1から、仮説が導かれる

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