このまにまのLv.96は末恐ろしくない
fact1: もし仮にあのみえみのLv.82が大成するならこのぷちょぷにゅLv.9はがめつい fact2: あのみえみのLv.82は大成する
fact1 & fact2 -> int1: このぷちょぷにゅLv.9はがめつい;
fact1 & fact2 -> int1: {B}{b};
$facts$ = fact1: もし仮にあのみえみのLv.82が大成するならこのぷちょぷにゅLv.9はがめつい fact2: あのみえみのLv.82は大成する ; $hypothesis$ = このまにまのLv.96は末恐ろしくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__