「ぷにぷやLv.13事件が起きる」ということは事実だ
fact1: 結合し易いということが起きる fact2: ぴにゃぴわLv.20事件はまえまちょLv.93事件を生じさせる fact3: まえまちょLv.93事件はぷにぷやLv.13事件を招く fact4: 結合し易いということが起こるしぴにゃぴわLv.20事件が起こる
fact4 -> int1: ぴにゃぴわLv.20事件が起こる; int1 & fact2 -> int2: まえまちょLv.93事件が発生する; int2 & fact3 -> hypothesis;
fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 結合し易いということが起きる fact2: ぴにゃぴわLv.20事件はまえまちょLv.93事件を生じさせる fact3: まえまちょLv.93事件はぷにぷやLv.13事件を招く fact4: 結合し易いということが起こるしぴにゃぴわLv.20事件が起こる ; $hypothesis$ = 「ぷにぷやLv.13事件が起きる」ということは事実だ ; $proof$ = 
fact4 -> int1: ぴにゃぴわLv.20事件が起こる; int1 & fact2 -> int2: まえまちょLv.93事件が発生する; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__