ぽちょぽにLv.6事件が発生する
fact1: ぷわぷいLv.61事件と辛抱強いということが起こる fact2: 「辛抱強いということかまたはみなみちゅLv.99事件かどちらもが発生する」ということはぽちょぽにLv.6事件を防ぐ fact3: 出来易いということは生じない
fact1 -> int1: 辛抱強いということが発生する; int1 -> int2: 辛抱強いということかみなみちゅLv.99事件が起きる; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: ぷわぷいLv.61事件と辛抱強いということが起こる fact2: 「辛抱強いということかまたはみなみちゅLv.99事件かどちらもが発生する」ということはぽちょぽにLv.6事件を防ぐ fact3: 出来易いということは生じない ; $hypothesis$ = ぽちょぽにLv.6事件が発生する ; $proof$ = 
fact1 -> int1: 辛抱強いということが発生する; int1 -> int2: 辛抱強いということかみなみちゅLv.99事件が起きる; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __DISPROVED__