その六日生まれは起こり易いということはないし処刑しない
fact1: もしも「その膨張弁は右角でないしその上それは減塩食でない」ということは事実と異なるとしたらその六日生まれは灯し難くない fact2: 仮にその才学は御待ちしないならば「それは物悲しくない一方で目立つ」ということは誤りだ fact3: もし仮にあの御施主様が数日するということはないならその社会経済情勢は生み難いけど灯し難くない fact4: 「数日するしその上認め難い」ものはある fact5: もし仮にその六日生まれが右角であるということはない一方で灯し難いならばその膨張弁は起こり易くない fact6: もしもなにがしかのものは更迭するということはないならば「それは数日するかまたはグレースケール画像であるか両方だ」ということは間違っている fact7: 仮になにかは数日するし認め難いとすればあの従属関係は生み難い fact8: その膨張弁は減塩食でない fact9: 「あの糸状は数日するかまたはグレースケール画像であるかあるいは両方である」ということは成り立たないならばあの御施主様は数日しない fact10: その膨張弁は右角でないとするとそれは起こり易くないし減塩食であるということはない fact11: その才学は御待ちしない fact12: 仮に「知り難くない」ものがあるとしたらあの糸状は更迭しない fact13: 仮に「あるものは物悲しくないがしかし目立つ」ということは間違っていればそれは知り難くない fact14: もしもその膨張弁が右角でないし減塩食でないならばこの従属関係は生み難くない fact15: 灯し難くないものは起こり易いということはないし更に処刑しない fact16: もし「この従属関係は認め難くないがしかし灯し難い」ということは誤っているとするとその膨張弁は灯し難くない fact17: 「その膨張弁は灯し難くない」ということは本当だとしたら「その六日生まれは起こり易くないし更にそれは処刑しない」ということは間違いである
void -> assump1: 以下のように仮定する。その膨張弁は右角でないしさらに減塩食でない; fact14 & assump1 -> int1: この従属関係は生み難くない; fact4 & fact7 -> int2: この従属関係は生み難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その膨張弁は右角でなくてかつ減塩食でない」ということは成り立たない; int4 & fact1 -> int5: その六日生まれは灯し難くない; fact15 -> int6: その六日生まれが灯し難くないとすればそれは起こり易いということはなくてそれは処刑しない; int5 & int6 -> hypothesis;
「その六日生まれは起こり易くないし更に処刑しない」ということは成り立たない
fact24 -> int7: あの糸状は更迭しないとすると「それは数日するかまたはそれはグレースケール画像であるかまたは両方だ」ということは誤っている; fact18 -> int8: 仮に「その才学は物悲しくないけれど目立つ」ということは成り立たないならば「知り難くない」ということは真実だ; fact22 & fact25 -> int9: 「その才学は物悲しくない一方で目立つ」ということは成り立たない; int8 & int9 -> int10: その才学は知り難くない; int10 -> int11: ある物は知り難くない; int11 & fact23 -> int12: あの糸状は更迭しない; int7 & int12 -> int13: 「あの糸状は数日するかあるいはグレースケール画像であるかあるいは両方ともである」ということは嘘だ; fact19 & int13 -> int14: あの御施主様は数日しない; fact21 & int14 -> int15: その社会経済情勢は生み難い一方でそれは灯し難くない; int15 -> int16: その社会経済情勢は灯し難くない; int16 -> int17: 何らかのものは灯し難くない;
$facts$ = fact1: もしも「その膨張弁は右角でないしその上それは減塩食でない」ということは事実と異なるとしたらその六日生まれは灯し難くない fact2: 仮にその才学は御待ちしないならば「それは物悲しくない一方で目立つ」ということは誤りだ fact3: もし仮にあの御施主様が数日するということはないならその社会経済情勢は生み難いけど灯し難くない fact4: 「数日するしその上認め難い」ものはある fact5: もし仮にその六日生まれが右角であるということはない一方で灯し難いならばその膨張弁は起こり易くない fact6: もしもなにがしかのものは更迭するということはないならば「それは数日するかまたはグレースケール画像であるか両方だ」ということは間違っている fact7: 仮になにかは数日するし認め難いとすればあの従属関係は生み難い fact8: その膨張弁は減塩食でない fact9: 「あの糸状は数日するかまたはグレースケール画像であるかあるいは両方である」ということは成り立たないならばあの御施主様は数日しない fact10: その膨張弁は右角でないとするとそれは起こり易くないし減塩食であるということはない fact11: その才学は御待ちしない fact12: 仮に「知り難くない」ものがあるとしたらあの糸状は更迭しない fact13: 仮に「あるものは物悲しくないがしかし目立つ」ということは間違っていればそれは知り難くない fact14: もしもその膨張弁が右角でないし減塩食でないならばこの従属関係は生み難くない fact15: 灯し難くないものは起こり易いということはないし更に処刑しない fact16: もし「この従属関係は認め難くないがしかし灯し難い」ということは誤っているとするとその膨張弁は灯し難くない fact17: 「その膨張弁は灯し難くない」ということは本当だとしたら「その六日生まれは起こり易くないし更にそれは処刑しない」ということは間違いである ; $hypothesis$ = その六日生まれは起こり易いということはないし処刑しない ; $proof$ = 
void -> assump1: 以下のように仮定する。その膨張弁は右角でないしさらに減塩食でない; fact14 & assump1 -> int1: この従属関係は生み難くない; fact4 & fact7 -> int2: この従属関係は生み難い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その膨張弁は右角でなくてかつ減塩食でない」ということは成り立たない; int4 & fact1 -> int5: その六日生まれは灯し難くない; fact15 -> int6: その六日生まれが灯し難くないとすればそれは起こり易いということはなくてそれは処刑しない; int5 & int6 -> hypothesis; __PROVED__
事実1: もしも「その膨張弁は右角でないしその上それは減塩食でない」ということは事実と異なるとしたらその六日生まれは灯し難くない
事実2: 仮にその才学は御待ちしないならば「それは物悲しくない一方で目立つ」ということは誤りだ
事実3: もし仮にあの御施主様が数日するということはないならその社会経済情勢は生み難いけど灯し難くない
事実4: 「数日するしその上認め難い」ものはある
事実5: もし仮にその六日生まれが右角であるということはない一方で灯し難いならばその膨張弁は起こり易くない
事実6: もしもなにがしかのものは更迭するということはないならば「それは数日するかまたはグレースケール画像であるか両方だ」ということは間違っている
事実7: 仮になにかは数日するし認め難いとすればあの従属関係は生み難い
事実8: その膨張弁は減塩食でない
事実9: 「あの糸状は数日するかまたはグレースケール画像であるかあるいは両方である」ということは成り立たないならばあの御施主様は数日しない
事実10: その膨張弁は右角でないとするとそれは起こり易くないし減塩食であるということはない
事実11: その才学は御待ちしない
事実12: 仮に「知り難くない」ものがあるとしたらあの糸状は更迭しない
事実13: 仮に「あるものは物悲しくないがしかし目立つ」ということは間違っていればそれは知り難くない
事実14: もしもその膨張弁が右角でないし減塩食でないならばこの従属関係は生み難くない
事実15: 灯し難くないものは起こり易いということはないし更に処刑しない
事実16: もし「この従属関係は認め難くないがしかし灯し難い」ということは誤っているとするとその膨張弁は灯し難くない
事実17: 「その膨張弁は灯し難くない」ということは本当だとしたら「その六日生まれは起こり易くないし更にそれは処刑しない」ということは間違いである

仮説: その六日生まれは起こり易いということはないし処刑しない
1. 仮定1: 以下のように仮定する。その膨張弁は右角でないしさらに減塩食でない
2. 事実14と仮定1から、推論1: "この従属関係は生み難くない"が導かれる
3. 事実4と事実7から、推論2: "この従属関係は生み難い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その膨張弁は右角でなくてかつ減塩食でない」ということは成り立たない"が導かれる
6. 推論4と事実1から、推論5: "その六日生まれは灯し難くない"が導かれる
7. 事実15から、推論6: "その六日生まれが灯し難くないとすればそれは起こり易いということはなくてそれは処刑しない"が導かれる
8. 推論5と推論6から、仮説が導かれる

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