せこいということは生じない
fact1: 「ぴよぴやLv.68事件は生じない」ということは「失格することは生じない」ということかもしくはぴよぴやLv.68事件は発生しないということに誘発される fact2: 絶叫することが発生するかまたは悪賢いということが起きるか両方ともである fact3: みやみちゅLv.49事件が起きる fact4: もし「みやみちゅLv.49事件とせこいということ両方ともが発生する」ということは間違っているなら失格することは起こらない fact5: もし仮にせこいということかあるいは失格することか両方が起こるとするとみやみちゅLv.49事件は発生しない
void -> assump1: 以下のように仮定する。せこいということが生じる; assump1 -> int1: せこいということかもしくは失格することが起こる; int1 & fact5 -> int2: みやみちゅLv.49事件は起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
ぴよぴやLv.68事件は生じない
$facts$ = fact1: 「ぴよぴやLv.68事件は生じない」ということは「失格することは生じない」ということかもしくはぴよぴやLv.68事件は発生しないということに誘発される fact2: 絶叫することが発生するかまたは悪賢いということが起きるか両方ともである fact3: みやみちゅLv.49事件が起きる fact4: もし「みやみちゅLv.49事件とせこいということ両方ともが発生する」ということは間違っているなら失格することは起こらない fact5: もし仮にせこいということかあるいは失格することか両方が起こるとするとみやみちゅLv.49事件は発生しない ; $hypothesis$ = せこいということは生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。せこいということが生じる; assump1 -> int1: せこいということかもしくは失格することが起こる; int1 & fact5 -> int2: みやみちゅLv.49事件は起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__