その傾眠は押し付けがましかない
fact1: もし仮にこの鉱山労働者が覚え難いならば費用構成でない fact2: もしもその傾眠が手際良いならばそれは費用構成でないしまた押し付けがましい fact3: 「この鉱山労働者は覚え難い」ということは確かだ fact4: この鉱山労働者はしがなくない fact5: もしなにがしかのものがでかいならそれはしがなくない fact6: 「この鉱山労働者は熱病でない」ということは事実だとすればその由縁は熱病でないが溶け易い fact7: その由縁がでかいとしたらそれは溶け易くないがしかし熱病である fact8: 「その由縁は熱病でないがしがない」ということは誤っている fact9: 「この鉱山労働者は費用構成であるし手際良い」ということは確かでない fact10: しがない物はでかいということはない一方で熱病だ fact11: でかくない物は押し付けがましかない fact12: しがないものは覚え難いということはなくて熱病でない fact13: 仮にこの鉱山労働者が熱病でないならその由縁は溶け易い fact14: その由縁は溶け易い fact15: もし仮にその由縁が費用構成でない一方で手際良いとすればこの鉱山労働者は熱病だ fact16: この腰巻は相前後しないが国内利子率だ fact17: もし仮にこの鉱山労働者はでかくないとしたら「それは費用構成でなくておまけに手際良い」ということは成り立たない fact18: でかいものは熱病でないしさらにしがなくない fact19: もしこの鉱山労働者がでかいならばしがなくない fact20: 仮にその由縁が熱病でないけれどそれは溶け易いとすれば「その傾眠は押し付けがましい」ということは事実である fact21: この鉱山労働者は溶け易い fact22: 仮にこの鉱山労働者が覚え難いとしたらそれは費用構成でないが手際良い fact23: その傾眠はごつかない fact24: しがないものは費用構成でないしおまけに溶け易くない fact25: この鉱山労働者は費用構成でない fact26: もし仮にこの鉱山労働者はでかくないとすれば「それは費用構成であるし加えて手際良い」ということは嘘である
void -> assump1: 以下のように仮定する。この鉱山労働者はでかくない; fact17 & assump1 -> int1: 「この鉱山労働者は費用構成でないけど手際良い」ということは成り立たない; fact22 & fact3 -> int2: この鉱山労働者は費用構成でないけど手際良い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この鉱山労働者はでかい; fact18 -> int5: この鉱山労働者がでかいならそれは熱病だということはなくてまたしがないということはない; int4 & int5 -> int6: この鉱山労働者は熱病でなくてかつそれはしがないということはない; int6 -> int7: この鉱山労働者は熱病でない; int7 & fact6 -> int8: その由縁は熱病でないけどそれは溶け易い; int8 & fact20 -> hypothesis;
その傾眠は押し付けがましかない
fact28 -> int9: もし仮にその傾眠がでかくないとすれば押し付けがましかない; fact27 -> int10: その傾眠がしがないならばそれはでかくないけど熱病だ;
$facts$ = fact1: もし仮にこの鉱山労働者が覚え難いならば費用構成でない fact2: もしもその傾眠が手際良いならばそれは費用構成でないしまた押し付けがましい fact3: 「この鉱山労働者は覚え難い」ということは確かだ fact4: この鉱山労働者はしがなくない fact5: もしなにがしかのものがでかいならそれはしがなくない fact6: 「この鉱山労働者は熱病でない」ということは事実だとすればその由縁は熱病でないが溶け易い fact7: その由縁がでかいとしたらそれは溶け易くないがしかし熱病である fact8: 「その由縁は熱病でないがしがない」ということは誤っている fact9: 「この鉱山労働者は費用構成であるし手際良い」ということは確かでない fact10: しがない物はでかいということはない一方で熱病だ fact11: でかくない物は押し付けがましかない fact12: しがないものは覚え難いということはなくて熱病でない fact13: 仮にこの鉱山労働者が熱病でないならその由縁は溶け易い fact14: その由縁は溶け易い fact15: もし仮にその由縁が費用構成でない一方で手際良いとすればこの鉱山労働者は熱病だ fact16: この腰巻は相前後しないが国内利子率だ fact17: もし仮にこの鉱山労働者はでかくないとしたら「それは費用構成でなくておまけに手際良い」ということは成り立たない fact18: でかいものは熱病でないしさらにしがなくない fact19: もしこの鉱山労働者がでかいならばしがなくない fact20: 仮にその由縁が熱病でないけれどそれは溶け易いとすれば「その傾眠は押し付けがましい」ということは事実である fact21: この鉱山労働者は溶け易い fact22: 仮にこの鉱山労働者が覚え難いとしたらそれは費用構成でないが手際良い fact23: その傾眠はごつかない fact24: しがないものは費用構成でないしおまけに溶け易くない fact25: この鉱山労働者は費用構成でない fact26: もし仮にこの鉱山労働者はでかくないとすれば「それは費用構成であるし加えて手際良い」ということは嘘である ; $hypothesis$ = その傾眠は押し付けがましかない ; $proof$ = 
void -> assump1: 以下のように仮定する。この鉱山労働者はでかくない; fact17 & assump1 -> int1: 「この鉱山労働者は費用構成でないけど手際良い」ということは成り立たない; fact22 & fact3 -> int2: この鉱山労働者は費用構成でないけど手際良い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この鉱山労働者はでかい; fact18 -> int5: この鉱山労働者がでかいならそれは熱病だということはなくてまたしがないということはない; int4 & int5 -> int6: この鉱山労働者は熱病でなくてかつそれはしがないということはない; int6 -> int7: この鉱山労働者は熱病でない; int7 & fact6 -> int8: その由縁は熱病でないけどそれは溶け易い; int8 & fact20 -> hypothesis; __DISPROVED__
事実1: もし仮にこの鉱山労働者が覚え難いならば費用構成でない
事実2: もしもその傾眠が手際良いならばそれは費用構成でないしまた押し付けがましい
事実3: 「この鉱山労働者は覚え難い」ということは確かだ
事実4: この鉱山労働者はしがなくない
事実5: もしなにがしかのものがでかいならそれはしがなくない
事実6: 「この鉱山労働者は熱病でない」ということは事実だとすればその由縁は熱病でないが溶け易い
事実7: その由縁がでかいとしたらそれは溶け易くないがしかし熱病である
事実8: 「その由縁は熱病でないがしがない」ということは誤っている
事実9: 「この鉱山労働者は費用構成であるし手際良い」ということは確かでない
事実10: しがない物はでかいということはない一方で熱病だ
事実11: でかくない物は押し付けがましかない
事実12: しがないものは覚え難いということはなくて熱病でない
事実13: 仮にこの鉱山労働者が熱病でないならその由縁は溶け易い
事実14: その由縁は溶け易い
事実15: もし仮にその由縁が費用構成でない一方で手際良いとすればこの鉱山労働者は熱病だ
事実16: この腰巻は相前後しないが国内利子率だ
事実17: もし仮にこの鉱山労働者はでかくないとしたら「それは費用構成でなくておまけに手際良い」ということは成り立たない
事実18: でかいものは熱病でないしさらにしがなくない
事実19: もしこの鉱山労働者がでかいならばしがなくない
事実20: 仮にその由縁が熱病でないけれどそれは溶け易いとすれば「その傾眠は押し付けがましい」ということは事実である
事実21: この鉱山労働者は溶け易い
事実22: 仮にこの鉱山労働者が覚え難いとしたらそれは費用構成でないが手際良い
事実23: その傾眠はごつかない
事実24: しがないものは費用構成でないしおまけに溶け易くない
事実25: この鉱山労働者は費用構成でない
事実26: もし仮にこの鉱山労働者はでかくないとすれば「それは費用構成であるし加えて手際良い」ということは嘘である

仮説: その傾眠は押し付けがましかない
1. 仮定1: 以下のように仮定する。この鉱山労働者はでかくない
2. 事実17と仮定1から、推論1: "「この鉱山労働者は費用構成でないけど手際良い」ということは成り立たない"が導かれる
3. 事実22と事実3から、推論2: "この鉱山労働者は費用構成でないけど手際良い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この鉱山労働者はでかい"が導かれる
6. 事実18から、推論5: "この鉱山労働者がでかいならそれは熱病だということはなくてまたしがないということはない"が導かれる
7. 推論4と推論5から、推論6: "この鉱山労働者は熱病でなくてかつそれはしがないということはない"が導かれる
8. 推論6から、推論7: "この鉱山労働者は熱病でない"が導かれる
9. 推論7と事実6から、推論8: "その由縁は熱病でないけどそれは溶け易い"が導かれる
10. 推論8と事実20から、仮説が否定される

よって、仮説が否定されました。