あのみのみゆLv.21は進め易い
fact1: このまいまやLv.92は話し易い fact2: このもいもくLv.56が相応しいならあのみのみゆLv.21は進め易い fact3: 仮にこのもいもくLv.56が見出だし難いとしたらそれは相応しい fact4: このもいもくLv.56は屈めない fact5: もし仮にこのもいもくLv.56が屈めないとしたらそれは話し易いししかも見出だし難い
fact5 & fact4 -> int1: このもいもくLv.56は話し易いし見出だし難い; int1 -> int2: このもいもくLv.56は見出だし難い; int2 & fact3 -> int3: このもいもくLv.56は相応しい; int3 & fact2 -> hypothesis;
fact5 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{a}; int3 & fact2 -> hypothesis;
$facts$ = fact1: このまいまやLv.92は話し易い fact2: このもいもくLv.56が相応しいならあのみのみゆLv.21は進め易い fact3: 仮にこのもいもくLv.56が見出だし難いとしたらそれは相応しい fact4: このもいもくLv.56は屈めない fact5: もし仮にこのもいもくLv.56が屈めないとしたらそれは話し易いししかも見出だし難い ; $hypothesis$ = あのみのみゆLv.21は進め易い ; $proof$ = 
fact5 & fact4 -> int1: このもいもくLv.56は話し易いし見出だし難い; int1 -> int2: このもいもくLv.56は見出だし難い; int2 & fact3 -> int3: このもいもくLv.56は相応しい; int3 & fact2 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact3 -> int3: {C}{a}; int3 & fact2 -> hypothesis; __PROVED__