「ぷよぷにゅLv.23事件は発生しない」ということは真実である
fact1: 「ぴやぴなLv.30事件は発生しない」ということは「ぷよぷにゅLv.23事件および動揺し易いということが発生する」ということが契機だ fact2: 「ぴやぴなLv.30事件かあるいは動揺し易いということかもしくは両方ともが起こる」ということは「苦労することは起こらない」ということが原因である fact3: ぴやぴなLv.30事件が発生する fact4: 動揺し易いということが生じる fact5: もしもつべたいということが発生すれば「苦労することは起こらなくてぴやぴなLv.30事件は生じない」ということは成り立つということはない fact6: 「誇らしいということが起こる」ということは真実である
void -> assump1: 以下のように仮定する。ぷよぷにゅLv.23事件が起こる; assump1 & fact4 -> int1: ぷよぷにゅLv.23事件と動揺し易いということ両方が発生する; int1 & fact1 -> int2: 「ぴやぴなLv.30事件は生じない」ということは事実だ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
気付き難いということは起きない
$facts$ = fact1: 「ぴやぴなLv.30事件は発生しない」ということは「ぷよぷにゅLv.23事件および動揺し易いということが発生する」ということが契機だ fact2: 「ぴやぴなLv.30事件かあるいは動揺し易いということかもしくは両方ともが起こる」ということは「苦労することは起こらない」ということが原因である fact3: ぴやぴなLv.30事件が発生する fact4: 動揺し易いということが生じる fact5: もしもつべたいということが発生すれば「苦労することは起こらなくてぴやぴなLv.30事件は生じない」ということは成り立つということはない fact6: 「誇らしいということが起こる」ということは真実である ; $hypothesis$ = 「ぷよぷにゅLv.23事件は発生しない」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷよぷにゅLv.23事件が起こる; assump1 & fact4 -> int1: ぷよぷにゅLv.23事件と動揺し易いということ両方が発生する; int1 & fact1 -> int2: 「ぴやぴなLv.30事件は生じない」ということは事実だ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__