以下のように仮定する。ぴえぴわLv.39事件が起きる
fact1: 「賢しということは生じない」ということは「薄いということは発生しないし精進すことが発生する」ということを招く fact2: まわまちゅLv.39事件は起こらないということはぴえぴわLv.39事件に阻まれる fact3: 薄いということは起こらないとすると「ぴえぴわLv.39事件ではなくてまわまちゅLv.39事件が生じる」ということは成り立つということはない fact4: もし仮に「ぴえぴわLv.39事件ではなくてまわまちゅLv.39事件が起こる」ということは成り立つということはないならばぷにょぷにゃLv.79事件は起こらない fact5: まわまちゅLv.39事件は生じない
void -> assump1: 以下のように仮定する。ぴえぴわLv.39事件が起きる; fact2 & assump1 -> int1: まわまちゅLv.39事件が発生する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis;
ぷにょぷにゃLv.79事件は発生しない
$facts$ = fact1: 「賢しということは生じない」ということは「薄いということは発生しないし精進すことが発生する」ということを招く fact2: まわまちゅLv.39事件は起こらないということはぴえぴわLv.39事件に阻まれる fact3: 薄いということは起こらないとすると「ぴえぴわLv.39事件ではなくてまわまちゅLv.39事件が生じる」ということは成り立つということはない fact4: もし仮に「ぴえぴわLv.39事件ではなくてまわまちゅLv.39事件が起こる」ということは成り立つということはないならばぷにょぷにゃLv.79事件は起こらない fact5: まわまちゅLv.39事件は生じない ; $hypothesis$ = 以下のように仮定する。ぴえぴわLv.39事件が起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぴえぴわLv.39事件が起きる; fact2 & assump1 -> int1: まわまちゅLv.39事件が発生する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: {B}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__