「ぴにょぴにょLv.19事件は起きない」ということは成り立つ
fact1: 思わしいということおよび力強いということが起こる fact2: 力強いということは発生しないとしたら思わしいということは起きなくてまた溜まり易いということは起きない fact3: ぽやぽわLv.54事件が生じる fact4: もし仮に思えることではなく力強いということが起きるとするとぷちゃぷにゅLv.58事件が起こる fact5: 犯し易いということが起こる fact6: もしもみくみねLv.24事件が発生しないとしたらぷちゃぷにゅLv.58事件ではなくぽやぽわLv.54事件は発生する fact7: 仮にぷちゃぷにゅLv.58事件とぽやぽわLv.54事件どちらもが起こればぴにょぴにょLv.19事件は生じない fact8: 「ぴちゃぴちゅLv.97事件は発生しないがしかしまやまにゃLv.6事件が起こる」ということはまやまにゃLv.6事件により生じる fact9: 仮に力強いということが生じるなら思えることではなく力強いということが発生する
fact1 -> int1: 力強いということが起きる; int1 & fact9 -> int2: 思えることではなくて力強いということが起きる; int2 & fact4 -> int3: ぷちゃぷにゅLv.58事件が生じる; int3 & fact3 -> int4: ぷちゃぷにゅLv.58事件およびぽやぽわLv.54事件両方が生じる; int4 & fact7 -> hypothesis;
fact1 -> int1: {B}; int1 & fact9 -> int2: (¬{D} & {B}); int2 & fact4 -> int3: {C}; int3 & fact3 -> int4: ({C} & {E}); int4 & fact7 -> hypothesis;
溜まり易いということは起きない
$facts$ = fact1: 思わしいということおよび力強いということが起こる fact2: 力強いということは発生しないとしたら思わしいということは起きなくてまた溜まり易いということは起きない fact3: ぽやぽわLv.54事件が生じる fact4: もし仮に思えることではなく力強いということが起きるとするとぷちゃぷにゅLv.58事件が起こる fact5: 犯し易いということが起こる fact6: もしもみくみねLv.24事件が発生しないとしたらぷちゃぷにゅLv.58事件ではなくぽやぽわLv.54事件は発生する fact7: 仮にぷちゃぷにゅLv.58事件とぽやぽわLv.54事件どちらもが起こればぴにょぴにょLv.19事件は生じない fact8: 「ぴちゃぴちゅLv.97事件は発生しないがしかしまやまにゃLv.6事件が起こる」ということはまやまにゃLv.6事件により生じる fact9: 仮に力強いということが生じるなら思えることではなく力強いということが発生する ; $hypothesis$ = 「ぴにょぴにょLv.19事件は起きない」ということは成り立つ ; $proof$ = 
fact1 -> int1: 力強いということが起きる; int1 & fact9 -> int2: 思えることではなくて力強いということが起きる; int2 & fact4 -> int3: ぷちゃぷにゅLv.58事件が生じる; int3 & fact3 -> int4: ぷちゃぷにゅLv.58事件およびぽやぽわLv.54事件両方が生じる; int4 & fact7 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact9 -> int2: (¬{D} & {B}); int2 & fact4 -> int3: {C}; int3 & fact3 -> int4: ({C} & {E}); int4 & fact7 -> hypothesis; __PROVED__