見境無いということが生じる
fact1: ぷちゅぷくLv.27事件は起きないということはぽにょぽにゅLv.16事件ともちょものLv.87事件が起こるを誘発する fact2: ぷちゅぷくLv.27事件は発生しない fact3: もちょものLv.87事件が生じる fact4: ぽにょぽにゅLv.16事件は想像し得ることが起こるということに繋がる fact5: 仮に「もちょものLv.87事件は起きない」ということは真実だとするとぽにょぽにゅLv.16事件が起こるがしかし見境無いということは発生しない fact6: 見境無いということは発生しないということは「想像し得ることが起こる」ということに阻まれる
fact1 & fact2 -> int1: ぽにょぽにゅLv.16事件ともちょものLv.87事件が起こる; int1 -> int2: ぽにょぽにゅLv.16事件が起こる; int2 & fact4 -> int3: 想像し得ることが生じる; int3 & fact6 -> hypothesis;
fact1 & fact2 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: {C}; int3 & fact6 -> hypothesis;
見境無いということは起きない
$facts$ = fact1: ぷちゅぷくLv.27事件は起きないということはぽにょぽにゅLv.16事件ともちょものLv.87事件が起こるを誘発する fact2: ぷちゅぷくLv.27事件は発生しない fact3: もちょものLv.87事件が生じる fact4: ぽにょぽにゅLv.16事件は想像し得ることが起こるということに繋がる fact5: 仮に「もちょものLv.87事件は起きない」ということは真実だとするとぽにょぽにゅLv.16事件が起こるがしかし見境無いということは発生しない fact6: 見境無いということは発生しないということは「想像し得ることが起こる」ということに阻まれる ; $hypothesis$ = 見境無いということが生じる ; $proof$ = 
fact1 & fact2 -> int1: ぽにょぽにゅLv.16事件ともちょものLv.87事件が起こる; int1 -> int2: ぽにょぽにゅLv.16事件が起こる; int2 & fact4 -> int3: 想像し得ることが生じる; int3 & fact6 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact4 -> int3: {C}; int3 & fact6 -> hypothesis; __PROVED__