あのもやもにゅLv.14は嫌味ったらしくない
fact1: あのまやまにゃLv.46は押さえ為さるし素晴らし
fact1 -> int1: あのまやまにゃLv.46は押さえ為さる;
fact1 -> int1: {A}{a};
$facts$ = fact1: あのまやまにゃLv.46は押さえ為さるし素晴らし ; $hypothesis$ = あのもやもにゅLv.14は嫌味ったらしくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__