「あのまにょまにLv.81は嘆かないけどそれは尊重出来る」ということは間違っている
fact1: 「とあるモンスターは大人しかまたは与え易いかもしくは両方だ」ということは偽であるとすると与え難くない fact2: 「そのもいもにLv.9は大人しか与え易い」ということは間違いだ fact3: 仮にそのもいもにLv.9は与え難くないとしたら「怪しくないけど名残惜しい」ということは成り立つということはない fact4: 「そのもいもにLv.9は怪しいし更に名残惜しい」ということは事実と異なる fact5: そのもいもにLv.9は与え難くないとすれば「怪しくて名残惜しい」ということは偽だ fact6: そのもいもにLv.9は大人しない fact7: 「そのもいもにLv.9は怪しくない一方で名残惜しい」ということは成り立たないとすればあのまにょまにLv.81は尊重出来る
fact1 -> int1: もしも「そのもいもにLv.9は大人しかそれは与え易い」ということは嘘だとするとそれは与え難くない; int1 & fact2 -> int2: そのもいもにLv.9は与え難いということはない; int2 & fact3 -> int3: 「そのもいもにLv.9は怪しくないけれど名残惜しい」ということは間違っている; int3 & fact7 -> int4: あのまにょまにLv.81は尊重出来る;
fact1 -> int1: ¬({AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact2 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: ¬(¬{C}{aa} & {A}{aa}); int3 & fact7 -> int4: {D}{a};
$facts$ = fact1: 「とあるモンスターは大人しかまたは与え易いかもしくは両方だ」ということは偽であるとすると与え難くない fact2: 「そのもいもにLv.9は大人しか与え易い」ということは間違いだ fact3: 仮にそのもいもにLv.9は与え難くないとしたら「怪しくないけど名残惜しい」ということは成り立つということはない fact4: 「そのもいもにLv.9は怪しいし更に名残惜しい」ということは事実と異なる fact5: そのもいもにLv.9は与え難くないとすれば「怪しくて名残惜しい」ということは偽だ fact6: そのもいもにLv.9は大人しない fact7: 「そのもいもにLv.9は怪しくない一方で名残惜しい」ということは成り立たないとすればあのまにょまにLv.81は尊重出来る ; $hypothesis$ = 「あのまにょまにLv.81は嘆かないけどそれは尊重出来る」ということは間違っている ; $proof$ = 
__UNKNOWN__
__UNKNOWN__