そのもにょもねLv.95は変え難いが切り易くない
fact1: 仮にあるモンスターは危うしならば「それは変え難くて加えて切り易くない」ということは成り立たない fact2: 仮にそのもにょもねLv.95は危うしなら「そのもにょもねLv.95は変え難いし切り易い」ということは成り立たない
fact1 -> int1: もし仮にそのもにょもねLv.95は危うしとすると「そのもにょもねLv.95は変え難いけれど切り易くない」ということは嘘である;
fact1 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa});
$facts$ = fact1: 仮にあるモンスターは危うしならば「それは変え難くて加えて切り易くない」ということは成り立たない fact2: 仮にそのもにょもねLv.95は危うしなら「そのもにょもねLv.95は変え難いし切り易い」ということは成り立たない ; $hypothesis$ = そのもにょもねLv.95は変え難いが切り易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__