敢え無いということは生じない
fact1: ぷなぷちゃLv.22事件と聡いということが生じるなら敢え無いということは生じない fact2: もにょもなLv.62事件が発生するし更に可笑しいということは発生する fact3: 「混入し易いということが発生する」ということは「合併し易いということは起きない」ということを阻む fact4: こよないということが起きる fact5: ぷなぷちゃLv.22事件が起こらないということはぴのぴゆLv.3事件は発生するということに阻止される fact6: こよないということは「ぴのぴゆLv.3事件が起こる」ということの原因となる fact7: 聡いということが発生する fact8: 若やぐことが発生する
fact4 & fact6 -> int1: ぴのぴゆLv.3事件が起きる; fact5 & int1 -> int2: ぷなぷちゃLv.22事件が起きる; int2 & fact7 -> int3: ぷなぷちゃLv.22事件が発生するしまた聡いということは発生する; int3 & fact1 -> hypothesis;
fact4 & fact6 -> int1: {A}; fact5 & int1 -> int2: {B}; int2 & fact7 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis;
$facts$ = fact1: ぷなぷちゃLv.22事件と聡いということが生じるなら敢え無いということは生じない fact2: もにょもなLv.62事件が発生するし更に可笑しいということは発生する fact3: 「混入し易いということが発生する」ということは「合併し易いということは起きない」ということを阻む fact4: こよないということが起きる fact5: ぷなぷちゃLv.22事件が起こらないということはぴのぴゆLv.3事件は発生するということに阻止される fact6: こよないということは「ぴのぴゆLv.3事件が起こる」ということの原因となる fact7: 聡いということが発生する fact8: 若やぐことが発生する ; $hypothesis$ = 敢え無いということは生じない ; $proof$ = 
fact4 & fact6 -> int1: ぴのぴゆLv.3事件が起きる; fact5 & int1 -> int2: ぷなぷちゃLv.22事件が起きる; int2 & fact7 -> int3: ぷなぷちゃLv.22事件が発生するしまた聡いということは発生する; int3 & fact1 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: {A}; fact5 & int1 -> int2: {B}; int2 & fact7 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis; __PROVED__