手っ取り早いということは起きない
fact1: 「みゆみいLv.83事件は発生しない」ということはぽいぽにゅLv.35事件が起きるということをもたらす fact2: 「注ぎ始めることと白いということが生じる」ということは真っ白いということは生じないということにより生じる fact3: ぷよぷくLv.46事件が発生する fact4: 真っ白いということは起こらない fact5: 注ぎ始めることが生じる fact6: もし仮に白いということおよびぷよぷくLv.46事件両方が起こるなら手っ取り早いということは発生しない
fact2 & fact4 -> int1: 注ぎ始めることが生じるし白いということが発生する; int1 -> int2: 白いということが生じる; int2 & fact3 -> int3: 白いということが起きるし更にぷよぷくLv.46事件が起こる; int3 & fact6 -> hypothesis;
fact2 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact3 -> int3: ({B} & {C}); int3 & fact6 -> hypothesis;
$facts$ = fact1: 「みゆみいLv.83事件は発生しない」ということはぽいぽにゅLv.35事件が起きるということをもたらす fact2: 「注ぎ始めることと白いということが生じる」ということは真っ白いということは生じないということにより生じる fact3: ぷよぷくLv.46事件が発生する fact4: 真っ白いということは起こらない fact5: 注ぎ始めることが生じる fact6: もし仮に白いということおよびぷよぷくLv.46事件両方が起こるなら手っ取り早いということは発生しない ; $hypothesis$ = 手っ取り早いということは起きない ; $proof$ = 
fact2 & fact4 -> int1: 注ぎ始めることが生じるし白いということが発生する; int1 -> int2: 白いということが生じる; int2 & fact3 -> int3: 白いということが起きるし更にぷよぷくLv.46事件が起こる; int3 & fact6 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact3 -> int3: ({B} & {C}); int3 & fact6 -> hypothesis; __PROVED__