「ログオンすることは行い易いということは発生しないということを阻む」ということは成り立たない
fact1: 堪え難いということが生じるということは「行い易いということは発生しない」ということを阻む fact2: 「小気味良いということは発生しなくて決め兼ねることは発生しない」ということは事実でないとすると行い易いということは発生しない fact3: もしもまちょまねLv.71事件は起きないなら「小気味良いということは起こらなくてその上決め兼ねることは起きない」ということは間違っている fact4: 「ぽゆぽちゅLv.88事件は発生しない」ということは「堪え難いということは発生しない一方でログオンすることが発生する」ということに防がれる fact5: ぴなぴなLv.39事件は「まちょまねLv.71事件は起こらない」ということを招く fact6: 堪え難いということは生じないということはログオンすることが起こるということに防がれる
void -> assump1: 以下のように仮定する。ログオンすることが起こる; fact6 & assump1 -> int1: 堪え難いということが起こる; int1 & fact1 -> int2: 行い易いということが発生する; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact1 -> int2: {C}; [assump1] & int2 -> hypothesis;
ぽゆぽちゅLv.88事件が生じる
$facts$ = fact1: 堪え難いということが生じるということは「行い易いということは発生しない」ということを阻む fact2: 「小気味良いということは発生しなくて決め兼ねることは発生しない」ということは事実でないとすると行い易いということは発生しない fact3: もしもまちょまねLv.71事件は起きないなら「小気味良いということは起こらなくてその上決め兼ねることは起きない」ということは間違っている fact4: 「ぽゆぽちゅLv.88事件は発生しない」ということは「堪え難いということは発生しない一方でログオンすることが発生する」ということに防がれる fact5: ぴなぴなLv.39事件は「まちょまねLv.71事件は起こらない」ということを招く fact6: 堪え難いということは生じないということはログオンすることが起こるということに防がれる ; $hypothesis$ = 「ログオンすることは行い易いということは発生しないということを阻む」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。ログオンすることが起こる; fact6 & assump1 -> int1: 堪え難いということが起こる; int1 & fact1 -> int2: 行い易いということが発生する; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact6 & assump1 -> int1: {B}; int1 & fact1 -> int2: {C}; [assump1] & int2 -> hypothesis; __DISPROVED__