そのみにょみにゃLv.93は悶うない
fact1: あるモンスターは分かり辛いということはないとすれば「それは打ち上がり易いし小狡い」ということは誤っている fact2: 怖いモンスターは分かり辛くないしそれに悶うない fact3: もし「そのみにょみにゃLv.93は打ち上がり易いししかも小狡い」ということは成り立たないなら悶うない fact4: もし仮にこのみちゅみなLv.32が分かり辛くないしそれに悶うないとすればこのもなもわLv.70は小狡くない fact5: 仮にこのみちゅみなLv.32が怖くないとしたらそのみにょみにゃLv.93は悶うしかつ分かり辛い fact6: 京都らしいということはないモンスターはすばしこいし怖い
fact1 -> int1: もしもそのみにょみにゃLv.93は分かり辛いということはないとすれば「それは打ち上がり易いしその上小狡い」ということは間違っている;
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa});
そのみにょみにゃLv.93は悶う
$facts$ = fact1: あるモンスターは分かり辛いということはないとすれば「それは打ち上がり易いし小狡い」ということは誤っている fact2: 怖いモンスターは分かり辛くないしそれに悶うない fact3: もし「そのみにょみにゃLv.93は打ち上がり易いししかも小狡い」ということは成り立たないなら悶うない fact4: もし仮にこのみちゅみなLv.32が分かり辛くないしそれに悶うないとすればこのもなもわLv.70は小狡くない fact5: 仮にこのみちゅみなLv.32が怖くないとしたらそのみにょみにゃLv.93は悶うしかつ分かり辛い fact6: 京都らしいということはないモンスターはすばしこいし怖い ; $hypothesis$ = そのみにょみにゃLv.93は悶うない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__