その女主人は働き難くない
fact1: 仮になにがしかの物が築き難いとすればそれは働き難い fact2: 「もし仮にこのコンソーシアムが築き難いならその女主人は安い」ということは事実と異ならない fact3: もし仮にこのマングローブ林は一Ｈだししかも築き難いとしたら「このコンソーシアムは築き難くない」ということは確かだ fact4: その景観評価は誘い合うということはない fact5: 築き難くない物は働き難くないけれど安い fact6: このコンソーシアムは安い fact7: もしもこのコンソーシアムは築き難くないならば「その女主人は築き難くない」ということは成り立つ fact8: このコンソーシアムが安いとしたらその女主人は築き難い fact9: その女主人が滞り易いとすればそれは安い
fact8 & fact6 -> int1: その女主人は築き難い; fact1 -> int2: 仮にその女主人が築き難いとするとそれは働き難い; int1 & int2 -> hypothesis;
その女主人は働き難くない
fact10 -> int3: その女主人が築き難くないとすると働き難くないけど安い; fact11 -> int4: 「誘い合わない」物はある;
$facts$ = fact1: 仮になにがしかの物が築き難いとすればそれは働き難い fact2: 「もし仮にこのコンソーシアムが築き難いならその女主人は安い」ということは事実と異ならない fact3: もし仮にこのマングローブ林は一Ｈだししかも築き難いとしたら「このコンソーシアムは築き難くない」ということは確かだ fact4: その景観評価は誘い合うということはない fact5: 築き難くない物は働き難くないけれど安い fact6: このコンソーシアムは安い fact7: もしもこのコンソーシアムは築き難くないならば「その女主人は築き難くない」ということは成り立つ fact8: このコンソーシアムが安いとしたらその女主人は築き難い fact9: その女主人が滞り易いとすればそれは安い ; $hypothesis$ = その女主人は働き難くない ; $proof$ = 
fact8 & fact6 -> int1: その女主人は築き難い; fact1 -> int2: 仮にその女主人が築き難いとするとそれは働き難い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物が築き難いとすればそれは働き難い
事実2: 「もし仮にこのコンソーシアムが築き難いならその女主人は安い」ということは事実と異ならない
事実3: もし仮にこのマングローブ林は一Ｈだししかも築き難いとしたら「このコンソーシアムは築き難くない」ということは確かだ
事実4: その景観評価は誘い合うということはない
事実5: 築き難くない物は働き難くないけれど安い
事実6: このコンソーシアムは安い
事実7: もしもこのコンソーシアムは築き難くないならば「その女主人は築き難くない」ということは成り立つ
事実8: このコンソーシアムが安いとしたらその女主人は築き難い
事実9: その女主人が滞り易いとすればそれは安い

仮説: その女主人は働き難くない
1. 事実8と事実6から、推論1: "その女主人は築き難い"が導かれる
2. 事実1から、推論2: "仮にその女主人が築き難いとするとそれは働き難い"が導かれる
3. 推論1と推論2から、仮説が否定される

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