ぽちゃぽやLv.70事件が発生する
fact1: 赤っぽいということは「ごっついということは発生しない」ということを防ぐ fact2: 押さえ切れることが起こる fact3: 「ぴのぴちゃLv.61事件が生じるし更に押さえ切れることが生じる」ということはぽちゃぽやLv.70事件は発生しないということを誘発する fact4: もし仮に汚れ易いということが起きるなら「押さえ切れることが発生するがしかし赤っぽいということは発生しない」ということは誤りである fact5: 「赤っぽいということが生じる」ということは真実だ fact6: ぴのぴちゃLv.61事件がごっついということは原因だ
fact5 & fact1 -> int1: ごっついということが起きる; fact6 & int1 -> int2: ぴのぴちゃLv.61事件が発生する; int2 & fact2 -> int3: ぴのぴちゃLv.61事件が発生するし押さえ切れることが起こる; int3 & fact3 -> hypothesis;
fact5 & fact1 -> int1: {A}; fact6 & int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact3 -> hypothesis;
ぽちゃぽやLv.70事件が発生する
$facts$ = fact1: 赤っぽいということは「ごっついということは発生しない」ということを防ぐ fact2: 押さえ切れることが起こる fact3: 「ぴのぴちゃLv.61事件が生じるし更に押さえ切れることが生じる」ということはぽちゃぽやLv.70事件は発生しないということを誘発する fact4: もし仮に汚れ易いということが起きるなら「押さえ切れることが発生するがしかし赤っぽいということは発生しない」ということは誤りである fact5: 「赤っぽいということが生じる」ということは真実だ fact6: ぴのぴちゃLv.61事件がごっついということは原因だ ; $hypothesis$ = ぽちゃぽやLv.70事件が発生する ; $proof$ = 
fact5 & fact1 -> int1: ごっついということが起きる; fact6 & int1 -> int2: ぴのぴちゃLv.61事件が発生する; int2 & fact2 -> int3: ぴのぴちゃLv.61事件が発生するし押さえ切れることが起こる; int3 & fact3 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {A}; fact6 & int1 -> int2: {B}; int2 & fact2 -> int3: ({B} & {C}); int3 & fact3 -> hypothesis; __DISPROVED__