あのみにみいLv.16は承らない
fact1: そのぴくぴくLv.10は入手し易い fact2: もし仮にそのぴえぴにゃLv.26は該当し得るとすると「そのぴくぴくLv.10はっ早い」ということは本当である fact3: もし仮にそのぴくぴくLv.10がっ早いならそれは突き立てる fact4: そのぴえぴにゃLv.26はこそばゆいし該当し得る
fact4 -> int1: そのぴえぴにゃLv.26は該当し得る; int1 & fact2 -> int2: そのぴくぴくLv.10はっ早い; int2 & fact3 -> int3: そのぴくぴくLv.10は突き立てる; int3 & fact1 -> int4: そのぴくぴくLv.10は突き立てるしそれは入手し易い;
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{b}; int3 & fact1 -> int4: ({D}{b} & {E}{b});
$facts$ = fact1: そのぴくぴくLv.10は入手し易い fact2: もし仮にそのぴえぴにゃLv.26は該当し得るとすると「そのぴくぴくLv.10はっ早い」ということは本当である fact3: もし仮にそのぴくぴくLv.10がっ早いならそれは突き立てる fact4: そのぴえぴにゃLv.26はこそばゆいし該当し得る ; $hypothesis$ = あのみにみいLv.16は承らない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__