発揮し易いということは発生しない
fact1: 翻刻することはまやまやLv.22事件か発揮し易いということに阻止される fact2: 発揮し易いということはまやまやLv.22事件が原因である
void -> assump1: 以下のように仮定する。発揮し易いということが生じる; assump1 -> int1: まやまやLv.22事件が起きるか発揮し易いということが発生するか両方ともである; int1 & fact1 -> int2: 翻刻することは生じない;
void -> assump1: {B}; assump1 -> int1: ({A} v {B}); int1 & fact1 -> int2: ¬{C};
以下のように仮定する。発揮し易いということが生じる
$facts$ = fact1: 翻刻することはまやまやLv.22事件か発揮し易いということに阻止される fact2: 発揮し易いということはまやまやLv.22事件が原因である ; $hypothesis$ = 発揮し易いということは発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__