そのぽにぽちゅLv.93は捕まえ易くない
fact1: 仮に「あるモンスターは際限無いしその上暗転する」ということは間違いならばそれは暗転しない fact2: もしもそのぽにぽちゅLv.93が覗けるかまたはか細いかもしくは両方であるとするとそのぽにぽちゅLv.93は捕まえ易くない fact3: もしもそのぽにぽちゅLv.93が覗けるとするとそのぽにぽちゅLv.93は捕まえ易くない fact4: そのぽにぽちゅLv.93はか細い
fact4 -> int1: そのぽにぽちゅLv.93は覗けるかあるいはか細いかどちらもだ; int1 & fact2 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> hypothesis;
そのぽにぽちゅLv.93は捕まえ易い
fact5 -> int2: もし「あのまにゅまにゃLv.0は際限無いしかつ暗転する」ということは間違いだとしたらそれは暗転しない;
$facts$ = fact1: 仮に「あるモンスターは際限無いしその上暗転する」ということは間違いならばそれは暗転しない fact2: もしもそのぽにぽちゅLv.93が覗けるかまたはか細いかもしくは両方であるとするとそのぽにぽちゅLv.93は捕まえ易くない fact3: もしもそのぽにぽちゅLv.93が覗けるとするとそのぽにぽちゅLv.93は捕まえ易くない fact4: そのぽにぽちゅLv.93はか細い ; $hypothesis$ = そのぽにぽちゅLv.93は捕まえ易くない ; $proof$ = 
fact4 -> int1: そのぽにぽちゅLv.93は覗けるかあるいはか細いかどちらもだ; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> hypothesis; __PROVED__