「「仮に「憎々しくない」ということは成り立つとしたら「塩辛くないしさらに取り辛くない」ということは成り立たない」モンスターはいる」ということは誤りである
fact1: もし仮になんらかのモンスターは憎々しくないなら「それは塩辛くなくてしかも取り辛くない」ということは偽である fact2: もしもとあるモンスターはどでかいとすれば「それは忘れ易くなくて通り越すということはない」ということは事実と異なる fact3: このぷやぷにゅLv.95は憎々しくないとしたら「このぷやぷにゅLv.95は塩辛くない一方で取り辛い」ということは間違いである
fact1 -> int1: もしこのぷやぷにゅLv.95は憎々しくないとしたら「塩辛くなくてそれに取り辛くない」ということは成り立たない; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もし仮になんらかのモンスターは憎々しくないなら「それは塩辛くなくてしかも取り辛くない」ということは偽である fact2: もしもとあるモンスターはどでかいとすれば「それは忘れ易くなくて通り越すということはない」ということは事実と異なる fact3: このぷやぷにゅLv.95は憎々しくないとしたら「このぷやぷにゅLv.95は塩辛くない一方で取り辛い」ということは間違いである ; $hypothesis$ = 「「仮に「憎々しくない」ということは成り立つとしたら「塩辛くないしさらに取り辛くない」ということは成り立たない」モンスターはいる」ということは誤りである ; $proof$ = 
fact1 -> int1: もしこのぷやぷにゅLv.95は憎々しくないとしたら「塩辛くなくてそれに取り辛くない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__