「ぷのぷゆLv.11事件が生じる」ということは成り立つ
fact1: 色好いということは起こらないということは「踏み分けることは起こらない」ということに防がれる fact2: 「ぷのぷゆLv.11事件は起きない」ということはぴちゅぴなLv.15事件かあるいは信じ易いということかどちらもが契機である fact3: 踏み分けることは発生しない fact4: 「ぴちゅぴなLv.15事件が起きるししかも色好いということが生じる」ということは踏み分けることは起きないということに誘発される
fact3 & fact4 -> int1: ぴちゅぴなLv.15事件が起こるしそれに色好いということが起きる; int1 -> int2: ぴちゅぴなLv.15事件が起こる; int2 -> int3: ぴちゅぴなLv.15事件が発生するか信じ易いということが起きる; int3 & fact2 -> hypothesis;
fact3 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact2 -> hypothesis;
$facts$ = fact1: 色好いということは起こらないということは「踏み分けることは起こらない」ということに防がれる fact2: 「ぷのぷゆLv.11事件は起きない」ということはぴちゅぴなLv.15事件かあるいは信じ易いということかどちらもが契機である fact3: 踏み分けることは発生しない fact4: 「ぴちゅぴなLv.15事件が起きるししかも色好いということが生じる」ということは踏み分けることは起きないということに誘発される ; $hypothesis$ = 「ぷのぷゆLv.11事件が生じる」ということは成り立つ ; $proof$ = 
fact3 & fact4 -> int1: ぴちゅぴなLv.15事件が起こるしそれに色好いということが起きる; int1 -> int2: ぴちゅぴなLv.15事件が起こる; int2 -> int3: ぴちゅぴなLv.15事件が発生するか信じ易いということが起きる; int3 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 -> int3: ({A} v {C}); int3 & fact2 -> hypothesis; __DISPROVED__