「もし仮に調べ出すことが起こるとすると「御安いということは起こらないけれど付着し易いということが起きる」ということは間違いだ」ということは成り立たない
fact1: ぷにぷなLv.5事件が起これば「御安いということは起こらない一方で付着し易いということが起きる」ということは成り立たない fact2: 「もしぷにぷなLv.5事件が起こるとしたら「御安いということが起きるしおまけに付着し易いということが発生する」ということは誤りだ」ということは成り立つ fact3: もし仮に「調べ出すことが起こる」ということは事実であるとすると「御安いということおよび付着し易いということ両方が起きる」ということは間違いだ fact4: 従属することが起きる fact5: 「否定し難いということおよびつれないということ両方ともが生じる」ということは間違いだ fact6: 調べ出すことは「推断することは発生しない」ということを回避する fact7: 御安いということではなくて付着し易いということが生じる fact8: 推断することが発生するということは「ぷにぷなLv.5事件は起きない」ということを阻む
void -> assump1: 以下のように仮定する。調べ出すことが発生する; fact6 & assump1 -> int1: 推断することが生じる; int1 & fact8 -> int2: ぷにぷなLv.5事件が起きる; int2 & fact1 -> int3: 「御安いということは起きないが付着し易いということが起きる」ということは事実でない; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact1 -> int3: ¬(¬{E} & {D}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: ぷにぷなLv.5事件が起これば「御安いということは起こらない一方で付着し易いということが起きる」ということは成り立たない fact2: 「もしぷにぷなLv.5事件が起こるとしたら「御安いということが起きるしおまけに付着し易いということが発生する」ということは誤りだ」ということは成り立つ fact3: もし仮に「調べ出すことが起こる」ということは事実であるとすると「御安いということおよび付着し易いということ両方が起きる」ということは間違いだ fact4: 従属することが起きる fact5: 「否定し難いということおよびつれないということ両方ともが生じる」ということは間違いだ fact6: 調べ出すことは「推断することは発生しない」ということを回避する fact7: 御安いということではなくて付着し易いということが生じる fact8: 推断することが発生するということは「ぷにぷなLv.5事件は起きない」ということを阻む ; $hypothesis$ = 「もし仮に調べ出すことが起こるとすると「御安いということは起こらないけれど付着し易いということが起きる」ということは間違いだ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。調べ出すことが発生する; fact6 & assump1 -> int1: 推断することが生じる; int1 & fact8 -> int2: ぷにぷなLv.5事件が起きる; int2 & fact1 -> int3: 「御安いということは起きないが付着し易いということが起きる」ということは事実でない; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact8 -> int2: {C}; int2 & fact1 -> int3: ¬(¬{E} & {D}); [assump1] & int3 -> hypothesis; __DISPROVED__