ぴにょぴのLv.7事件が起こる
fact1: 「ぴくぴやLv.18事件は起こらない」ということはぽにょぽくLv.69事件に阻止される fact2: ぴくぴやLv.18事件はぴにょぴのLv.7事件が生じるということを招く fact3: ぴやぴえLv.35事件はぽにょぽくLv.69事件を引き起こす fact4: ぴやぴえLv.35事件が生じる
fact3 & fact4 -> int1: ぽにょぽくLv.69事件が発生する; int1 & fact1 -> int2: ぴくぴやLv.18事件が起こる; int2 & fact2 -> hypothesis;
fact3 & fact4 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 「ぴくぴやLv.18事件は起こらない」ということはぽにょぽくLv.69事件に阻止される fact2: ぴくぴやLv.18事件はぴにょぴのLv.7事件が生じるということを招く fact3: ぴやぴえLv.35事件はぽにょぽくLv.69事件を引き起こす fact4: ぴやぴえLv.35事件が生じる ; $hypothesis$ = ぴにょぴのLv.7事件が起こる ; $proof$ = 
fact3 & fact4 -> int1: ぽにょぽくLv.69事件が発生する; int1 & fact1 -> int2: ぴくぴやLv.18事件が起こる; int2 & fact2 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact2 -> hypothesis; __PROVED__