ぷいぷにゅLv.27事件が発生する
fact1: 極まりないということは起きない fact2: ぽなぽちゃLv.58事件が起きるということかもしくはもくもゆLv.46事件かあるいはどちらもはぷいぷにゅLv.27事件を回避する fact3: もし極まりないということが起きるとすれば「もくもゆLv.46事件が起きるけどぷいぷにゅLv.27事件は起きない」ということは誤っている fact4: ぽなぽちゃLv.58事件は起きないということは踏み下ろすことに阻まれる fact5: ぷにぷちゃLv.78事件は起こらないということは踏み下ろすことに防がれる fact6: 「極まりないということは起きない」ということは「踏み下ろすことか御強いということかあるいはどちらもが生じる」ということを引き起こす fact7: 御強いということはぽなぽちゃLv.58事件は発生しないということを回避する
fact1 & fact6 -> int1: 踏み下ろすことが発生するかあるいは御強いということが起きる; int1 & fact4 & fact7 -> int2: ぽなぽちゃLv.58事件が発生する; int2 -> int3: ぽなぽちゃLv.58事件が生じるかもしくはもくもゆLv.46事件が生じるかもしくは両方だ; int3 & fact2 -> hypothesis;
fact1 & fact6 -> int1: ({A} v {B}); int1 & fact4 & fact7 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact2 -> hypothesis;
反映され易いということが発生するかぷにぷちゃLv.78事件が起きるかあるいは両方ともである
$facts$ = fact1: 極まりないということは起きない fact2: ぽなぽちゃLv.58事件が起きるということかもしくはもくもゆLv.46事件かあるいはどちらもはぷいぷにゅLv.27事件を回避する fact3: もし極まりないということが起きるとすれば「もくもゆLv.46事件が起きるけどぷいぷにゅLv.27事件は起きない」ということは誤っている fact4: ぽなぽちゃLv.58事件は起きないということは踏み下ろすことに阻まれる fact5: ぷにぷちゃLv.78事件は起こらないということは踏み下ろすことに防がれる fact6: 「極まりないということは起きない」ということは「踏み下ろすことか御強いということかあるいはどちらもが生じる」ということを引き起こす fact7: 御強いということはぽなぽちゃLv.58事件は発生しないということを回避する ; $hypothesis$ = ぷいぷにゅLv.27事件が発生する ; $proof$ = 
fact1 & fact6 -> int1: 踏み下ろすことが発生するかあるいは御強いということが起きる; int1 & fact4 & fact7 -> int2: ぽなぽちゃLv.58事件が発生する; int2 -> int3: ぽなぽちゃLv.58事件が生じるかもしくはもくもゆLv.46事件が生じるかもしくは両方だ; int3 & fact2 -> hypothesis; __DISPROVED__
fact1 & fact6 -> int1: ({A} v {B}); int1 & fact4 & fact7 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact2 -> hypothesis; __DISPROVED__