このみにゃみにゅLv.70は俗っぽくない
fact1: そのもちゅもちゃLv.1は問われ兼ねる
fact1 -> int1: そのもちゅもちゃLv.1は問われ兼ねる;
fact1 -> int1: {A}{a};
$facts$ = fact1: そのもちゅもちゃLv.1は問われ兼ねる ; $hypothesis$ = このみにゃみにゅLv.70は俗っぽくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__