あのみえみちゅLv.30は活用し易くない
fact1: 「このぽにゅぽよLv.23は誤解し易くなくてその上それは忍耐強くない」ということは成り立たない fact2: 「「誤解し易いということはないしそれに忍耐強いということはない」ということは間違っている」モンスターはいれば「あのみえみちゅLv.30は活用し易い」ということは確かだ
fact1 -> int1: 「「誤解し易くなくて忍耐強くない」ということは成り立たない」モンスターはいる; int1 & fact2 -> hypothesis;
fact1 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「このぽにゅぽよLv.23は誤解し易くなくてその上それは忍耐強くない」ということは成り立たない fact2: 「「誤解し易いということはないしそれに忍耐強いということはない」ということは間違っている」モンスターはいれば「あのみえみちゅLv.30は活用し易い」ということは確かだ ; $hypothesis$ = あのみえみちゅLv.30は活用し易くない ; $proof$ = 
fact1 -> int1: 「「誤解し易くなくて忍耐強くない」ということは成り立たない」モンスターはいる; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact2 -> hypothesis; __DISPROVED__