このみちゃみやLv.22は説明し易い
fact1: 程近くないモンスターが起き易いとするとそれは説明し易くない fact2: もしもこのみちゃみやLv.22は程近いとすると「このみちゃみやLv.22は説明し易い」ということは事実である fact3: このみちゃみやLv.22は程近いしまたそれは起き易い
fact3 -> int1: このみちゃみやLv.22は程近い; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
このみちゃみやLv.22は説明し易くない
fact4 -> int2: このみちゃみやLv.22は程近くないけど起き易いとしたら説明し易くない;
$facts$ = fact1: 程近くないモンスターが起き易いとするとそれは説明し易くない fact2: もしもこのみちゃみやLv.22は程近いとすると「このみちゃみやLv.22は説明し易い」ということは事実である fact3: このみちゃみやLv.22は程近いしまたそれは起き易い ; $hypothesis$ = このみちゃみやLv.22は説明し易い ; $proof$ = 
fact3 -> int1: このみちゃみやLv.22は程近い; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__