連想し易いということは生じない
fact1: 仮に連想し易いということは起こらないか捨て難いということは起きないとするとみやみちゃLv.20事件が発生する fact2: 似付かわしいということが発生する fact3: 似付かわしいということは捨て難いということが起きるということか連想し易いということに阻止される fact4: 「似付かわしいということが生じるかぽにぽちゃLv.73事件は起きないかもしくは両方だ」ということは捨て難いということは起きないということのきっかけとなる
void -> assump1: 以下のように仮定する。連想し易いということが起きる; assump1 -> int1: 捨て難いということが起こるかあるいは連想し易いということが発生するかまたはどちらもである; int1 & fact3 -> int2: 似付かわしいということは生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
みやみちゃLv.20事件かまたはぷにょぷゆLv.11事件が生じる
$facts$ = fact1: 仮に連想し易いということは起こらないか捨て難いということは起きないとするとみやみちゃLv.20事件が発生する fact2: 似付かわしいということが発生する fact3: 似付かわしいということは捨て難いということが起きるということか連想し易いということに阻止される fact4: 「似付かわしいということが生じるかぽにぽちゃLv.73事件は起きないかもしくは両方だ」ということは捨て難いということは起きないということのきっかけとなる ; $hypothesis$ = 連想し易いということは生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。連想し易いということが起きる; assump1 -> int1: 捨て難いということが起こるかあるいは連想し易いということが発生するかまたはどちらもである; int1 & fact3 -> int2: 似付かわしいということは生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__