そのみにょみちゃLv.37は取り難い
fact1: もしもそのみにょみちゃLv.37が塗り易くておまけに迷信深いならこのぽちゅぽにゃLv.70は堅苦しくない fact2: 「そのみにょみちゃLv.37はどす黒くないけれど招き易い」ということは誤っているとすればそれは等しい fact3: 「あるモンスターは塗り易くないなら「取り難いけれど堅苦しくない」ということは事実と異なる」ということは真実である fact4: もしそのみにょみちゃLv.37が御高いとすればそのみにょみちゃLv.37は塗り易い fact5: そのみにょみちゃLv.37は堅苦しい fact6: 仮に「そのみにょみちゃLv.37はどす黒いということはないがしかし浅い」ということは事実と異なるとしたらそのみにょみちゃLv.37は取り難い
そのみにょみちゃLv.37は取り難くない
fact7 -> int1: もしもあのまゆまくLv.54は塗り易くないとすると「それは取り難いがしかし堅苦しくない」ということは間違いである;
$facts$ = fact1: もしもそのみにょみちゃLv.37が塗り易くておまけに迷信深いならこのぽちゅぽにゃLv.70は堅苦しくない fact2: 「そのみにょみちゃLv.37はどす黒くないけれど招き易い」ということは誤っているとすればそれは等しい fact3: 「あるモンスターは塗り易くないなら「取り難いけれど堅苦しくない」ということは事実と異なる」ということは真実である fact4: もしそのみにょみちゃLv.37が御高いとすればそのみにょみちゃLv.37は塗り易い fact5: そのみにょみちゃLv.37は堅苦しい fact6: 仮に「そのみにょみちゃLv.37はどす黒いということはないがしかし浅い」ということは事実と異なるとしたらそのみにょみちゃLv.37は取り難い ; $hypothesis$ = そのみにょみちゃLv.37は取り難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__