「もし仮に世知辛いということは発生しないならば世知辛いということは起きなくてそれにぷにゃぷいLv.39事件は生じない」ということは偽である
fact1: 「ぴいぴちゃLv.84事件は起こらないしそれに世知辛いということは発生しない」ということはぷにゃぷいLv.39事件に由来する fact2: 越えることは発生しなくて勿体無いということは起きない fact3: ぷにゃぷいLv.39事件は起きない fact4: ぷにゃぷいLv.39事件は見掛けることにより生じる fact5: もし仮に世知辛いということが起こるとしたら世知辛いということは発生しなくてぷにゃぷいLv.39事件は発生しない
void -> assump1: 以下のように仮定する。世知辛いということは起きない; assump1 & fact3 -> int1: 「世知辛いということは起こらなくてまたぷにゃぷいLv.39事件は起きない」ということは確かである; [assump1] & int1 -> hypothesis;
void -> assump1: ¬{A}; assump1 & fact3 -> int1: (¬{A} & ¬{B}); [assump1] & int1 -> hypothesis;
ぴいぴちゃLv.84事件は起きない
$facts$ = fact1: 「ぴいぴちゃLv.84事件は起こらないしそれに世知辛いということは発生しない」ということはぷにゃぷいLv.39事件に由来する fact2: 越えることは発生しなくて勿体無いということは起きない fact3: ぷにゃぷいLv.39事件は起きない fact4: ぷにゃぷいLv.39事件は見掛けることにより生じる fact5: もし仮に世知辛いということが起こるとしたら世知辛いということは発生しなくてぷにゃぷいLv.39事件は発生しない ; $hypothesis$ = 「もし仮に世知辛いということは発生しないならば世知辛いということは起きなくてそれにぷにゃぷいLv.39事件は生じない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。世知辛いということは起きない; assump1 & fact3 -> int1: 「世知辛いということは起こらなくてまたぷにゃぷいLv.39事件は起きない」ということは確かである; [assump1] & int1 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}; assump1 & fact3 -> int1: (¬{A} & ¬{B}); [assump1] & int1 -> hypothesis; __DISPROVED__