「ぷのぷちゃLv.81事件が起きる」ということは成り立つ
fact1: ぴちょぴにゃLv.49事件は生じない fact2: ぴちょぴにゃLv.49事件が発生しないならばぴいぴちゅLv.51事件は発生するかまたは登山家らしいということが起こるかもしくは両方だ fact3: 成され易いということが起きるかもしくは見据えることが発生するか両方ともであるならばぷのぷちゃLv.81事件は発生しない fact4: 「登山家らしいということが生じるがしかし成され易いということは生じない」ということは成り立たないならば登山家らしいということは発生しない fact5: もし仮にぷのぷちゃLv.81事件が生じれば「「見据えることは生じないし成され易いということが起こる」ということは間違いだ」ということは成り立つ fact6: 成され易いということは起こらないということはぴいぴちゅLv.51事件に阻止される fact7: 登山家らしいということは成され易いということをもたらす fact8: 「ぷのぷちゃLv.81事件およびぴちょぴにゃLv.49事件どちらもが起こる」ということは「えぐいということは起こらない」ということに由来する
fact1 & fact2 -> int1: 「ぴいぴちゅLv.51事件が発生するかもしくは登山家らしいということが起こるか両方だ」ということは確かだ; int1 & fact6 & fact7 -> int2: 成され易いということが生じる; int2 -> int3: 成され易いということかあるいは見据えることが起こる; int3 & fact3 -> hypothesis;
fact1 & fact2 -> int1: ({A} v {B}); int1 & fact6 & fact7 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact3 -> hypothesis;
「ぷのぷちゃLv.81事件が起きる」ということは成り立つ
$facts$ = fact1: ぴちょぴにゃLv.49事件は生じない fact2: ぴちょぴにゃLv.49事件が発生しないならばぴいぴちゅLv.51事件は発生するかまたは登山家らしいということが起こるかもしくは両方だ fact3: 成され易いということが起きるかもしくは見据えることが発生するか両方ともであるならばぷのぷちゃLv.81事件は発生しない fact4: 「登山家らしいということが生じるがしかし成され易いということは生じない」ということは成り立たないならば登山家らしいということは発生しない fact5: もし仮にぷのぷちゃLv.81事件が生じれば「「見据えることは生じないし成され易いということが起こる」ということは間違いだ」ということは成り立つ fact6: 成され易いということは起こらないということはぴいぴちゅLv.51事件に阻止される fact7: 登山家らしいということは成され易いということをもたらす fact8: 「ぷのぷちゃLv.81事件およびぴちょぴにゃLv.49事件どちらもが起こる」ということは「えぐいということは起こらない」ということに由来する ; $hypothesis$ = 「ぷのぷちゃLv.81事件が起きる」ということは成り立つ ; $proof$ = 
fact1 & fact2 -> int1: 「ぴいぴちゅLv.51事件が発生するかもしくは登山家らしいということが起こるか両方だ」ということは確かだ; int1 & fact6 & fact7 -> int2: 成され易いということが生じる; int2 -> int3: 成され易いということかあるいは見据えることが起こる; int3 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: ({A} v {B}); int1 & fact6 & fact7 -> int2: {C}; int2 -> int3: ({C} v {D}); int3 & fact3 -> hypothesis; __DISPROVED__