「狙われ易くなくてしかも手酷いモンスターはいる」ということは間違いだ
fact1: そのぷなぷにゅLv.77はしかつめらしいということはない fact2: もし仮にそのぷなぷにゅLv.77がしかつめらしくないならこのまにゅまくLv.16は狙われ易くない一方で手酷い
fact2 & fact1 -> int1: このまにゅまくLv.16は狙われ易くないがそれは手酷い; int1 -> hypothesis;
fact2 & fact1 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
$facts$ = fact1: そのぷなぷにゅLv.77はしかつめらしいということはない fact2: もし仮にそのぷなぷにゅLv.77がしかつめらしくないならこのまにゅまくLv.16は狙われ易くない一方で手酷い ; $hypothesis$ = 「狙われ易くなくてしかも手酷いモンスターはいる」ということは間違いだ ; $proof$ = 
fact2 & fact1 -> int1: このまにゅまくLv.16は狙われ易くないがそれは手酷い; int1 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> hypothesis; __DISPROVED__