このみちゃみにゃLv.6は供託する
fact1: すべてのモンスターは哀れっぽいししかもそれは弛み無い fact2: そのぴちゅぴちょLv.72は油っぽい fact3: もしそのぴちゅぴちょLv.72が油っぽいならばこのみちゃみにゃLv.6は働き難い fact4: 仮にとあるモンスターが達成するとすると働き難い
fact3 & fact2 -> int1: このみちゃみにゃLv.6は働き難い;
fact3 & fact2 -> int1: {B}{b};
もしもこのみちゃみにゃLv.6が達成すればそれは働き難い
fact5 -> hypothesis;
$facts$ = fact1: すべてのモンスターは哀れっぽいししかもそれは弛み無い fact2: そのぴちゅぴちょLv.72は油っぽい fact3: もしそのぴちゅぴちょLv.72が油っぽいならばこのみちゃみにゃLv.6は働き難い fact4: 仮にとあるモンスターが達成するとすると働き難い ; $hypothesis$ = このみちゃみにゃLv.6は供託する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__