ぴなぴくLv.4事件が起こる
fact1: 「取っ払うことは生じない」ということはぽゆぽいLv.57事件に防がれる fact2: ぽゆぽいLv.57事件が起こる fact3: みのみにLv.54事件が起きる fact4: 「取っ払うことおよびみのみにLv.54事件両方が起こる」ということはぴなぴくLv.4事件が生じるということを防ぐ fact5: もし仮にぽゆぽいLv.57事件は起きないとすると「ぴなぴくLv.4事件が生じなくてしかも取っ払うことは生じない」ということは誤りだ fact6: 労わることは起こらないとすれば許し難いということおよびみのみにLv.54事件が起こる fact7: ぽねぽにLv.71事件が発生する
fact1 & fact2 -> int1: 取っ払うことが生じる; int1 & fact3 -> int2: 取っ払うことが起きるしみのみにLv.54事件が起きる; int2 & fact4 -> hypothesis;
fact1 & fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis;
ぴなぴくLv.4事件が起こる
$facts$ = fact1: 「取っ払うことは生じない」ということはぽゆぽいLv.57事件に防がれる fact2: ぽゆぽいLv.57事件が起こる fact3: みのみにLv.54事件が起きる fact4: 「取っ払うことおよびみのみにLv.54事件両方が起こる」ということはぴなぴくLv.4事件が生じるということを防ぐ fact5: もし仮にぽゆぽいLv.57事件は起きないとすると「ぴなぴくLv.4事件が生じなくてしかも取っ払うことは生じない」ということは誤りだ fact6: 労わることは起こらないとすれば許し難いということおよびみのみにLv.54事件が起こる fact7: ぽねぽにLv.71事件が発生する ; $hypothesis$ = ぴなぴくLv.4事件が起こる ; $proof$ = 
fact1 & fact2 -> int1: 取っ払うことが生じる; int1 & fact3 -> int2: 取っ払うことが起きるしみのみにLv.54事件が起きる; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis; __DISPROVED__