そのもよもちゃLv.75は付着し易い
fact1: あのぴえぴちゅLv.89は忘れっぽい fact2: 仮にあのもくもやLv.6が貴方らしいならばそのもよもちゃLv.75は付着し易い fact3: もしもあのぴえぴちゅLv.89がおっかないとしたらあのもくもやLv.6は貴方らしい fact4: あのぴえぴちゅLv.89はおっかなくてそれに忘れっぽい
fact4 -> int1: あのぴえぴちゅLv.89はおっかない; int1 & fact3 -> int2: あのもくもやLv.6は貴方らしい; int2 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: あのぴえぴちゅLv.89は忘れっぽい fact2: 仮にあのもくもやLv.6が貴方らしいならばそのもよもちゃLv.75は付着し易い fact3: もしもあのぴえぴちゅLv.89がおっかないとしたらあのもくもやLv.6は貴方らしい fact4: あのぴえぴちゅLv.89はおっかなくてそれに忘れっぽい ; $hypothesis$ = そのもよもちゃLv.75は付着し易い ; $proof$ = 
fact4 -> int1: あのぴえぴちゅLv.89はおっかない; int1 & fact3 -> int2: あのもくもやLv.6は貴方らしい; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__