このぷちゃぷくLv.16は侘しいし動き易い
fact1: このぷちゃぷくLv.16は俗っぽいしかつ侘しい fact2: このぽいぽねLv.95は返金するし更に支配する
fact1 -> int1: このぷちゃぷくLv.16は侘しい;
fact1 -> int1: {B}{a};
$facts$ = fact1: このぷちゃぷくLv.16は俗っぽいしかつ侘しい fact2: このぽいぽねLv.95は返金するし更に支配する ; $hypothesis$ = このぷちゃぷくLv.16は侘しいし動き易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__