ぴちゅぴにゅLv.28事件が起こる
fact1: くどいということおよび聞き取り難いということが起きるは「ぴちゅぴにゅLv.28事件が起きる」ということを阻止する fact2: 百姓らしいということおよびくどいということが発生する fact3: 聞き取り難いということが起こる
fact2 -> int1: くどいということが起きる; int1 & fact3 -> int2: くどいということが起こるししかも聞き取り難いということが発生する; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: くどいということおよび聞き取り難いということが起きるは「ぴちゅぴにゅLv.28事件が起きる」ということを阻止する fact2: 百姓らしいということおよびくどいということが発生する fact3: 聞き取り難いということが起こる ; $hypothesis$ = ぴちゅぴにゅLv.28事件が起こる ; $proof$ = 
fact2 -> int1: くどいということが起きる; int1 & fact3 -> int2: くどいということが起こるししかも聞き取り難いということが発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__