興味深いということが起きる
fact1: 仮に尽くし得ることが起こるし加えてぽちゃぽにょLv.78事件が起これば興味深いということは発生しない fact2: 尽くし得ることともちょもえLv.41事件が起きる fact3: ぽちゃぽにょLv.78事件が起きる
fact2 -> int1: 尽くし得ることが発生する; int1 & fact3 -> int2: 尽くし得ることとぽちゃぽにょLv.78事件両方ともが生じる; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮に尽くし得ることが起こるし加えてぽちゃぽにょLv.78事件が起これば興味深いということは発生しない fact2: 尽くし得ることともちょもえLv.41事件が起きる fact3: ぽちゃぽにょLv.78事件が起きる ; $hypothesis$ = 興味深いということが起きる ; $proof$ = 
fact2 -> int1: 尽くし得ることが発生する; int1 & fact3 -> int2: 尽くし得ることとぽちゃぽにょLv.78事件両方ともが生じる; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact1 -> hypothesis; __DISPROVED__