その文化コンツェルンは和えらない
fact1: 「この得点表は削合するけれど向かえるということはない」ということは誤っている fact2: もしもこの腰刀は御辛い一方で株券保管振り替えでないとすれば御辰だということはない fact3: もしこの腰刀は御辰でないとしたらそれは御招待する fact4: 仮にこの得点表は剥離し難くないならそれは御招待しない fact5: もしもこの得点表は御辛いとすると「この腰刀は自立するしそれに退散する」ということは成り立つということはない fact6: この得点表はアルカリ現像であるということはない fact7: この腰刀は軽しない fact8: 仮に「何らかの物は御辛いけど株券保管振り替えでない」ということは事実と異なるとすると「自立する」ということは本当である fact9: 仮に「何らかのものは削合するし御辰である」ということは間違っているとすれば「それは削合しない」ということは真実である fact10: もし「その文化コンツェルンは損ねるがしかし勇み立つということはない」ということは誤っているとすると和えらない fact11: 「あの呼び子は茶色くない一方で御辰である」ということは嘘だ fact12: この腰刀は自立するなら「その文化コンツェルンは損ねるけれど勇み立つということはない」ということは偽である fact13: もし仮にこの得点表が退散するとすれば御辛くない fact14: 「その文化コンツェルンは自立する」ということは本当だとすればそれは御辰でなくておまけにそれは退散しない fact15: 仮に「この得点表は削合するが向かえない」ということは間違いならば「剥離し難くない」ということは事実である fact16: 剥離し難くない物は退散するということはないしまた御招待しない fact17: もし仮にこの腰刀は御招待するとしたら「この得点表は退散しなくてそれは御招待しない」ということは成り立たない
void -> assump1: 以下のように仮定する。この腰刀は御辛いけど株券保管振り替えでない; fact2 & assump1 -> int1: この腰刀は御辰でない; int1 & fact3 -> int2: 「この腰刀は御招待する」ということは本当である; int2 & fact17 -> int3: 「この得点表は退散しなくてその上御招待しない」ということは成り立たない; fact16 -> int4: もし仮にこの得点表が剥離し難くないならそれは退散しなくておまけに御招待しない; fact1 & fact15 -> int5: この得点表は剥離し難くない; int4 & int5 -> int6: この得点表は退散しないしおまけに御招待するということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この腰刀は御辛いが株券保管振り替えでない」ということは誤っている; fact8 -> int9: もし仮に「この腰刀は御辛いけど株券保管振り替えでない」ということは成り立たないとすればそれは自立する; int8 & int9 -> int10: この腰刀は自立する; int10 & fact12 -> int11: 「その文化コンツェルンは損ねるけれど勇み立たない」ということは誤っている; int11 & fact10 -> hypothesis;
その文化コンツェルンは和える
$facts$ = fact1: 「この得点表は削合するけれど向かえるということはない」ということは誤っている fact2: もしもこの腰刀は御辛い一方で株券保管振り替えでないとすれば御辰だということはない fact3: もしこの腰刀は御辰でないとしたらそれは御招待する fact4: 仮にこの得点表は剥離し難くないならそれは御招待しない fact5: もしもこの得点表は御辛いとすると「この腰刀は自立するしそれに退散する」ということは成り立つということはない fact6: この得点表はアルカリ現像であるということはない fact7: この腰刀は軽しない fact8: 仮に「何らかの物は御辛いけど株券保管振り替えでない」ということは事実と異なるとすると「自立する」ということは本当である fact9: 仮に「何らかのものは削合するし御辰である」ということは間違っているとすれば「それは削合しない」ということは真実である fact10: もし「その文化コンツェルンは損ねるがしかし勇み立つということはない」ということは誤っているとすると和えらない fact11: 「あの呼び子は茶色くない一方で御辰である」ということは嘘だ fact12: この腰刀は自立するなら「その文化コンツェルンは損ねるけれど勇み立つということはない」ということは偽である fact13: もし仮にこの得点表が退散するとすれば御辛くない fact14: 「その文化コンツェルンは自立する」ということは本当だとすればそれは御辰でなくておまけにそれは退散しない fact15: 仮に「この得点表は削合するが向かえない」ということは間違いならば「剥離し難くない」ということは事実である fact16: 剥離し難くない物は退散するということはないしまた御招待しない fact17: もし仮にこの腰刀は御招待するとしたら「この得点表は退散しなくてそれは御招待しない」ということは成り立たない ; $hypothesis$ = その文化コンツェルンは和えらない ; $proof$ = 
void -> assump1: 以下のように仮定する。この腰刀は御辛いけど株券保管振り替えでない; fact2 & assump1 -> int1: この腰刀は御辰でない; int1 & fact3 -> int2: 「この腰刀は御招待する」ということは本当である; int2 & fact17 -> int3: 「この得点表は退散しなくてその上御招待しない」ということは成り立たない; fact16 -> int4: もし仮にこの得点表が剥離し難くないならそれは退散しなくておまけに御招待しない; fact1 & fact15 -> int5: この得点表は剥離し難くない; int4 & int5 -> int6: この得点表は退散しないしおまけに御招待するということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: 「この腰刀は御辛いが株券保管振り替えでない」ということは誤っている; fact8 -> int9: もし仮に「この腰刀は御辛いけど株券保管振り替えでない」ということは成り立たないとすればそれは自立する; int8 & int9 -> int10: この腰刀は自立する; int10 & fact12 -> int11: 「その文化コンツェルンは損ねるけれど勇み立たない」ということは誤っている; int11 & fact10 -> hypothesis; __PROVED__
事実1: 「この得点表は削合するけれど向かえるということはない」ということは誤っている
事実2: もしもこの腰刀は御辛い一方で株券保管振り替えでないとすれば御辰だということはない
事実3: もしこの腰刀は御辰でないとしたらそれは御招待する
事実4: 仮にこの得点表は剥離し難くないならそれは御招待しない
事実5: もしもこの得点表は御辛いとすると「この腰刀は自立するしそれに退散する」ということは成り立つということはない
事実6: この得点表はアルカリ現像であるということはない
事実7: この腰刀は軽しない
事実8: 仮に「何らかの物は御辛いけど株券保管振り替えでない」ということは事実と異なるとすると「自立する」ということは本当である
事実9: 仮に「何らかのものは削合するし御辰である」ということは間違っているとすれば「それは削合しない」ということは真実である
事実10: もし「その文化コンツェルンは損ねるがしかし勇み立つということはない」ということは誤っているとすると和えらない
事実11: 「あの呼び子は茶色くない一方で御辰である」ということは嘘だ
事実12: この腰刀は自立するなら「その文化コンツェルンは損ねるけれど勇み立つということはない」ということは偽である
事実13: もし仮にこの得点表が退散するとすれば御辛くない
事実14: 「その文化コンツェルンは自立する」ということは本当だとすればそれは御辰でなくておまけにそれは退散しない
事実15: 仮に「この得点表は削合するが向かえない」ということは間違いならば「剥離し難くない」ということは事実である
事実16: 剥離し難くない物は退散するということはないしまた御招待しない
事実17: もし仮にこの腰刀は御招待するとしたら「この得点表は退散しなくてそれは御招待しない」ということは成り立たない

仮説: その文化コンツェルンは和えらない
1. 仮定1: 以下のように仮定する。この腰刀は御辛いけど株券保管振り替えでない
2. 事実2と仮定1から、推論1: "この腰刀は御辰でない"が導かれる
3. 推論1と事実3から、推論2: "「この腰刀は御招待する」ということは本当である"が導かれる
4. 推論2と事実17から、推論3: "「この得点表は退散しなくてその上御招待しない」ということは成り立たない"が導かれる
5. 事実16から、推論4: "もし仮にこの得点表が剥離し難くないならそれは退散しなくておまけに御招待しない"が導かれる
6. 事実1と事実15から、推論5: "この得点表は剥離し難くない"が導かれる
7. 推論4と推論5から、推論6: "この得点表は退散しないしおまけに御招待するということはない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "「この腰刀は御辛いが株券保管振り替えでない」ということは誤っている"が導かれる
10. 事実8から、推論9: "もし仮に「この腰刀は御辛いけど株券保管振り替えでない」ということは成り立たないとすればそれは自立する"が導かれる
11. 推論8と推論9から、推論10: "この腰刀は自立する"が導かれる
12. 推論10と事実12から、推論11: "「その文化コンツェルンは損ねるけれど勇み立たない」ということは誤っている"が導かれる
13. 推論11と事実10から、仮説が導かれる

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