ぽにゃぽにょLv.67事件は起きない
fact1: ぽにゃぽなLv.17事件は起きないということはぽよぽにLv.33事件を発生させる fact2: 「ぽにゃぽにょLv.67事件は生じない」ということは「変化し易いということが生じるしその上入手し易いということが起きる」ということが原因だ fact3: ぽにゃぽなLv.17事件は起きない fact4: 「ぽよぽにLv.33事件および変化し易いということ両方が生じる」ということはぽにゃぽなLv.17事件は起こらないということにより生じる fact5: 「入手し易いということが起きる」ということは真実だ fact6: もし「変化し易いということは生じない」ということは事実であるとするとぽにゃぽにょLv.67事件とぽよぽにLv.33事件どちらもが生じる fact7: もしもいもにゅLv.21事件が起きれば「ぽにゃぽなLv.17事件は生じないし入手し易いということが生じる」ということは事実でない
fact4 & fact3 -> int1: ぽよぽにLv.33事件と変化し易いということ両方ともが起こる; int1 -> int2: 変化し易いということが発生する; int2 & fact5 -> int3: 変化し易いということと入手し易いということが発生する; int3 & fact2 -> hypothesis;
fact4 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact5 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis;
ぽにゃぽにょLv.67事件が起こる
$facts$ = fact1: ぽにゃぽなLv.17事件は起きないということはぽよぽにLv.33事件を発生させる fact2: 「ぽにゃぽにょLv.67事件は生じない」ということは「変化し易いということが生じるしその上入手し易いということが起きる」ということが原因だ fact3: ぽにゃぽなLv.17事件は起きない fact4: 「ぽよぽにLv.33事件および変化し易いということ両方が生じる」ということはぽにゃぽなLv.17事件は起こらないということにより生じる fact5: 「入手し易いということが起きる」ということは真実だ fact6: もし「変化し易いということは生じない」ということは事実であるとするとぽにゃぽにょLv.67事件とぽよぽにLv.33事件どちらもが生じる fact7: もしもいもにゅLv.21事件が起きれば「ぽにゃぽなLv.17事件は生じないし入手し易いということが生じる」ということは事実でない ; $hypothesis$ = ぽにゃぽにょLv.67事件は起きない ; $proof$ = 
fact4 & fact3 -> int1: ぽよぽにLv.33事件と変化し易いということ両方ともが起こる; int1 -> int2: 変化し易いということが発生する; int2 & fact5 -> int3: 変化し易いということと入手し易いということが発生する; int3 & fact2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact5 -> int3: ({B} & {C}); int3 & fact2 -> hypothesis; __PROVED__