あの分娩直後は過ごし易くない
fact1: もしもとあるものは打ちまけるかまたはパッケージ化しないとするとそれは打ちまける fact2: 仮にその相互依存性は過ごし易いとしたら「あの分娩直後は過ごし易い」ということは事実だ fact3: もし仮になんらかの物が母性保護でないならそれは生理的障害でなくて打ちまける fact4: 仮にそのパート譜は請願権でないとすれば「それは述べ伝えない」ということは成り立つ fact5: もし仮にある物が生理的障害でないとすればそれは過ごし易くない fact6: 「あの滞留時間は生理的障害でない」ということは成り立つ fact7: 「何らかの物は栄養面でないしその上それは熟年夫婦でない」ということは真実だとしたらそれは母性保護でない fact8: あの分娩直後は生理的障害だということはない fact9: もしもあるものが打ちまけるならそれは過ごし易いかまたはそれは生理的障害だということはない fact10: もし何らかの物が政策介入でないとすればそれはイヤー・チャクラでない fact11: もしあるものがグローバル化するということはないならそれは栄養面でないしかつ熟年夫婦であるということはない fact12: 仮にその角振動数が質入れしないとしたらその宴は取材・編集でなくて加えて総髪でない fact13: もしもなにがしかの物はグローバル化しないかあるいは騒々しくないか両方だとしたらグローバル化しない fact14: この六以下が止めど無いとすればあの相互依存性はグローバル化しないかあるいはそれは騒々しいということはないかまたは両方ともだ fact15: もし仮に「取材・編集でなくてそれに総髪だということはない」ものがあるならこの六以下は止めど無い fact16: あの分娩直後は被災しない fact17: もしあの分娩直後は生理的障害でないとすると「それは権力装置でない」ということは確かだ fact18: もしなにかは母性保護でないとするとそれは打ちまけるかもしくはそれはパッケージ化しない fact19: その角振動数は質入れしない
fact5 -> int1: 仮にあの分娩直後は生理的障害でないとすると過ごし易くない; int1 & fact8 -> hypothesis;
fact5 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact8 -> hypothesis;
「あの分娩直後は過ごし易い」ということは間違いであるということはない
fact25 -> int2: もしその相互依存性が打ちまけるなら過ごし易いかあるいはそれは生理的障害でないかあるいは両方だ; fact24 -> int3: 「もしもその相互依存性が打ちまけるかパッケージ化しないかあるいは両方ともであるとするとその相互依存性は打ちまける」ということは成り立つ; fact26 -> int4: もし仮にその相互依存性は母性保護でないなら「それは打ちまけるかパッケージ化するということはないかまたは両方ともだ」ということは真実である; fact27 -> int5: その相互依存性が栄養面であるということはなくておまけにそれは熟年夫婦でないとするとそれは母性保護でない; fact20 -> int6: もしもその相互依存性がグローバル化しないとすれば栄養面でなくて熟年夫婦でない; fact23 -> int7: その相互依存性がグローバル化しないかあるいは騒々しくないとすればグローバル化しない; fact30 & fact28 -> int8: その宴は取材・編集でないし更に総髪でない; int8 -> int9: なにかは取材・編集だということはないしその上総髪でない; int9 & fact29 -> int10: 「この六以下は止めど無い」ということは正しい; fact22 & int10 -> int11: その相互依存性はグローバル化しないかまたはそれは騒々しくないかまたは両方ともだ; int7 & int11 -> int12: その相互依存性はグローバル化しない; int6 & int12 -> int13: その相互依存性は栄養面でないしその上熟年夫婦でない; int5 & int13 -> int14: その相互依存性は母性保護でない; int4 & int14 -> int15: その相互依存性は打ちまけるかあるいはパッケージ化しないかまたは両方である; int3 & int15 -> int16: その相互依存性は打ちまける; int2 & int16 -> int17: その相互依存性は過ごし易いかあるいは生理的障害でない;
$facts$ = fact1: もしもとあるものは打ちまけるかまたはパッケージ化しないとするとそれは打ちまける fact2: 仮にその相互依存性は過ごし易いとしたら「あの分娩直後は過ごし易い」ということは事実だ fact3: もし仮になんらかの物が母性保護でないならそれは生理的障害でなくて打ちまける fact4: 仮にそのパート譜は請願権でないとすれば「それは述べ伝えない」ということは成り立つ fact5: もし仮にある物が生理的障害でないとすればそれは過ごし易くない fact6: 「あの滞留時間は生理的障害でない」ということは成り立つ fact7: 「何らかの物は栄養面でないしその上それは熟年夫婦でない」ということは真実だとしたらそれは母性保護でない fact8: あの分娩直後は生理的障害だということはない fact9: もしもあるものが打ちまけるならそれは過ごし易いかまたはそれは生理的障害だということはない fact10: もし何らかの物が政策介入でないとすればそれはイヤー・チャクラでない fact11: もしあるものがグローバル化するということはないならそれは栄養面でないしかつ熟年夫婦であるということはない fact12: 仮にその角振動数が質入れしないとしたらその宴は取材・編集でなくて加えて総髪でない fact13: もしもなにがしかの物はグローバル化しないかあるいは騒々しくないか両方だとしたらグローバル化しない fact14: この六以下が止めど無いとすればあの相互依存性はグローバル化しないかあるいはそれは騒々しいということはないかまたは両方ともだ fact15: もし仮に「取材・編集でなくてそれに総髪だということはない」ものがあるならこの六以下は止めど無い fact16: あの分娩直後は被災しない fact17: もしあの分娩直後は生理的障害でないとすると「それは権力装置でない」ということは確かだ fact18: もしなにかは母性保護でないとするとそれは打ちまけるかもしくはそれはパッケージ化しない fact19: その角振動数は質入れしない ; $hypothesis$ = あの分娩直後は過ごし易くない ; $proof$ = 
fact5 -> int1: 仮にあの分娩直後は生理的障害でないとすると過ごし易くない; int1 & fact8 -> hypothesis; __PROVED__
事実1: もしもとあるものは打ちまけるかまたはパッケージ化しないとするとそれは打ちまける
事実2: 仮にその相互依存性は過ごし易いとしたら「あの分娩直後は過ごし易い」ということは事実だ
事実3: もし仮になんらかの物が母性保護でないならそれは生理的障害でなくて打ちまける
事実4: 仮にそのパート譜は請願権でないとすれば「それは述べ伝えない」ということは成り立つ
事実5: もし仮にある物が生理的障害でないとすればそれは過ごし易くない
事実6: 「あの滞留時間は生理的障害でない」ということは成り立つ
事実7: 「何らかの物は栄養面でないしその上それは熟年夫婦でない」ということは真実だとしたらそれは母性保護でない
事実8: あの分娩直後は生理的障害だということはない
事実9: もしもあるものが打ちまけるならそれは過ごし易いかまたはそれは生理的障害だということはない
事実10: もし何らかの物が政策介入でないとすればそれはイヤー・チャクラでない
事実11: もしあるものがグローバル化するということはないならそれは栄養面でないしかつ熟年夫婦であるということはない
事実12: 仮にその角振動数が質入れしないとしたらその宴は取材・編集でなくて加えて総髪でない
事実13: もしもなにがしかの物はグローバル化しないかあるいは騒々しくないか両方だとしたらグローバル化しない
事実14: この六以下が止めど無いとすればあの相互依存性はグローバル化しないかあるいはそれは騒々しいということはないかまたは両方ともだ
事実15: もし仮に「取材・編集でなくてそれに総髪だということはない」ものがあるならこの六以下は止めど無い
事実16: あの分娩直後は被災しない
事実17: もしあの分娩直後は生理的障害でないとすると「それは権力装置でない」ということは確かだ
事実18: もしなにかは母性保護でないとするとそれは打ちまけるかもしくはそれはパッケージ化しない
事実19: その角振動数は質入れしない

仮説: あの分娩直後は過ごし易くない
1. 事実5から、推論1: "仮にあの分娩直後は生理的障害でないとすると過ごし易くない"が導かれる
2. 推論1と事実8から、仮説が導かれる

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