以下のように仮定する。遜色無いということが起こる
fact1: まあるいということが起きる fact2: 「オーバーすることは発生しない」ということは「もわもいLv.75事件が生じるし遜色無いということは発生しない」ということを引き起こす fact3: 出会い易いということが発生する fact4: もわもいLv.75事件が起こる fact5: 煙たいということと仕方無しということが生じるは出会い易いということは起きないということに引き起こされる fact6: 「出会い易いということが起こるしかつ遜色無いということが起こる」ということは「もわもいLv.75事件が生じる」ということを防ぐ
void -> assump1: 以下のように仮定する。遜色無いということが起こる; fact3 & assump1 -> int1: 出会い易いということが起こるし遜色無いということが生じる; int1 & fact6 -> int2: もわもいLv.75事件は生じない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact3 & assump1 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
煙たいということが起こるし加えて仕方無しということが起こる
$facts$ = fact1: まあるいということが起きる fact2: 「オーバーすることは発生しない」ということは「もわもいLv.75事件が生じるし遜色無いということは発生しない」ということを引き起こす fact3: 出会い易いということが発生する fact4: もわもいLv.75事件が起こる fact5: 煙たいということと仕方無しということが生じるは出会い易いということは起きないということに引き起こされる fact6: 「出会い易いということが起こるしかつ遜色無いということが起こる」ということは「もわもいLv.75事件が生じる」ということを防ぐ ; $hypothesis$ = 以下のように仮定する。遜色無いということが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。遜色無いということが起こる; fact3 & assump1 -> int1: 出会い易いということが起こるし遜色無いということが生じる; int1 & fact6 -> int2: もわもいLv.75事件は生じない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact3 & assump1 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__