「ぽいぽえLv.62事件とみねみえLv.61事件が生じる」ということは偽だ
fact1: 生産し続けることが起こるしぴにゃぴにLv.65事件が起こる fact2: 文章化することが起きる fact3: ぽわぽいLv.91事件と如才無いということどちらもが起きる fact4: 文章化することが起こるしぽいぽえLv.62事件が生じる fact5: みねみえLv.61事件が起こる
fact4 -> int1: ぽいぽえLv.62事件が起こる; int1 & fact5 -> hypothesis;
fact4 -> int1: {B}; int1 & fact5 -> hypothesis;
$facts$ = fact1: 生産し続けることが起こるしぴにゃぴにLv.65事件が起こる fact2: 文章化することが起きる fact3: ぽわぽいLv.91事件と如才無いということどちらもが起きる fact4: 文章化することが起こるしぽいぽえLv.62事件が生じる fact5: みねみえLv.61事件が起こる ; $hypothesis$ = 「ぽいぽえLv.62事件とみねみえLv.61事件が生じる」ということは偽だ ; $proof$ = 
fact4 -> int1: ぽいぽえLv.62事件が起こる; int1 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact5 -> hypothesis; __DISPROVED__