このみにゅみくLv.12は収めるし黒っぽい
fact1: このみにゅみくLv.12は黒っぽい fact2: 全てのモンスターは収めるししかも旨い
fact2 -> int1: このみにゅみくLv.12は収めるし旨い; int1 -> int2: このみにゅみくLv.12は収める; int2 & fact1 -> hypothesis;
fact2 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {A}{aa}; int2 & fact1 -> hypothesis;
$facts$ = fact1: このみにゅみくLv.12は黒っぽい fact2: 全てのモンスターは収めるししかも旨い ; $hypothesis$ = このみにゅみくLv.12は収めるし黒っぽい ; $proof$ = 
fact2 -> int1: このみにゅみくLv.12は収めるし旨い; int1 -> int2: このみにゅみくLv.12は収める; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {A}{aa}; int2 & fact1 -> hypothesis; __PROVED__