あのぽにぽちゃLv.25は掛け難い
fact1: もしもなにがしかのモンスターが略取するということはないならばそれは掛け難くないか隙間無いということはない fact2: すべてのモンスターは隙間無いしかつ略取する fact3: もし仮にそのまくまねLv.52が略取するとするとあのぽにぽちゃLv.25は掛け難い
fact2 -> int1: そのまくまねLv.52は隙間無いしそれは略取する; int1 -> int2: そのまくまねLv.52は略取する; int2 & fact3 -> hypothesis;
fact2 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis;
あのぽにぽちゃLv.25は掛け難くない
fact4 -> int3: 仮にあのぴにゅぴにゅLv.23が略取するということはないならあのぴにゅぴにゅLv.23は掛け難くないかそれは隙間無くないかまたは両方である;
$facts$ = fact1: もしもなにがしかのモンスターが略取するということはないならばそれは掛け難くないか隙間無いということはない fact2: すべてのモンスターは隙間無いしかつ略取する fact3: もし仮にそのまくまねLv.52が略取するとするとあのぽにぽちゃLv.25は掛け難い ; $hypothesis$ = あのぽにぽちゃLv.25は掛け難い ; $proof$ = 
fact2 -> int1: そのまくまねLv.52は隙間無いしそれは略取する; int1 -> int2: そのまくまねLv.52は略取する; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {B}{aa}; int2 & fact3 -> hypothesis; __PROVED__