そのもえもくLv.92は上げ難くない
fact1: もしあのまにょまのLv.64が厭わしいとすればそのもえもくLv.92は上げ難い fact2: このぷにょぷやLv.49は底堅いしさらに煩わしい
fact2 -> int1: このぷにょぷやLv.49は底堅い;
fact2 -> int1: {A}{a};
$facts$ = fact1: もしあのまにょまのLv.64が厭わしいとすればそのもえもくLv.92は上げ難い fact2: このぷにょぷやLv.49は底堅いしさらに煩わしい ; $hypothesis$ = そのもえもくLv.92は上げ難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__