下手することは生じない
fact1: 生え易いということが起こるし更にぷちゃぷにゅLv.32事件が起きる fact2: もしも「もわもにゃLv.27事件は生じない」ということは真実だとすればぷちゃぷにゅLv.32事件が起こるしまた生え易いということが起きる fact3: 生え易いということが発生する fact4: もわもにゃLv.27事件が発生する fact5: もし「ぷちゃぷにゅLv.32事件およびもわもにゃLv.27事件両方ともが生じる」ということは確かなら下手することは生じない fact6: ぷなぷちゃLv.18事件が発生する fact7: 「ぷちゃぷにゅLv.32事件は発生しない」ということは生え易いということとぷにゃぷちょLv.59事件が起こるのきっかけとなる
fact1 -> int1: ぷちゃぷにゅLv.32事件が発生する; int1 & fact4 -> int2: ぷちゃぷにゅLv.32事件が発生するしそれにもわもにゃLv.27事件が起こる; int2 & fact5 -> hypothesis;
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis;
下手することが起こる
$facts$ = fact1: 生え易いということが起こるし更にぷちゃぷにゅLv.32事件が起きる fact2: もしも「もわもにゃLv.27事件は生じない」ということは真実だとすればぷちゃぷにゅLv.32事件が起こるしまた生え易いということが起きる fact3: 生え易いということが発生する fact4: もわもにゃLv.27事件が発生する fact5: もし「ぷちゃぷにゅLv.32事件およびもわもにゃLv.27事件両方ともが生じる」ということは確かなら下手することは生じない fact6: ぷなぷちゃLv.18事件が発生する fact7: 「ぷちゃぷにゅLv.32事件は発生しない」ということは生え易いということとぷにゃぷちょLv.59事件が起こるのきっかけとなる ; $hypothesis$ = 下手することは生じない ; $proof$ = 
fact1 -> int1: ぷちゃぷにゅLv.32事件が発生する; int1 & fact4 -> int2: ぷちゃぷにゅLv.32事件が発生するしそれにもわもにゃLv.27事件が起こる; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact5 -> hypothesis; __PROVED__