ぽちゃぽにゃLv.17事件は発生しない
fact1: もしも「軟らかいということは生じない」ということは事実なら分かり難いということは起きなくてぽちゃぽにゃLv.17事件が起こる fact2: 「ぷゆぷやLv.12事件は生じない」ということは「ぷいぷちゃLv.91事件が生じるしそれにぷくぷのLv.59事件が生じる」ということを招く fact3: 表出することが起こる fact4: ぷくぷのLv.59事件と御手伝い出来ることが生じるは分かり難いということは起きないということがきっかけである fact5: 「ぷくぷのLv.59事件と表出することが発生する」ということはぽちゃぽにゃLv.17事件は発生しないということに帰結する fact6: 表出することは起きないとするとみのみちょLv.6事件と御手伝い出来ること両方ともが起こる fact7: 「分かり難いということは生じない」ということは誤っていない
fact7 & fact4 -> int1: ぷくぷのLv.59事件および御手伝い出来ることどちらもが発生する; int1 -> int2: ぷくぷのLv.59事件が起こる; int2 & fact3 -> int3: ぷくぷのLv.59事件と表出することが起きる; int3 & fact5 -> hypothesis;
fact7 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact3 -> int3: ({A} & {C}); int3 & fact5 -> hypothesis;
みのみちょLv.6事件が生じるしかつぷいぷちゃLv.91事件が起きる
$facts$ = fact1: もしも「軟らかいということは生じない」ということは事実なら分かり難いということは起きなくてぽちゃぽにゃLv.17事件が起こる fact2: 「ぷゆぷやLv.12事件は生じない」ということは「ぷいぷちゃLv.91事件が生じるしそれにぷくぷのLv.59事件が生じる」ということを招く fact3: 表出することが起こる fact4: ぷくぷのLv.59事件と御手伝い出来ることが生じるは分かり難いということは起きないということがきっかけである fact5: 「ぷくぷのLv.59事件と表出することが発生する」ということはぽちゃぽにゃLv.17事件は発生しないということに帰結する fact6: 表出することは起きないとするとみのみちょLv.6事件と御手伝い出来ること両方ともが起こる fact7: 「分かり難いということは生じない」ということは誤っていない ; $hypothesis$ = ぽちゃぽにゃLv.17事件は発生しない ; $proof$ = 
fact7 & fact4 -> int1: ぷくぷのLv.59事件および御手伝い出来ることどちらもが発生する; int1 -> int2: ぷくぷのLv.59事件が起こる; int2 & fact3 -> int3: ぷくぷのLv.59事件と表出することが起きる; int3 & fact5 -> hypothesis; __PROVED__
fact7 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact3 -> int3: ({A} & {C}); int3 & fact5 -> hypothesis; __PROVED__