ぴゆぴねLv.13事件が発生する
fact1: 「ぴゆぴねLv.13事件は生じない」ということは「プロらしいということおよびぴえぴちゅLv.59事件が生じる」ということに引き起こされる fact2: プロらしいということが起こる fact3: どでかいということは生じない fact4: 「どでかいということは起きない」ということは見分け難いということを発生させる fact5: もしもどでかいということは生じないならばぴえぴちゅLv.59事件が起こるしそれに見分け難いということが起こる fact6: 見分け難いということが発生する
fact5 & fact3 -> int1: ぴえぴちゅLv.59事件が生じるしおまけに見分け難いということが発生する; int1 -> int2: ぴえぴちゅLv.59事件が起こる; int2 & fact2 -> int3: プロらしいということとぴえぴちゅLv.59事件両方ともが生じる; int3 & fact1 -> hypothesis;
fact5 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact2 -> int3: ({C} & {A}); int3 & fact1 -> hypothesis;
$facts$ = fact1: 「ぴゆぴねLv.13事件は生じない」ということは「プロらしいということおよびぴえぴちゅLv.59事件が生じる」ということに引き起こされる fact2: プロらしいということが起こる fact3: どでかいということは生じない fact4: 「どでかいということは起きない」ということは見分け難いということを発生させる fact5: もしもどでかいということは生じないならばぴえぴちゅLv.59事件が起こるしそれに見分け難いということが起こる fact6: 見分け難いということが発生する ; $hypothesis$ = ぴゆぴねLv.13事件が発生する ; $proof$ = 
fact5 & fact3 -> int1: ぴえぴちゅLv.59事件が生じるしおまけに見分け難いということが発生する; int1 -> int2: ぴえぴちゅLv.59事件が起こる; int2 & fact2 -> int3: プロらしいということとぴえぴちゅLv.59事件両方ともが生じる; int3 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact2 -> int3: ({C} & {A}); int3 & fact1 -> hypothesis; __DISPROVED__