あの年金換算利率は削除出来ない一方で働き難い
fact1: もしもとある物は生成し易くないならばそれは気持ち悪さでない fact2: もし「あの年金換算利率は削除出来ないがしかし働き難い」ということは嘘だとすれば生成し易くない fact3: あの年金換算利率は快くてそれにそれは飲み難い fact4: 仮になにかは快いならそれは気持ち悪さだ fact5: 「何かは働き難いしそれに気持ち悪さである」ということは間違っているならそれは働き難いということはない
void -> assump1: 以下のように仮定する。「あの年金換算利率は削除出来ないがしかし働き難い」ということは誤っている; fact2 & assump1 -> int1: あの年金換算利率は生成し易くない; fact1 -> int2: あの年金換算利率は生成し易くないとしたら「それは気持ち悪さだということはない」ということは成り立つ; int1 & int2 -> int3: あの年金換算利率は気持ち悪さでない; fact4 -> int4: 仮にあの年金換算利率が快いとするとそれは気持ち悪さである; fact3 -> int5: あの年金換算利率は快い; int4 & int5 -> int6: あの年金換算利率は気持ち悪さだ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「あの年金換算利率は削除出来ない一方でそれは働き難い」ということは誤っている
fact6 -> int8: もし「あの社内利用目的は働き難いし気持ち悪さだ」ということは誤りであるとするとそれは働き難くない;
$facts$ = fact1: もしもとある物は生成し易くないならばそれは気持ち悪さでない fact2: もし「あの年金換算利率は削除出来ないがしかし働き難い」ということは嘘だとすれば生成し易くない fact3: あの年金換算利率は快くてそれにそれは飲み難い fact4: 仮になにかは快いならそれは気持ち悪さだ fact5: 「何かは働き難いしそれに気持ち悪さである」ということは間違っているならそれは働き難いということはない ; $hypothesis$ = あの年金換算利率は削除出来ない一方で働き難い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの年金換算利率は削除出来ないがしかし働き難い」ということは誤っている; fact2 & assump1 -> int1: あの年金換算利率は生成し易くない; fact1 -> int2: あの年金換算利率は生成し易くないとしたら「それは気持ち悪さだということはない」ということは成り立つ; int1 & int2 -> int3: あの年金換算利率は気持ち悪さでない; fact4 -> int4: 仮にあの年金換算利率が快いとするとそれは気持ち悪さである; fact3 -> int5: あの年金換算利率は快い; int4 & int5 -> int6: あの年金換算利率は気持ち悪さだ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもとある物は生成し易くないならばそれは気持ち悪さでない
事実2: もし「あの年金換算利率は削除出来ないがしかし働き難い」ということは嘘だとすれば生成し易くない
事実3: あの年金換算利率は快くてそれにそれは飲み難い
事実4: 仮になにかは快いならそれは気持ち悪さだ
事実5: 「何かは働き難いしそれに気持ち悪さである」ということは間違っているならそれは働き難いということはない

仮説: あの年金換算利率は削除出来ない一方で働き難い
1. 仮定1: 以下のように仮定する。「あの年金換算利率は削除出来ないがしかし働き難い」ということは誤っている
2. 事実2と仮定1から、推論1: "あの年金換算利率は生成し易くない"が導かれる
3. 事実1から、推論2: "あの年金換算利率は生成し易くないとしたら「それは気持ち悪さだということはない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "あの年金換算利率は気持ち悪さでない"が導かれる
5. 事実4から、推論4: "仮にあの年金換算利率が快いとするとそれは気持ち悪さである"が導かれる
6. 事実3から、推論5: "あの年金換算利率は快い"が導かれる
7. 推論4と推論5から、推論6: "あの年金換算利率は気持ち悪さだ"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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