分解され難いということは生じない
fact1: 「参加し易いということは生じない」ということは入り易いということに阻止される fact2: 入り易いということが発生する fact3: もしも少なしということが生じるかまたは参加し易いということが発生するかまたはどちらもだとしたら分解され難いということは起きない
fact1 & fact2 -> int1: 参加し易いということが起こる; int1 -> int2: 少なしということが発生するかあるいは参加し易いということは発生する; int2 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 「参加し易いということは生じない」ということは入り易いということに阻止される fact2: 入り易いということが発生する fact3: もしも少なしということが生じるかまたは参加し易いということが発生するかまたはどちらもだとしたら分解され難いということは起きない ; $hypothesis$ = 分解され難いということは生じない ; $proof$ = 
fact1 & fact2 -> int1: 参加し易いということが起こる; int1 -> int2: 少なしということが発生するかあるいは参加し易いということは発生する; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact3 -> hypothesis; __PROVED__