ぷにゅぷにゅLv.18事件は起こらない
fact1: ぷにゅぷにゅLv.18事件が発生しないということは諫めることともくもちゃLv.0事件は発生するにより発生する fact2: みえみわLv.81事件は起こらない fact3: みえみわLv.81事件が起きないということはまいまにゅLv.54事件と諫めることは発生するを生じさせる fact4: もくもちゃLv.0事件が起きる fact5: もしもくもちゃLv.0事件は発生しないなら「諫めることが発生しないしさらにまいまにゅLv.54事件は生じない」ということは誤りである fact6: 仮にうじうじすることが起きないとすると移行し易いということおよび極まりないということ両方は発生する fact7: 極まりないということが起きるとすれば「成し難いということではなくてみえみわLv.81事件が起こる」ということは誤りである
fact3 & fact2 -> int1: まいまにゅLv.54事件と諫めることが発生する; int1 -> int2: 諫めることが起きる; int2 & fact4 -> int3: 「諫めることおよびもくもちゃLv.0事件が発生する」ということは真実だ; int3 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact4 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis;
ぷにゅぷにゅLv.18事件が起こる
$facts$ = fact1: ぷにゅぷにゅLv.18事件が発生しないということは諫めることともくもちゃLv.0事件は発生するにより発生する fact2: みえみわLv.81事件は起こらない fact3: みえみわLv.81事件が起きないということはまいまにゅLv.54事件と諫めることは発生するを生じさせる fact4: もくもちゃLv.0事件が起きる fact5: もしもくもちゃLv.0事件は発生しないなら「諫めることが発生しないしさらにまいまにゅLv.54事件は生じない」ということは誤りである fact6: 仮にうじうじすることが起きないとすると移行し易いということおよび極まりないということ両方は発生する fact7: 極まりないということが起きるとすれば「成し難いということではなくてみえみわLv.81事件が起こる」ということは誤りである ; $hypothesis$ = ぷにゅぷにゅLv.18事件は起こらない ; $proof$ = 
fact3 & fact2 -> int1: まいまにゅLv.54事件と諫めることが発生する; int1 -> int2: 諫めることが起きる; int2 & fact4 -> int3: 「諫めることおよびもくもちゃLv.0事件が発生する」ということは真実だ; int3 & fact1 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact4 -> int3: ({B} & {C}); int3 & fact1 -> hypothesis; __PROVED__