このみにゅみにゅLv.9は行き難い
fact1: このぷちょぷよLv.16が等しいとしたら必する fact2: このぷちょぷよLv.16は疲労し易いしそれに等しい fact3: あのぴにぴちゃLv.47は等しい fact4: 仮にこのぷちょぷよLv.16が必するとしたらこのみにゅみにゅLv.9は行き難い
fact2 -> int1: このぷちょぷよLv.16は等しい; int1 & fact1 -> int2: このぷちょぷよLv.16は必する; int2 & fact4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このぷちょぷよLv.16が等しいとしたら必する fact2: このぷちょぷよLv.16は疲労し易いしそれに等しい fact3: あのぴにぴちゃLv.47は等しい fact4: 仮にこのぷちょぷよLv.16が必するとしたらこのみにゅみにゅLv.9は行き難い ; $hypothesis$ = このみにゅみにゅLv.9は行き難い ; $proof$ = 
fact2 -> int1: このぷちょぷよLv.16は等しい; int1 & fact1 -> int2: このぷちょぷよLv.16は必する; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __PROVED__