以下のように仮定する。され易いということが発生する
fact1: 「され易いということは起こらないしもにゃもゆLv.71事件が発生する」ということは成り立たないとするともにゃもゆLv.71事件は起きない fact2: もしも厳ついということかあるいはされ易いということかあるいは両方ともが起こるとすると起き始めることは発生しない fact3: 起き始めることが生じる fact4: され易いということは厳ついということにもたらされる fact5: 「起き始めることが生じる一方で厳ついということは生じない」ということは重々しいということが原因だ fact6: もし狙い易いということは発生しないとすれば重々しいということが起きるしその上みにょみよLv.39事件が発生する fact7: もし仮に厳ついということは生じないとすれば「され易いということではなくてもにゃもゆLv.71事件が起きる」ということは成り立たない
void -> assump1: 以下のように仮定する。され易いということが発生する; assump1 -> int1: 厳ついということかまたはされ易いということかもしくはどちらもが起こる; int1 & fact2 -> int2: 起き始めることは起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。され易いということが発生する
$facts$ = fact1: 「され易いということは起こらないしもにゃもゆLv.71事件が発生する」ということは成り立たないとするともにゃもゆLv.71事件は起きない fact2: もしも厳ついということかあるいはされ易いということかあるいは両方ともが起こるとすると起き始めることは発生しない fact3: 起き始めることが生じる fact4: され易いということは厳ついということにもたらされる fact5: 「起き始めることが生じる一方で厳ついということは生じない」ということは重々しいということが原因だ fact6: もし狙い易いということは発生しないとすれば重々しいということが起きるしその上みにょみよLv.39事件が発生する fact7: もし仮に厳ついということは生じないとすれば「され易いということではなくてもにゃもゆLv.71事件が起きる」ということは成り立たない ; $hypothesis$ = 以下のように仮定する。され易いということが発生する ; $proof$ = 
void -> assump1: 以下のように仮定する。され易いということが発生する; assump1 -> int1: 厳ついということかまたはされ易いということかもしくはどちらもが起こる; int1 & fact2 -> int2: 起き始めることは起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__