ものもくLv.61事件が起きる
fact1: ぴにょぴのLv.32事件がものもくLv.61事件は発生しないということを阻止する fact2: ぴにょぴちゅLv.53事件が生じるし考え難いということが生じる fact3: ぴにょぴのLv.32事件が起きるということは考え難いということが原因である
fact2 -> int1: 考え難いということが起きる; int1 & fact3 -> int2: ぴにょぴのLv.32事件が発生する; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: ぴにょぴのLv.32事件がものもくLv.61事件は発生しないということを阻止する fact2: ぴにょぴちゅLv.53事件が生じるし考え難いということが生じる fact3: ぴにょぴのLv.32事件が起きるということは考え難いということが原因である ; $hypothesis$ = ものもくLv.61事件が起きる ; $proof$ = 
fact2 -> int1: 考え難いということが起きる; int1 & fact3 -> int2: ぴにょぴのLv.32事件が発生する; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__