ぷくぷやLv.4事件は発生しない
fact1: 「ぽにょぽやLv.18事件およびごっついということが起きる」ということはぷくぷやLv.4事件が生じるということを回避する fact2: 来難いということとぽにょぽやLv.18事件が生じるはごっついということは起こらないということが原因である fact3: ぴいぴゆLv.74事件はぽにょぽやLv.18事件の原因となる fact4: ぴいぴゆLv.74事件が生じる fact5: 仮に荒っぽいということは起こらないとすれば出会い易いということが起こるしぴいぴゆLv.74事件が生じる fact6: 「まちょまねLv.86事件が起こるしぷくぷやLv.4事件は起きない」ということは誤りだ fact7: ごっついということが発生する
fact3 & fact4 -> int1: 「ぽにょぽやLv.18事件が起きる」ということは本当である; int1 & fact7 -> int2: ぽにょぽやLv.18事件およびごっついということ両方が起きる; int2 & fact1 -> hypothesis;
fact3 & fact4 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
来難いということおよび出会い易いということが起きる
$facts$ = fact1: 「ぽにょぽやLv.18事件およびごっついということが起きる」ということはぷくぷやLv.4事件が生じるということを回避する fact2: 来難いということとぽにょぽやLv.18事件が生じるはごっついということは起こらないということが原因である fact3: ぴいぴゆLv.74事件はぽにょぽやLv.18事件の原因となる fact4: ぴいぴゆLv.74事件が生じる fact5: 仮に荒っぽいということは起こらないとすれば出会い易いということが起こるしぴいぴゆLv.74事件が生じる fact6: 「まちょまねLv.86事件が起こるしぷくぷやLv.4事件は起きない」ということは誤りだ fact7: ごっついということが発生する ; $hypothesis$ = ぷくぷやLv.4事件は発生しない ; $proof$ = 
fact3 & fact4 -> int1: 「ぽにょぽやLv.18事件が起きる」ということは本当である; int1 & fact7 -> int2: ぽにょぽやLv.18事件およびごっついということ両方が起きる; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: {B}; int1 & fact7 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __PROVED__