「詮索することが起きる」ということは成り立たない
fact1: もしももねもよLv.6事件か招き易いということが発生すれば「詮索することは生じない」ということは真実だ fact2: 心置き無いということが起きる fact3: 心置き無いということはもねもよLv.6事件を引き起こす
fact3 & fact2 -> int1: もねもよLv.6事件が起きる; int1 -> int2: もねもよLv.6事件かまたは招き易いということが発生する; int2 & fact1 -> hypothesis;
fact3 & fact2 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もしももねもよLv.6事件か招き易いということが発生すれば「詮索することは生じない」ということは真実だ fact2: 心置き無いということが起きる fact3: 心置き無いということはもねもよLv.6事件を引き起こす ; $hypothesis$ = 「詮索することが起きる」ということは成り立たない ; $proof$ = 
fact3 & fact2 -> int1: もねもよLv.6事件が起きる; int1 -> int2: もねもよLv.6事件かまたは招き易いということが発生する; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact1 -> hypothesis; __PROVED__