賢しということが起こる
fact1: 「入手し易いということが生じるかあるいはものもにょLv.85事件は発生しない」ということは嘘だ fact2: 「入手し易いということが起きるかまたはものもにょLv.85事件は生じないかまたはどちらもだ」ということは成り立たないとしたらもよもちょLv.1事件が発生する fact3: 賢しということはもよもちょLv.1事件が原因である
fact2 & fact1 -> int1: もよもちょLv.1事件が生じる; int1 & fact3 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「入手し易いということが生じるかあるいはものもにょLv.85事件は発生しない」ということは嘘だ fact2: 「入手し易いということが起きるかまたはものもにょLv.85事件は生じないかまたはどちらもだ」ということは成り立たないとしたらもよもちょLv.1事件が発生する fact3: 賢しということはもよもちょLv.1事件が原因である ; $hypothesis$ = 賢しということが起こる ; $proof$ = 
fact2 & fact1 -> int1: もよもちょLv.1事件が生じる; int1 & fact3 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}; int1 & fact3 -> hypothesis; __PROVED__