この生業形態は恵み深い
fact1: このロースハムは揮発し易いしその上入り難い fact2: このロースハムは揮発し易い fact3: この生業形態は入り難い fact4: このロースハムが入り難いとすればこの生業形態は恵み深くない fact5: この生業形態が入り難いとしたらこのロースハムは恵み深くない
fact1 -> int1: このロースハムは入り難い; int1 & fact4 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
$facts$ = fact1: このロースハムは揮発し易いしその上入り難い fact2: このロースハムは揮発し易い fact3: この生業形態は入り難い fact4: このロースハムが入り難いとすればこの生業形態は恵み深くない fact5: この生業形態が入り難いとしたらこのロースハムは恵み深くない ; $hypothesis$ = この生業形態は恵み深い ; $proof$ = 
fact1 -> int1: このロースハムは入り難い; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: このロースハムは揮発し易いしその上入り難い
事実2: このロースハムは揮発し易い
事実3: この生業形態は入り難い
事実4: このロースハムが入り難いとすればこの生業形態は恵み深くない
事実5: この生業形態が入り難いとしたらこのロースハムは恵み深くない

仮説: この生業形態は恵み深い
1. 事実1から、推論1: "このロースハムは入り難い"が導かれる
2. 推論1と事実4から、仮説が否定される

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