以下のように仮定する。捨て難いということが生じる
fact1: ものもくLv.60事件は起こらないということは「考え難いということは起きない」ということを発生させる fact2: 「ものもくLv.60事件が起きる」ということは確かである fact3: 「ぽゆぽなLv.55事件は起こらなくて捨て難いということは起きない」ということはもにょもゆLv.65事件に引き起こされる fact4: ぽゆぽなLv.55事件が生じる fact5: ぽゆぽなLv.55事件が起きないということは「ものもくLv.60事件と捨て難いということが起きる」ということは契機だ fact6: もにょもゆLv.65事件および空恐ろしいということが起きるはぽちょぽちゅLv.51事件は起こらないということに誘発される fact7: 「ぽゆぽなLv.55事件は発生しないしその上捨て難いということは起きない」ということはものもくLv.60事件は生じないということに繋がる
void -> assump1: 以下のように仮定する。捨て難いということが生じる; fact2 & assump1 -> int1: ものもくLv.60事件および捨て難いということが発生する; int1 & fact5 -> int2: ぽゆぽなLv.55事件は発生しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
考え難いということは起きない
$facts$ = fact1: ものもくLv.60事件は起こらないということは「考え難いということは起きない」ということを発生させる fact2: 「ものもくLv.60事件が起きる」ということは確かである fact3: 「ぽゆぽなLv.55事件は起こらなくて捨て難いということは起きない」ということはもにょもゆLv.65事件に引き起こされる fact4: ぽゆぽなLv.55事件が生じる fact5: ぽゆぽなLv.55事件が起きないということは「ものもくLv.60事件と捨て難いということが起きる」ということは契機だ fact6: もにょもゆLv.65事件および空恐ろしいということが起きるはぽちょぽちゅLv.51事件は起こらないということに誘発される fact7: 「ぽゆぽなLv.55事件は発生しないしその上捨て難いということは起きない」ということはものもくLv.60事件は生じないということに繋がる ; $hypothesis$ = 以下のように仮定する。捨て難いということが生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。捨て難いということが生じる; fact2 & assump1 -> int1: ものもくLv.60事件および捨て難いということが発生する; int1 & fact5 -> int2: ぽゆぽなLv.55事件は発生しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact2 & assump1 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__