この多さは太いということはない
fact1: その全企業は打ち易くない fact2: もしもこの多さが太くないとすればそれは簡便化で更に打ち易い fact3: もし仮にこの多さが与し易くないとすると失効する fact4: ある物は魔法街でないならば「与し易くてそれに精鋭だ」ということは正しい fact5: 仮にこの多さが古臭くないとすると生み出せない fact6: もし「この多さは精鋭でない」ということは正しいならば与し易くない fact7: 「この多さは打ち易いけれど与し易くない」ということは事実と異なる fact8: 「この多さは精鋭でない」ということは成り立つ fact9: あの全戸は打ち易い
void -> assump1: 以下のように仮定する。「この多さは太くない」ということは正しい; fact2 & assump1 -> int1: この多さは簡便化であるしまた打ち易い; int1 -> int2: この多さは打ち易い; fact8 & fact6 -> int3: この多さは与し易くない; int2 & int3 -> int4: この多さは打ち易いがしかしそれは与し易くない; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
この職住近接は打ち易くない
fact10 -> int6: もしもこの職住近接が魔法街でないなら与し易くてそれは精鋭だ;
$facts$ = fact1: その全企業は打ち易くない fact2: もしもこの多さが太くないとすればそれは簡便化で更に打ち易い fact3: もし仮にこの多さが与し易くないとすると失効する fact4: ある物は魔法街でないならば「与し易くてそれに精鋭だ」ということは正しい fact5: 仮にこの多さが古臭くないとすると生み出せない fact6: もし「この多さは精鋭でない」ということは正しいならば与し易くない fact7: 「この多さは打ち易いけれど与し易くない」ということは事実と異なる fact8: 「この多さは精鋭でない」ということは成り立つ fact9: あの全戸は打ち易い ; $hypothesis$ = この多さは太いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この多さは太くない」ということは正しい; fact2 & assump1 -> int1: この多さは簡便化であるしまた打ち易い; int1 -> int2: この多さは打ち易い; fact8 & fact6 -> int3: この多さは与し易くない; int2 & int3 -> int4: この多さは打ち易いがしかしそれは与し易くない; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: その全企業は打ち易くない
事実2: もしもこの多さが太くないとすればそれは簡便化で更に打ち易い
事実3: もし仮にこの多さが与し易くないとすると失効する
事実4: ある物は魔法街でないならば「与し易くてそれに精鋭だ」ということは正しい
事実5: 仮にこの多さが古臭くないとすると生み出せない
事実6: もし「この多さは精鋭でない」ということは正しいならば与し易くない
事実7: 「この多さは打ち易いけれど与し易くない」ということは事実と異なる
事実8: 「この多さは精鋭でない」ということは成り立つ
事実9: あの全戸は打ち易い

仮説: この多さは太いということはない
1. 仮定1: 以下のように仮定する。「この多さは太くない」ということは正しい
2. 事実2と仮定1から、推論1: "この多さは簡便化であるしまた打ち易い"が導かれる
3. 推論1から、推論2: "この多さは打ち易い"が導かれる
4. 事実8と事実6から、推論3: "この多さは与し易くない"が導かれる
5. 推論2と推論3から、推論4: "この多さは打ち易いがしかしそれは与し易くない"が導かれる
6. 推論4と事実7から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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