「「「痛ーくないし侵入し易い」ということは成り立つならコントロールし易くない」モンスターはいる」ということは成り立たない
fact1: もしも何らかのモンスターは痛ーくないがしかし侵入し易いならばそれはコントロールし易くない fact2: もしも痛ーいモンスターが侵入し易いならばそれはコントロールし易くない fact3: 「仮にちっこいしまたおどろおどろしいなら貴方らしくない」モンスターはいる
fact1 -> int1: もし仮に「あのまのまにゅLv.48は痛ーくない一方で侵入し易い」ということは真実だとするとあのまのまにゅLv.48はコントロールし易くない; int1 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしも何らかのモンスターは痛ーくないがしかし侵入し易いならばそれはコントロールし易くない fact2: もしも痛ーいモンスターが侵入し易いならばそれはコントロールし易くない fact3: 「仮にちっこいしまたおどろおどろしいなら貴方らしくない」モンスターはいる ; $hypothesis$ = 「「「痛ーくないし侵入し易い」ということは成り立つならコントロールし易くない」モンスターはいる」ということは成り立たない ; $proof$ = 
fact1 -> int1: もし仮に「あのまのまにゅLv.48は痛ーくない一方で侵入し易い」ということは真実だとするとあのまのまにゅLv.48はコントロールし易くない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__