この公園内は生き易くないしその上遣り辛くない
fact1: なにかはクランクブロスでないしさらにそれは厳くない fact2: もし仮にこの道徳感情論が比較し得ないならばこの公園内は比較し得ないがしかし気付き始める fact3: なんらかのものは気付き始めないしまた生き易くない fact4: なんらかのものが入手し易いけど塩田でないとするとこの道徳感情論は比較し得ない fact5: 「頻らない」物はある fact6: 「入手し易くないしおまけに塩田でない」ものはある fact7: もしも「「とある物は入手し易くて加えてそれは結晶軸である」ということは真実だ」ということは事実でないなら結晶軸であるということはない fact8: もしこの公園内が国家毒性プログラムでないとすればそれは打ち上がり易くなくて豚小屋でない fact9: あのモロ族は比較し得ない fact10: この公園内は比較し得ないなら生き易くない fact11: もし仮になんらかのものは比較し得ないならそれは生き易くなくて遣り辛くない fact12: もしもなにかは入手し易くないし加えて塩田でないならば「この道徳感情論は比較し得ない」ということは本当である fact13: もし「あるものは気付き始めない」ということは真実だとすると遣り辛いということはない fact14: なにがしかの物は出版出来る一方で医療設備でない fact15: 「この公園内はフォートコントロールでないし恣意でない」ということは偽だということはない fact16: 「嘆かわしくて加えて赤くない」物はある
fact6 & fact12 -> int1: この道徳感情論は比較し得ない; int1 & fact2 -> int2: この公園内は比較し得ないけれど気付き始める; int2 -> int3: この公園内は比較し得ない; fact11 -> int4: もしもこの公園内が比較し得るということはないとすると生き易くないしおまけに遣り辛くない; int3 & int4 -> hypothesis;
あるものは握手しないしそれは結晶軸でない
fact17 -> int5: もしも「「この公園内は入手し易くてそれは結晶軸だ」ということは事実だ」ということは間違いであるとすれば結晶軸でない;
$facts$ = fact1: なにかはクランクブロスでないしさらにそれは厳くない fact2: もし仮にこの道徳感情論が比較し得ないならばこの公園内は比較し得ないがしかし気付き始める fact3: なんらかのものは気付き始めないしまた生き易くない fact4: なんらかのものが入手し易いけど塩田でないとするとこの道徳感情論は比較し得ない fact5: 「頻らない」物はある fact6: 「入手し易くないしおまけに塩田でない」ものはある fact7: もしも「「とある物は入手し易くて加えてそれは結晶軸である」ということは真実だ」ということは事実でないなら結晶軸であるということはない fact8: もしこの公園内が国家毒性プログラムでないとすればそれは打ち上がり易くなくて豚小屋でない fact9: あのモロ族は比較し得ない fact10: この公園内は比較し得ないなら生き易くない fact11: もし仮になんらかのものは比較し得ないならそれは生き易くなくて遣り辛くない fact12: もしもなにかは入手し易くないし加えて塩田でないならば「この道徳感情論は比較し得ない」ということは本当である fact13: もし「あるものは気付き始めない」ということは真実だとすると遣り辛いということはない fact14: なにがしかの物は出版出来る一方で医療設備でない fact15: 「この公園内はフォートコントロールでないし恣意でない」ということは偽だということはない fact16: 「嘆かわしくて加えて赤くない」物はある ; $hypothesis$ = この公園内は生き易くないしその上遣り辛くない ; $proof$ = 
fact6 & fact12 -> int1: この道徳感情論は比較し得ない; int1 & fact2 -> int2: この公園内は比較し得ないけれど気付き始める; int2 -> int3: この公園内は比較し得ない; fact11 -> int4: もしもこの公園内が比較し得るということはないとすると生き易くないしおまけに遣り辛くない; int3 & int4 -> hypothesis; __PROVED__
事実1: なにかはクランクブロスでないしさらにそれは厳くない
事実2: もし仮にこの道徳感情論が比較し得ないならばこの公園内は比較し得ないがしかし気付き始める
事実3: なんらかのものは気付き始めないしまた生き易くない
事実4: なんらかのものが入手し易いけど塩田でないとするとこの道徳感情論は比較し得ない
事実5: 「頻らない」物はある
事実6: 「入手し易くないしおまけに塩田でない」ものはある
事実7: もしも「「とある物は入手し易くて加えてそれは結晶軸である」ということは真実だ」ということは事実でないなら結晶軸であるということはない
事実8: もしこの公園内が国家毒性プログラムでないとすればそれは打ち上がり易くなくて豚小屋でない
事実9: あのモロ族は比較し得ない
事実10: この公園内は比較し得ないなら生き易くない
事実11: もし仮になんらかのものは比較し得ないならそれは生き易くなくて遣り辛くない
事実12: もしもなにかは入手し易くないし加えて塩田でないならば「この道徳感情論は比較し得ない」ということは本当である
事実13: もし「あるものは気付き始めない」ということは真実だとすると遣り辛いということはない
事実14: なにがしかの物は出版出来る一方で医療設備でない
事実15: 「この公園内はフォートコントロールでないし恣意でない」ということは偽だということはない
事実16: 「嘆かわしくて加えて赤くない」物はある

仮説: この公園内は生き易くないしその上遣り辛くない
1. 事実6と事実12から、推論1: "この道徳感情論は比較し得ない"が導かれる
2. 推論1と事実2から、推論2: "この公園内は比較し得ないけれど気付き始める"が導かれる
3. 推論2から、推論3: "この公園内は比較し得ない"が導かれる
4. 事実11から、推論4: "もしもこの公園内が比較し得るということはないとすると生き易くないしおまけに遣り辛くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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