まなまくLv.86事件は生じない
fact1: 「もにょもねLv.64事件は発生しない」ということは「削ぐことか押し易いということが発生する」ということがきっかけである fact2: 醜いということかあるいは起こし掛けることはまなまくLv.86事件を阻止する fact3: 取り扱い易いということと醜いということが起こる
fact3 -> int1: 醜いということが起きる; int1 -> int2: 醜いということが生じるかもしくは起こし掛けることが起きるか両方ともである; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 「もにょもねLv.64事件は発生しない」ということは「削ぐことか押し易いということが発生する」ということがきっかけである fact2: 醜いということかあるいは起こし掛けることはまなまくLv.86事件を阻止する fact3: 取り扱い易いということと醜いということが起こる ; $hypothesis$ = まなまくLv.86事件は生じない ; $proof$ = 
fact3 -> int1: 醜いということが起きる; int1 -> int2: 醜いということが生じるかもしくは起こし掛けることが起きるか両方ともである; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact2 -> hypothesis; __PROVED__