このもちゅもよLv.46は現われ難いししかも安置する
fact1: このもちゅもよLv.46は安置する fact2: このもちゅもよLv.46は生成し易くないかもしくは取り出し易い fact3: もし仮にこのもちゅもよLv.46が自閉するとすればこのもちゅもよLv.46は現われ難い fact4: もしこのもちゅもよLv.46が生成し易いということはないか取り出し易いとしたら自閉する
fact4 & fact2 -> int1: このもちゅもよLv.46は自閉する; int1 & fact3 -> int2: このもちゅもよLv.46は現われ難い; int2 & fact1 -> hypothesis;
fact4 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {A}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: このもちゅもよLv.46は安置する fact2: このもちゅもよLv.46は生成し易くないかもしくは取り出し易い fact3: もし仮にこのもちゅもよLv.46が自閉するとすればこのもちゅもよLv.46は現われ難い fact4: もしこのもちゅもよLv.46が生成し易いということはないか取り出し易いとしたら自閉する ; $hypothesis$ = このもちゅもよLv.46は現われ難いししかも安置する ; $proof$ = 
fact4 & fact2 -> int1: このもちゅもよLv.46は自閉する; int1 & fact3 -> int2: このもちゅもよLv.46は現われ難い; int2 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}{a}; int1 & fact3 -> int2: {A}{a}; int2 & fact1 -> hypothesis; __PROVED__