あのぴやぴよLv.38は雄々しくないけど歌い継ぐ
fact1: 仮に「なにがしかのモンスターは百姓らしいがしかしか弱くない」ということは誤っているなら素早くない fact2: もしもなんらかのモンスターは素早いということはないならば「それは雄々しくないけれど歌い継ぐ」ということは間違いである fact3: もしもこのぷねぷやLv.44がフランス人らしくないとするとこのぷねぷやLv.44は腫れぼったくなくてまた表現し難くない fact4: そのまにゅまにLv.0が表現し難いということはないならばこのまわまわLv.4は底堅いが素早くない fact5: 「「このみゆみちゃLv.78は百姓らしいがか弱くない」ということは正しい」ということは本当でない
fact1 -> int1: もし仮に「このみゆみちゃLv.78は百姓らしい一方でそれはか弱くない」ということは成り立たないとしたら「素早くない」ということは事実である; int1 & fact5 -> int2: このみゆみちゃLv.78は素早くない;
fact1 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact5 -> int2: ¬{B}{aa};
「あのぴやぴよLv.38は雄々しくない一方で歌い継ぐ」ということは成り立つということはない
fact8 -> int3: あのぴやぴよLv.38は素早くないなら「雄々しくないしその上それは歌い継ぐ」ということは誤りだ;
$facts$ = fact1: 仮に「なにがしかのモンスターは百姓らしいがしかしか弱くない」ということは誤っているなら素早くない fact2: もしもなんらかのモンスターは素早いということはないならば「それは雄々しくないけれど歌い継ぐ」ということは間違いである fact3: もしもこのぷねぷやLv.44がフランス人らしくないとするとこのぷねぷやLv.44は腫れぼったくなくてまた表現し難くない fact4: そのまにゅまにLv.0が表現し難いということはないならばこのまわまわLv.4は底堅いが素早くない fact5: 「「このみゆみちゃLv.78は百姓らしいがか弱くない」ということは正しい」ということは本当でない ; $hypothesis$ = あのぴやぴよLv.38は雄々しくないけど歌い継ぐ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__