この労働市場は成され易くない
fact1: もしこの直接処遇班が成され易くないしせせこましくないとするとこの労働市場は成され易いということはない fact2: 染み込み易くない物はせせこましいし加えて交渉出来る fact3: もしもこの直接処遇班が染み込み易くないとしたらその百条委員会は送り返すしそれは認め難い fact4: 成され易くないものが署名捺印しないとしたら相談し易い fact5: 仮に「その百条委員会は送り返す一方で相談し易くない」ということは事実だとするとこの労働市場は成され易い fact6: 新町は成され易くないしさらに署名捺印しない fact7: もし「この直接処遇班は認め難くないが送り返す」ということは偽ならあの否定論は染み込み易いということはない fact8: あのアイロン張りは点如何であるしまた新町だ fact9: 「相談し易くないし更に署名捺印しない」ものはある fact10: その百条委員会は相談し易くない fact11: あのアイロン張りはせせこましくない fact12: この直接処遇班が染み込み易いならあのアイロン張りはせせこましい
void -> assump1: 以下のように仮定する。この直接処遇班は染み込み易い; fact12 & assump1 -> int1: あのアイロン張りはせせこましい; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: この直接処遇班は染み込み易いということはない; int3 & fact3 -> int4: その百条委員会は送り返すし認め難い; int4 -> int5: その百条委員会は送り返す; int5 & fact10 -> int6: その百条委員会は送り返す一方でそれは相談し易くない; int6 & fact5 -> hypothesis;
あの否定論はせせこましくてそれは交渉出来る
fact14 -> int7: あの否定論が染み込み易くないとしたらそれはせせこましいしおまけに交渉出来る; fact15 -> int8: もし仮にあのアイロン張りは成され易くないし署名捺印しないならそれは相談し易い; fact17 -> int9: 仮にあのアイロン張りが新町ならばそれは成され易くないし更にそれは署名捺印しない; fact16 -> int10: あのアイロン張りは新町である; int9 & int10 -> int11: あのアイロン張りは成され易くないしそれに署名捺印しない; int8 & int11 -> int12: あのアイロン張りは相談し易い; int12 -> int13: 「相談し易い」物はある;
$facts$ = fact1: もしこの直接処遇班が成され易くないしせせこましくないとするとこの労働市場は成され易いということはない fact2: 染み込み易くない物はせせこましいし加えて交渉出来る fact3: もしもこの直接処遇班が染み込み易くないとしたらその百条委員会は送り返すしそれは認め難い fact4: 成され易くないものが署名捺印しないとしたら相談し易い fact5: 仮に「その百条委員会は送り返す一方で相談し易くない」ということは事実だとするとこの労働市場は成され易い fact6: 新町は成され易くないしさらに署名捺印しない fact7: もし「この直接処遇班は認め難くないが送り返す」ということは偽ならあの否定論は染み込み易いということはない fact8: あのアイロン張りは点如何であるしまた新町だ fact9: 「相談し易くないし更に署名捺印しない」ものはある fact10: その百条委員会は相談し易くない fact11: あのアイロン張りはせせこましくない fact12: この直接処遇班が染み込み易いならあのアイロン張りはせせこましい ; $hypothesis$ = この労働市場は成され易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この直接処遇班は染み込み易い; fact12 & assump1 -> int1: あのアイロン張りはせせこましい; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: この直接処遇班は染み込み易いということはない; int3 & fact3 -> int4: その百条委員会は送り返すし認め難い; int4 -> int5: その百条委員会は送り返す; int5 & fact10 -> int6: その百条委員会は送り返す一方でそれは相談し易くない; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もしこの直接処遇班が成され易くないしせせこましくないとするとこの労働市場は成され易いということはない
事実2: 染み込み易くない物はせせこましいし加えて交渉出来る
事実3: もしもこの直接処遇班が染み込み易くないとしたらその百条委員会は送り返すしそれは認め難い
事実4: 成され易くないものが署名捺印しないとしたら相談し易い
事実5: 仮に「その百条委員会は送り返す一方で相談し易くない」ということは事実だとするとこの労働市場は成され易い
事実6: 新町は成され易くないしさらに署名捺印しない
事実7: もし「この直接処遇班は認め難くないが送り返す」ということは偽ならあの否定論は染み込み易いということはない
事実8: あのアイロン張りは点如何であるしまた新町だ
事実9: 「相談し易くないし更に署名捺印しない」ものはある
事実10: その百条委員会は相談し易くない
事実11: あのアイロン張りはせせこましくない
事実12: この直接処遇班が染み込み易いならあのアイロン張りはせせこましい

仮説: この労働市場は成され易くない
1. 仮定1: 以下のように仮定する。この直接処遇班は染み込み易い
2. 事実12と仮定1から、推論1: "あのアイロン張りはせせこましい"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この直接処遇班は染み込み易いということはない"が導かれる
5. 推論3と事実3から、推論4: "その百条委員会は送り返すし認め難い"が導かれる
6. 推論4から、推論5: "その百条委員会は送り返す"が導かれる
7. 推論5と事実10から、推論6: "その百条委員会は送り返す一方でそれは相談し易くない"が導かれる
8. 推論6と事実5から、仮説が否定される

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