「捕らわれ易いということが起きるかあるいはもにもにゅLv.12事件が起きるかあるいはどちらもである」ということは確かであるということはない
fact1: もにもにゅLv.12事件が起きる fact2: 捕らわれ易いということは生じないということは堪能出来ることか「捕らわれ易いということは起きない」ということに引き起こされる
fact1 -> int1: もにもにゅLv.12事件が起きる; int1 -> hypothesis;
fact1 -> int1: {A}; int1 -> hypothesis;
再発行することが発生する
$facts$ = fact1: もにもにゅLv.12事件が起きる fact2: 捕らわれ易いということは生じないということは堪能出来ることか「捕らわれ易いということは起きない」ということに引き起こされる ; $hypothesis$ = 「捕らわれ易いということが起きるかあるいはもにもにゅLv.12事件が起きるかあるいはどちらもである」ということは確かであるということはない ; $proof$ = 
fact1 -> int1: もにもにゅLv.12事件が起きる; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 -> hypothesis; __DISPROVED__