あのぽわぽなLv.97は漏れ無くない
fact1: もしもなんらかのモンスターは漏れ無くないかまたは隆盛しないかもしくは両方ともであるとしたら漏れ無くない fact2: 仮に疲れ易いモンスターが隆盛しないならそれは仕方無いということはない fact3: 全てのモンスターは漏れ無い
fact3 -> int1: 全てのモンスターは漏れ無い; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
全てのモンスターは招き易い
fact4 -> int2: あのぽわぽなLv.97が疲れ易いけれど隆盛しないならそれは仕方無くない;
$facts$ = fact1: もしもなんらかのモンスターは漏れ無くないかまたは隆盛しないかもしくは両方ともであるとしたら漏れ無くない fact2: 仮に疲れ易いモンスターが隆盛しないならそれは仕方無いということはない fact3: 全てのモンスターは漏れ無い ; $hypothesis$ = あのぽわぽなLv.97は漏れ無くない ; $proof$ = 
fact3 -> int1: 全てのモンスターは漏れ無い; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__