まねまわLv.93事件は生じない
fact1: 着せがましいということが発生する fact2: もし仮に図太いということが起こるし加えて着せがましいということが生じればまねまわLv.93事件は生じない fact3: 図太いということとみくみねLv.18事件両方ともが発生する
fact3 -> int1: 図太いということが起きる; int1 & fact1 -> int2: 図太いということが発生するし更に着せがましいということが生じる; int2 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 着せがましいということが発生する fact2: もし仮に図太いということが起こるし加えて着せがましいということが生じればまねまわLv.93事件は生じない fact3: 図太いということとみくみねLv.18事件両方ともが発生する ; $hypothesis$ = まねまわLv.93事件は生じない ; $proof$ = 
fact3 -> int1: 図太いということが起きる; int1 & fact1 -> int2: 図太いということが発生するし更に着せがましいということが生じる; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact2 -> hypothesis; __PROVED__