「捨て難いということは発生しない」ということは事実だ
fact1: 払拭することが生じる fact2: 「召し捕らえることが発生する」ということはぷわぷちょLv.14事件は発生しないということを阻止する fact3: 「ぷにょぷくLv.88事件が起こる」ということは誤りだということはない fact4: ぷいぷわLv.47事件は「ぷにょぷくLv.88事件が起こる一方でみにみえLv.28事件は発生しない」ということに阻まれる fact5: みくみいLv.29事件はぷいぷわLv.47事件に帰結する fact6: ぷわぷちょLv.14事件は「ぷにょぷくLv.88事件は発生するがしかしみにみえLv.28事件は発生しない」ということを誘発する fact7: もしもぷいぷわLv.47事件およびぷにょぷくLv.88事件が発生するなら捨て難いということは起きない fact8: みくみいLv.29事件が発生する
fact5 & fact8 -> int1: ぷいぷわLv.47事件が発生する; int1 & fact3 -> int2: ぷいぷわLv.47事件およびぷにょぷくLv.88事件両方が起きる; int2 & fact7 -> hypothesis;
fact5 & fact8 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact7 -> hypothesis;
捨て難いということが生じる
$facts$ = fact1: 払拭することが生じる fact2: 「召し捕らえることが発生する」ということはぷわぷちょLv.14事件は発生しないということを阻止する fact3: 「ぷにょぷくLv.88事件が起こる」ということは誤りだということはない fact4: ぷいぷわLv.47事件は「ぷにょぷくLv.88事件が起こる一方でみにみえLv.28事件は発生しない」ということに阻まれる fact5: みくみいLv.29事件はぷいぷわLv.47事件に帰結する fact6: ぷわぷちょLv.14事件は「ぷにょぷくLv.88事件は発生するがしかしみにみえLv.28事件は発生しない」ということを誘発する fact7: もしもぷいぷわLv.47事件およびぷにょぷくLv.88事件が発生するなら捨て難いということは起きない fact8: みくみいLv.29事件が発生する ; $hypothesis$ = 「捨て難いということは発生しない」ということは事実だ ; $proof$ = 
fact5 & fact8 -> int1: ぷいぷわLv.47事件が発生する; int1 & fact3 -> int2: ぷいぷわLv.47事件およびぷにょぷくLv.88事件両方が起きる; int2 & fact7 -> hypothesis; __PROVED__
fact5 & fact8 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact7 -> hypothesis; __PROVED__