痛み易いということが起きる
fact1: もし仮に幅広いということが起こるとすれば痛み易いということが起こる fact2: 見出だし難いということはのめり込むことが契機である fact3: のめり込むことが起きるが見え易いということは起きない
fact3 -> int1: のめり込むことが生じる; fact2 & int1 -> int2: 見出だし難いということが生じる;
fact3 -> int1: {A}; fact2 & int1 -> int2: {B};
$facts$ = fact1: もし仮に幅広いということが起こるとすれば痛み易いということが起こる fact2: 見出だし難いということはのめり込むことが契機である fact3: のめり込むことが起きるが見え易いということは起きない ; $hypothesis$ = 痛み易いということが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__