「付き難いということが起きるし加えてぴねぴにゅLv.19事件が起こる」ということは本当である
fact1: 「把握し難いということが起こる」ということは「目的無しということは起きないがしかし付き難いということが発生する」ということを誘発する fact2: ぴねぴにゅLv.19事件が起こる fact3: 把握し難いということが生じる
fact1 & fact3 -> int1: 目的無しということは起こらない一方で付き難いということが生じる; int1 -> int2: 付き難いということが起こる; int2 & fact2 -> hypothesis;
fact1 & fact3 -> int1: (¬{AA} & {AB}); int1 -> int2: {AB}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 「把握し難いということが起こる」ということは「目的無しということは起きないがしかし付き難いということが発生する」ということを誘発する fact2: ぴねぴにゅLv.19事件が起こる fact3: 把握し難いということが生じる ; $hypothesis$ = 「付き難いということが起きるし加えてぴねぴにゅLv.19事件が起こる」ということは本当である ; $proof$ = 
fact1 & fact3 -> int1: 目的無しということは起こらない一方で付き難いということが生じる; int1 -> int2: 付き難いということが起こる; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: (¬{AA} & {AB}); int1 -> int2: {AB}; int2 & fact2 -> hypothesis; __PROVED__