あのもねもゆLv.40は上がり難くない
fact1: 仮になにがしかのモンスターはかわゆくないならば「それは上がり難くないかもしくは利用され易くないかもしくは両方である」ということは成り立つということはない fact2: もしもあのもねもゆLv.40が振興するとするとあのもねもゆLv.40は上がり難い fact3: もしあのもねもゆLv.40が利用され易いならば振興する fact4: あのぷちょぷやLv.88はかわゆい fact5: もし「あのぷちょぷやLv.88は上がり難くないか利用され易くないかもしくは両方だ」ということは偽ならばあのもねもゆLv.40は上がり難いということはない fact6: もし仮にあのもいもくLv.9がかわゆいし黴臭いならばあのぷちょぷやLv.88はかわゆくない
あのもねもゆLv.40は上がり難くない
fact9 -> int1: もしあのぷちょぷやLv.88はかわゆくないならば「あのぷちょぷやLv.88は上がり難くないかそれは利用され易くないかあるいは両方だ」ということは誤っている;
$facts$ = fact1: 仮になにがしかのモンスターはかわゆくないならば「それは上がり難くないかもしくは利用され易くないかもしくは両方である」ということは成り立つということはない fact2: もしもあのもねもゆLv.40が振興するとするとあのもねもゆLv.40は上がり難い fact3: もしあのもねもゆLv.40が利用され易いならば振興する fact4: あのぷちょぷやLv.88はかわゆい fact5: もし「あのぷちょぷやLv.88は上がり難くないか利用され易くないかもしくは両方だ」ということは偽ならばあのもねもゆLv.40は上がり難いということはない fact6: もし仮にあのもいもくLv.9がかわゆいし黴臭いならばあのぷちょぷやLv.88はかわゆくない ; $hypothesis$ = あのもねもゆLv.40は上がり難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__