ぷちょぷちょLv.81事件は発生しない
fact1: 懐っこいということは発生しないということはさもしいということに防がれる fact2: ぴいぴちゃLv.83事件が生じるということは明言することが起きるということにもたらされる fact3: ぷちょぷちょLv.81事件はぴいぴちゃLv.83事件に由来する fact4: 「明言することかまたはみのみちゅLv.13事件が起きる」ということは成り立つ fact5: みのみちゅLv.13事件は「ぴいぴちゃLv.83事件は発生しない」ということを回避する
fact4 & fact2 & fact5 -> int1: ぴいぴちゃLv.83事件が生じる; int1 & fact3 -> hypothesis;
fact4 & fact2 & fact5 -> int1: {C}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 懐っこいということは発生しないということはさもしいということに防がれる fact2: ぴいぴちゃLv.83事件が生じるということは明言することが起きるということにもたらされる fact3: ぷちょぷちょLv.81事件はぴいぴちゃLv.83事件に由来する fact4: 「明言することかまたはみのみちゅLv.13事件が起きる」ということは成り立つ fact5: みのみちゅLv.13事件は「ぴいぴちゃLv.83事件は発生しない」ということを回避する ; $hypothesis$ = ぷちょぷちょLv.81事件は発生しない ; $proof$ = 
fact4 & fact2 & fact5 -> int1: ぴいぴちゃLv.83事件が生じる; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact2 & fact5 -> int1: {C}; int1 & fact3 -> hypothesis; __DISPROVED__