この森林管理は作り易くない
fact1: なんらかの物が御見捨てに成らないとするとそれは酔い易いしはっとする fact2: この武勲は御見捨てに成らないかまたは起こし易いということはないかあるいは両方ともである fact3: この森林管理は作り易くないかもしくはそれは起こし易くない fact4: 酔い易い物は作り易い fact5: この武勲は作り易い fact6: もしもこの武勲が御見捨てに成らないかもしくは起こし易くないか両方ならばこの森林管理は御見捨てに成らない fact7: 仮に何かは起こし易いなら酔い易い
fact1 -> int1: この森林管理が御見捨てに成らないならそれは酔い易いしはっとする; fact6 & fact2 -> int2: この森林管理は御見捨てに成らない; int1 & int2 -> int3: この森林管理は酔い易いしはっとする; int3 -> int4: この森林管理は酔い易い; fact4 -> int5: この森林管理が酔い易いなら作り易い; int4 & int5 -> hypothesis;
$facts$ = fact1: なんらかの物が御見捨てに成らないとするとそれは酔い易いしはっとする fact2: この武勲は御見捨てに成らないかまたは起こし易いということはないかあるいは両方ともである fact3: この森林管理は作り易くないかもしくはそれは起こし易くない fact4: 酔い易い物は作り易い fact5: この武勲は作り易い fact6: もしもこの武勲が御見捨てに成らないかもしくは起こし易くないか両方ならばこの森林管理は御見捨てに成らない fact7: 仮に何かは起こし易いなら酔い易い ; $hypothesis$ = この森林管理は作り易くない ; $proof$ = 
fact1 -> int1: この森林管理が御見捨てに成らないならそれは酔い易いしはっとする; fact6 & fact2 -> int2: この森林管理は御見捨てに成らない; int1 & int2 -> int3: この森林管理は酔い易いしはっとする; int3 -> int4: この森林管理は酔い易い; fact4 -> int5: この森林管理が酔い易いなら作り易い; int4 & int5 -> hypothesis; __DISPROVED__
事実1: なんらかの物が御見捨てに成らないとするとそれは酔い易いしはっとする
事実2: この武勲は御見捨てに成らないかまたは起こし易いということはないかあるいは両方ともである
事実3: この森林管理は作り易くないかもしくはそれは起こし易くない
事実4: 酔い易い物は作り易い
事実5: この武勲は作り易い
事実6: もしもこの武勲が御見捨てに成らないかもしくは起こし易くないか両方ならばこの森林管理は御見捨てに成らない
事実7: 仮に何かは起こし易いなら酔い易い

仮説: この森林管理は作り易くない
1. 事実1から、推論1: "この森林管理が御見捨てに成らないならそれは酔い易いしはっとする"が導かれる
2. 事実6と事実2から、推論2: "この森林管理は御見捨てに成らない"が導かれる
3. 推論1と推論2から、推論3: "この森林管理は酔い易いしはっとする"が導かれる
4. 推論3から、推論4: "この森林管理は酔い易い"が導かれる
5. 事実4から、推論5: "この森林管理が酔い易いなら作り易い"が導かれる
6. 推論4と推論5から、仮説が否定される

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