あの育児労働は突き固めない一方でそれは憎らしい
fact1: もしも何かは幹道でないなら「影響され易いしさらに早し」ということは成り立たない fact2: もし仮になんらかのものが銃殺するなら調査報告書であるということはない fact3: なんらかのものは良縁だ fact4: もしあるものが嵩張るとすると銃殺する fact5: なんらかの物は手段化しないとしたら「それは総合評価であるが噛み合うということはない」ということは誤りだ fact6: もしある物が導入出来るとしたらそれは銃殺する fact7: 仮に「良縁である」ものがあればその予期は良縁であるかそれは品詞でない fact8: この執行受諾が影響され易いとするとその安全率は年金財政だ fact9: もしも「「その安全率は影響され易くてまた早し」ということは成り立たない」ということは成り立つとするとこの執行受諾は憎らしいということはない fact10: 仮にその予期は良縁であるかもしくは品詞でないかまたは両方ともであるなら品詞でない fact11: 仮に年金財政は商売でないなら早しない fact12: もし仮にあの育児労働が早しとすればあの安全率は商売だ一方で突き固めるということはない fact13: この執行受諾は影響され易い fact14: その安全率は年金財政である fact15: もしもその安全率が早しないとすればあの育児労働は突き固めるということはないけれど憎らしい fact16: もしもなんらかの物は総合評価でないとしたら「嵩張るかもしくは導入出来るかもしくは両方ともだ」ということは真実だ fact17: 仮に「なにかは総合評価だけど噛み合わない」ということは事実と異なるとすれば総合評価でない fact18: もし仮にこの執行受諾が影響され易いならその安全率は年金財政だけど商売でない fact19: もしとある物が調査報告書だということはないとすれば神々しいが幹道でない fact20: その妊娠中期が神々しいがしかし幹道でないならばその安全率は幹道でない fact21: もし「その予期は品詞であるということはない」ということは成り立つとすればその妊娠中期は手段化しない
fact18 & fact13 -> int1: その安全率は年金財政だけれど商売でない; fact11 -> int2: その安全率が年金財政であるがしかし商売でないとすればそれは早しない; int1 & int2 -> int3: 「その安全率は早しない」ということは正しい; int3 & fact15 -> hypothesis;
「あの育児労働は突き固めないけれどそれは憎らしい」ということは成り立たない
fact28 -> int4: その安全率は幹道でないとしたら「それは影響され易いししかも早し」ということは成り立たない; fact30 -> int5: もしもその妊娠中期が調査報告書でないとすれば神々しいしそれは幹道でない; fact22 -> int6: その妊娠中期は銃殺するとすると「調査報告書でない」ということは真実である; fact24 -> int7: もし「その妊娠中期は総合評価だということはない」ということは真実ならばそれは嵩張るか導入出来る; fact29 -> int8: 「その妊娠中期は総合評価だけれどそれは噛み合わない」ということは事実と異なるとしたら総合評価でない; fact23 -> int9: もしその妊娠中期は手段化しないとすれば「それは総合評価である一方で噛み合わない」ということは間違いだ; fact27 & fact32 -> int10: その予期は良縁であるかもしくはそれは品詞であるということはないかあるいは両方ともである; fact34 & int10 -> int11: その予期は品詞でない; fact25 & int11 -> int12: その妊娠中期は手段化するということはない; int9 & int12 -> int13: 「その妊娠中期は総合評価であるが噛み合うということはない」ということは事実と異なる; int8 & int13 -> int14: その妊娠中期は総合評価でない; int7 & int14 -> int15: その妊娠中期は嵩張るかまたはそれは導入出来るか両方ともである; fact35 -> int16: もしもその妊娠中期は嵩張るなら「銃殺する」ということは確かだ; fact26 -> int17: 「もしその妊娠中期が導入出来るとするとその妊娠中期は銃殺する」ということは正しい; int15 & int16 & int17 -> int18: その妊娠中期は銃殺する; int6 & int18 -> int19: その妊娠中期は調査報告書でない; int5 & int19 -> int20: 「その妊娠中期は神々しい一方で幹道でない」ということは事実である; fact33 & int20 -> int21: 「その安全率は幹道でない」ということは成り立つ; int4 & int21 -> int22: 「その安全率は影響され易くておまけに早し」ということは間違いである; fact31 & int22 -> int23: この執行受諾は憎らしくない; int23 -> int24: 何かは憎らしくない;
$facts$ = fact1: もしも何かは幹道でないなら「影響され易いしさらに早し」ということは成り立たない fact2: もし仮になんらかのものが銃殺するなら調査報告書であるということはない fact3: なんらかのものは良縁だ fact4: もしあるものが嵩張るとすると銃殺する fact5: なんらかの物は手段化しないとしたら「それは総合評価であるが噛み合うということはない」ということは誤りだ fact6: もしある物が導入出来るとしたらそれは銃殺する fact7: 仮に「良縁である」ものがあればその予期は良縁であるかそれは品詞でない fact8: この執行受諾が影響され易いとするとその安全率は年金財政だ fact9: もしも「「その安全率は影響され易くてまた早し」ということは成り立たない」ということは成り立つとするとこの執行受諾は憎らしいということはない fact10: 仮にその予期は良縁であるかもしくは品詞でないかまたは両方ともであるなら品詞でない fact11: 仮に年金財政は商売でないなら早しない fact12: もし仮にあの育児労働が早しとすればあの安全率は商売だ一方で突き固めるということはない fact13: この執行受諾は影響され易い fact14: その安全率は年金財政である fact15: もしもその安全率が早しないとすればあの育児労働は突き固めるということはないけれど憎らしい fact16: もしもなんらかの物は総合評価でないとしたら「嵩張るかもしくは導入出来るかもしくは両方ともだ」ということは真実だ fact17: 仮に「なにかは総合評価だけど噛み合わない」ということは事実と異なるとすれば総合評価でない fact18: もし仮にこの執行受諾が影響され易いならその安全率は年金財政だけど商売でない fact19: もしとある物が調査報告書だということはないとすれば神々しいが幹道でない fact20: その妊娠中期が神々しいがしかし幹道でないならばその安全率は幹道でない fact21: もし「その予期は品詞であるということはない」ということは成り立つとすればその妊娠中期は手段化しない ; $hypothesis$ = あの育児労働は突き固めない一方でそれは憎らしい ; $proof$ = 
fact18 & fact13 -> int1: その安全率は年金財政だけれど商売でない; fact11 -> int2: その安全率が年金財政であるがしかし商売でないとすればそれは早しない; int1 & int2 -> int3: 「その安全率は早しない」ということは正しい; int3 & fact15 -> hypothesis; __PROVED__
事実1: もしも何かは幹道でないなら「影響され易いしさらに早し」ということは成り立たない
事実2: もし仮になんらかのものが銃殺するなら調査報告書であるということはない
事実3: なんらかのものは良縁だ
事実4: もしあるものが嵩張るとすると銃殺する
事実5: なんらかの物は手段化しないとしたら「それは総合評価であるが噛み合うということはない」ということは誤りだ
事実6: もしある物が導入出来るとしたらそれは銃殺する
事実7: 仮に「良縁である」ものがあればその予期は良縁であるかそれは品詞でない
事実8: この執行受諾が影響され易いとするとその安全率は年金財政だ
事実9: もしも「「その安全率は影響され易くてまた早し」ということは成り立たない」ということは成り立つとするとこの執行受諾は憎らしいということはない
事実10: 仮にその予期は良縁であるかもしくは品詞でないかまたは両方ともであるなら品詞でない
事実11: 仮に年金財政は商売でないなら早しない
事実12: もし仮にあの育児労働が早しとすればあの安全率は商売だ一方で突き固めるということはない
事実13: この執行受諾は影響され易い
事実14: その安全率は年金財政である
事実15: もしもその安全率が早しないとすればあの育児労働は突き固めるということはないけれど憎らしい
事実16: もしもなんらかの物は総合評価でないとしたら「嵩張るかもしくは導入出来るかもしくは両方ともだ」ということは真実だ
事実17: 仮に「なにかは総合評価だけど噛み合わない」ということは事実と異なるとすれば総合評価でない
事実18: もし仮にこの執行受諾が影響され易いならその安全率は年金財政だけど商売でない
事実19: もしとある物が調査報告書だということはないとすれば神々しいが幹道でない
事実20: その妊娠中期が神々しいがしかし幹道でないならばその安全率は幹道でない
事実21: もし「その予期は品詞であるということはない」ということは成り立つとすればその妊娠中期は手段化しない

仮説: あの育児労働は突き固めない一方でそれは憎らしい
1. 事実18と事実13から、推論1: "その安全率は年金財政だけれど商売でない"が導かれる
2. 事実11から、推論2: "その安全率が年金財政であるがしかし商売でないとすればそれは早しない"が導かれる
3. 推論1と推論2から、推論3: "「その安全率は早しない」ということは正しい"が導かれる
4. 推論3と事実15から、仮説が導かれる

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