あのぴよぴよLv.19は伴い易くない
fact1: あのぴよぴよLv.19は溶け難い fact2: あのぴよぴよLv.19が溶け難いとしたら利する fact3: あのぴよぴよLv.19が断り難いならばあのぴよぴよLv.19は伴い易い
fact2 & fact1 -> int1: あのぴよぴよLv.19は利する;
fact2 & fact1 -> int1: {B}{a};
$facts$ = fact1: あのぴよぴよLv.19は溶け難い fact2: あのぴよぴよLv.19が溶け難いとしたら利する fact3: あのぴよぴよLv.19が断り難いならばあのぴよぴよLv.19は伴い易い ; $hypothesis$ = あのぴよぴよLv.19は伴い易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__