あのもにょもにLv.1は多い
fact1: 「そのまくまねLv.51は取り扱い易いしその上多い」ということは成り立つということはない fact2: もしもなんらかのモンスターは放射出来ないとすると「それは取り扱い易くないしそれは御高い」ということは成り立たない fact3: あらゆるモンスターは起爆する fact4: もし仮に「そのまくまねLv.51は取り扱い易くない一方で御高い」ということは成り立たないならあのもにょもにLv.1は多くない
fact2 -> int1: もし仮にそのまくまねLv.51は放射出来ないとしたら「「そのまくまねLv.51は取り扱い易くないけれどそれは御高い」ということは確かである」ということは成り立つということはない;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa});
あのもにょもにLv.1は多い
fact5 -> int2: 「そのぽちょぽよLv.30は起爆する」ということは成り立つ;
$facts$ = fact1: 「そのまくまねLv.51は取り扱い易いしその上多い」ということは成り立つということはない fact2: もしもなんらかのモンスターは放射出来ないとすると「それは取り扱い易くないしそれは御高い」ということは成り立たない fact3: あらゆるモンスターは起爆する fact4: もし仮に「そのまくまねLv.51は取り扱い易くない一方で御高い」ということは成り立たないならあのもにょもにLv.1は多くない ; $hypothesis$ = あのもにょもにLv.1は多い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__