この加増は世知辛い
fact1: 仮になにがしかのものが嫉妬深いとするとそれは暮らし易い fact2: 「土地取得でない」物はある fact3: もしもなにかは土地取得でないけれど暮らし易いとしたらあのなりさんは利用し易い fact4: あの定期市は据え付けないけど交戦権だ fact5: この株式ポートフォリオは暮らし易い fact6: 暮らし易いものはある fact7: 「痛み易い物は環境分野である」ということは成り立つ fact8: この株式ポートフォリオは欠配でない fact9: この株式ポートフォリオは利用し易い fact10: もし仮にあのなりさんが暮らし易いとするとそれは痛み易い fact11: 「土地取得だし暮らし易い」物はある fact12: この株式ポートフォリオが嫉妬深いなら暮らし易い fact13: もし仮にとある物が嫉妬深いとするとそれは土地取得でないがしかし暮らし易い fact14: この株式ポートフォリオは欠配でないが嫉妬深い fact15: もし仮に「何かは利用し易い」ということは成り立つとすると「痛み易い」ということは正しい fact16: この加増は痛み易い fact17: あのなりさんは環境分野であるならば「この加増は労働市場論だ」ということは成り立つ fact18: 仮になんらかの物が労働市場論だとしたら世知辛い fact19: 仮に「なんらかの物は嫉妬深い一方で欠配でない」ということは成り立たないなら世知辛いということはない fact20: もしも何かは暮らし易くないとすれば「嫉妬深いし加えてそれは欠配でない」ということは確かでない
fact14 -> int1: 「この株式ポートフォリオは嫉妬深い」ということは成り立つ; fact13 -> int2: この株式ポートフォリオが嫉妬深いとしたら土地取得でないがしかし暮らし易い; int1 & int2 -> int3: この株式ポートフォリオは土地取得でないけれど暮らし易い; int3 -> int4: 「「土地取得でないけれど暮らし易い」ということは成り立つ」物はある; int4 & fact3 -> int5: あのなりさんは利用し易い; fact15 -> int6: 仮にあのなりさんが利用し易いとするとそれは痛み易い; int5 & int6 -> int7: あのなりさんは痛み易い; fact7 -> int8: 仮に「あのなりさんは痛み易い」ということは間違っていないとするとそれは環境分野である; int7 & int8 -> int9: あのなりさんは環境分野だ; int9 & fact17 -> int10: この加増は労働市場論である; fact18 -> int11: この加増は労働市場論であるならばそれは世知辛い; int10 & int11 -> hypothesis;
この加増は世知辛くない
fact21 -> int12: もし仮に「この加増は嫉妬深い一方で欠配でない」ということは事実と異なるとすればそれは世知辛くない; fact22 -> int13: もしもこの加増は暮らし易くないとしたら「嫉妬深いがしかし欠配であるということはない」ということは事実と異なる;
$facts$ = fact1: 仮になにがしかのものが嫉妬深いとするとそれは暮らし易い fact2: 「土地取得でない」物はある fact3: もしもなにかは土地取得でないけれど暮らし易いとしたらあのなりさんは利用し易い fact4: あの定期市は据え付けないけど交戦権だ fact5: この株式ポートフォリオは暮らし易い fact6: 暮らし易いものはある fact7: 「痛み易い物は環境分野である」ということは成り立つ fact8: この株式ポートフォリオは欠配でない fact9: この株式ポートフォリオは利用し易い fact10: もし仮にあのなりさんが暮らし易いとするとそれは痛み易い fact11: 「土地取得だし暮らし易い」物はある fact12: この株式ポートフォリオが嫉妬深いなら暮らし易い fact13: もし仮にとある物が嫉妬深いとするとそれは土地取得でないがしかし暮らし易い fact14: この株式ポートフォリオは欠配でないが嫉妬深い fact15: もし仮に「何かは利用し易い」ということは成り立つとすると「痛み易い」ということは正しい fact16: この加増は痛み易い fact17: あのなりさんは環境分野であるならば「この加増は労働市場論だ」ということは成り立つ fact18: 仮になんらかの物が労働市場論だとしたら世知辛い fact19: 仮に「なんらかの物は嫉妬深い一方で欠配でない」ということは成り立たないなら世知辛いということはない fact20: もしも何かは暮らし易くないとすれば「嫉妬深いし加えてそれは欠配でない」ということは確かでない ; $hypothesis$ = この加増は世知辛い ; $proof$ = 
fact14 -> int1: 「この株式ポートフォリオは嫉妬深い」ということは成り立つ; fact13 -> int2: この株式ポートフォリオが嫉妬深いとしたら土地取得でないがしかし暮らし易い; int1 & int2 -> int3: この株式ポートフォリオは土地取得でないけれど暮らし易い; int3 -> int4: 「「土地取得でないけれど暮らし易い」ということは成り立つ」物はある; int4 & fact3 -> int5: あのなりさんは利用し易い; fact15 -> int6: 仮にあのなりさんが利用し易いとするとそれは痛み易い; int5 & int6 -> int7: あのなりさんは痛み易い; fact7 -> int8: 仮に「あのなりさんは痛み易い」ということは間違っていないとするとそれは環境分野である; int7 & int8 -> int9: あのなりさんは環境分野だ; int9 & fact17 -> int10: この加増は労働市場論である; fact18 -> int11: この加増は労働市場論であるならばそれは世知辛い; int10 & int11 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものが嫉妬深いとするとそれは暮らし易い
事実2: 「土地取得でない」物はある
事実3: もしもなにかは土地取得でないけれど暮らし易いとしたらあのなりさんは利用し易い
事実4: あの定期市は据え付けないけど交戦権だ
事実5: この株式ポートフォリオは暮らし易い
事実6: 暮らし易いものはある
事実7: 「痛み易い物は環境分野である」ということは成り立つ
事実8: この株式ポートフォリオは欠配でない
事実9: この株式ポートフォリオは利用し易い
事実10: もし仮にあのなりさんが暮らし易いとするとそれは痛み易い
事実11: 「土地取得だし暮らし易い」物はある
事実12: この株式ポートフォリオが嫉妬深いなら暮らし易い
事実13: もし仮にとある物が嫉妬深いとするとそれは土地取得でないがしかし暮らし易い
事実14: この株式ポートフォリオは欠配でないが嫉妬深い
事実15: もし仮に「何かは利用し易い」ということは成り立つとすると「痛み易い」ということは正しい
事実16: この加増は痛み易い
事実17: あのなりさんは環境分野であるならば「この加増は労働市場論だ」ということは成り立つ
事実18: 仮になんらかの物が労働市場論だとしたら世知辛い
事実19: 仮に「なんらかの物は嫉妬深い一方で欠配でない」ということは成り立たないなら世知辛いということはない
事実20: もしも何かは暮らし易くないとすれば「嫉妬深いし加えてそれは欠配でない」ということは確かでない

仮説: この加増は世知辛い
1. 事実14から、推論1: "「この株式ポートフォリオは嫉妬深い」ということは成り立つ"が導かれる
2. 事実13から、推論2: "この株式ポートフォリオが嫉妬深いとしたら土地取得でないがしかし暮らし易い"が導かれる
3. 推論1と推論2から、推論3: "この株式ポートフォリオは土地取得でないけれど暮らし易い"が導かれる
4. 推論3から、推論4: "「「土地取得でないけれど暮らし易い」ということは成り立つ」物はある"が導かれる
5. 推論4と事実3から、推論5: "あのなりさんは利用し易い"が導かれる
6. 事実15から、推論6: "仮にあのなりさんが利用し易いとするとそれは痛み易い"が導かれる
7. 推論5と推論6から、推論7: "あのなりさんは痛み易い"が導かれる
8. 事実7から、推論8: "仮に「あのなりさんは痛み易い」ということは間違っていないとするとそれは環境分野である"が導かれる
9. 推論7と推論8から、推論9: "あのなりさんは環境分野だ"が導かれる
10. 推論9と事実17から、推論10: "この加増は労働市場論である"が導かれる
11. 事実18から、推論11: "この加増は労働市場論であるならばそれは世知辛い"が導かれる
12. 推論10と推論11から、仮説が導かれる

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