忙しないということが生じる
fact1: 「しつっこいということは発生しない」ということは忙しないということを発生させる fact2: 仮に「目覚ましいということではなくしつっこいということが発生する」ということは誤っているとすると忙しないということが発生する fact3: しつっこいということが起こる fact4: 「目覚ましいということが起きるかもしくはぽわぽねLv.61事件は起きないかまたは両方ともである」ということはぽわぽねLv.61事件が起こるということを回避する fact5: 目覚ましいということが生じる fact6: しつっこいということは起こらないということは「忙しないということは起きないけれど目覚ましいということが起こる」ということに帰結する
void -> assump1: 以下のように仮定する。目覚ましいということではなくてしつっこいということが発生する; assump1 -> int1: 目覚ましいということは起こらない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「目覚ましいということは起こらないがしつっこいということが生じる」ということは間違っている; int3 & fact2 -> hypothesis;
void -> assump1: (¬{A} & {B}); assump1 -> int1: ¬{A}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A} & {B}); int3 & fact2 -> hypothesis;
忙しないということは発生しない
$facts$ = fact1: 「しつっこいということは発生しない」ということは忙しないということを発生させる fact2: 仮に「目覚ましいということではなくしつっこいということが発生する」ということは誤っているとすると忙しないということが発生する fact3: しつっこいということが起こる fact4: 「目覚ましいということが起きるかもしくはぽわぽねLv.61事件は起きないかまたは両方ともである」ということはぽわぽねLv.61事件が起こるということを回避する fact5: 目覚ましいということが生じる fact6: しつっこいということは起こらないということは「忙しないということは起きないけれど目覚ましいということが起こる」ということに帰結する ; $hypothesis$ = 忙しないということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。目覚ましいということではなくてしつっこいということが発生する; assump1 -> int1: 目覚ましいということは起こらない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「目覚ましいということは起こらないがしつっこいということが生じる」ということは間違っている; int3 & fact2 -> hypothesis; __PROVED__
void -> assump1: (¬{A} & {B}); assump1 -> int1: ¬{A}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A} & {B}); int3 & fact2 -> hypothesis; __PROVED__