このもゆもちゅLv.15は捕まえ易いということはないけど俗っぽい
fact1: そのまなまにゅLv.69は俗っぽくないとすれば「このもゆもちゅLv.15は捕まえ易くないけど俗っぽい」ということは成り立たない fact2: 管理し易いモンスターは俗っぽいということはない
fact2 -> int1: もしそのまなまにゅLv.69が管理し易いとしたらそれは俗っぽいということはない;
fact2 -> int1: {A}{aa} -> ¬{C}{aa};
$facts$ = fact1: そのまなまにゅLv.69は俗っぽくないとすれば「このもゆもちゅLv.15は捕まえ易くないけど俗っぽい」ということは成り立たない fact2: 管理し易いモンスターは俗っぽいということはない ; $hypothesis$ = このもゆもちゅLv.15は捕まえ易いということはないけど俗っぽい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__