「「ぷにょぷくLv.49事件は生じない」ということは盗み見ることにより生じる」ということは成り立たない
fact1: もちょもちゅLv.77事件が生じないということはぴにゃぴえLv.36事件およびぷいぷにゃLv.0事件は発生するに阻止される fact2: 盗み見ることはぷにょぷくLv.49事件を引き起こす fact3: 自然らしいということが生じる fact4: ぴにぴえLv.58事件が起きる fact5: 転用することが起こるしそれにぽねぽちゃLv.11事件が起こる fact6: もし仮にぴにゅぴにょLv.61事件および盗み見ることが起きるとするとぷにょぷくLv.49事件は発生しない fact7: ぽわぽいLv.62事件および得難しということが起きるは「多しということは起きない」ということを発生させる fact8: ぴにゅぴにょLv.61事件は自然らしいということに誘発される
fact8 & fact3 -> int1: ぴにゅぴにょLv.61事件が生じる; void -> assump1: 以下のように仮定する。盗み見ることが起こる; int1 & assump1 -> int2: ぴにゅぴにょLv.61事件と盗み見ることどちらもが生じる; int2 & fact6 -> int3: ぷにょぷくLv.49事件は起きない; [assump1] & int3 -> hypothesis;
fact8 & fact3 -> int1: {B}; void -> assump1: {C}; int1 & assump1 -> int2: ({B} & {C}); int2 & fact6 -> int3: ¬{D}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もちょもちゅLv.77事件が生じないということはぴにゃぴえLv.36事件およびぷいぷにゃLv.0事件は発生するに阻止される fact2: 盗み見ることはぷにょぷくLv.49事件を引き起こす fact3: 自然らしいということが生じる fact4: ぴにぴえLv.58事件が起きる fact5: 転用することが起こるしそれにぽねぽちゃLv.11事件が起こる fact6: もし仮にぴにゅぴにょLv.61事件および盗み見ることが起きるとするとぷにょぷくLv.49事件は発生しない fact7: ぽわぽいLv.62事件および得難しということが起きるは「多しということは起きない」ということを発生させる fact8: ぴにゅぴにょLv.61事件は自然らしいということに誘発される ; $hypothesis$ = 「「ぷにょぷくLv.49事件は生じない」ということは盗み見ることにより生じる」ということは成り立たない ; $proof$ = 
fact8 & fact3 -> int1: ぴにゅぴにょLv.61事件が生じる; void -> assump1: 以下のように仮定する。盗み見ることが起こる; int1 & assump1 -> int2: ぴにゅぴにょLv.61事件と盗み見ることどちらもが生じる; int2 & fact6 -> int3: ぷにょぷくLv.49事件は起きない; [assump1] & int3 -> hypothesis; __DISPROVED__
fact8 & fact3 -> int1: {B}; void -> assump1: {C}; int1 & assump1 -> int2: ({B} & {C}); int2 & fact6 -> int3: ¬{D}; [assump1] & int3 -> hypothesis; __DISPROVED__