「「もし遅しないなら満遍無い」モンスターはいる」ということは間違いだ
fact1: 遅しモンスターは満遍無い fact2: なんらかのモンスターが遅しないとしたら満遍無い
fact2 -> int1: もしもあのぽちゅぽちゅLv.29が遅しないならばあのぽちゅぽちゅLv.29は満遍無い; int1 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> {C}{aa}; int1 -> hypothesis;
$facts$ = fact1: 遅しモンスターは満遍無い fact2: なんらかのモンスターが遅しないとしたら満遍無い ; $hypothesis$ = 「「もし遅しないなら満遍無い」モンスターはいる」ということは間違いだ ; $proof$ = 
fact2 -> int1: もしもあのぽちゅぽちゅLv.29が遅しないならばあのぽちゅぽちゅLv.29は満遍無い; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{B}{aa} -> {C}{aa}; int1 -> hypothesis; __DISPROVED__