あのまゆまよLv.66は来し易い
fact1: あのまゆまよLv.66は殴り返す fact2: そのもゆもちゅLv.77は殴り返すし格好良い fact3: もし仮にこのぷねぷいLv.67が生易しいならあのまゆまよLv.66は来し易い fact4: あのぽわぽねLv.76は生易しいしまた軍人らしい fact5: このぷねぷいLv.67は殴り返すし詮無い fact6: もし仮にこのぷねぷいLv.67が殴り返すとしたらこのぷねぷいLv.67は生易しい fact7: もしもとあるモンスターが刺し違えないとすればそれは生易しいししかも詮無い fact8: あのまゆまよLv.66は生易しい
fact5 -> int1: このぷねぷいLv.67は殴り返す; int1 & fact6 -> int2: 「このぷねぷいLv.67は生易しい」ということは成り立つ; int2 & fact3 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
あのまゆまよLv.66は来し易くない
fact9 -> int3: 仮にそのぷにゅぷゆLv.48が刺し違えないとすればそのぷにゅぷゆLv.48は生易しいしかつ詮無い;
$facts$ = fact1: あのまゆまよLv.66は殴り返す fact2: そのもゆもちゅLv.77は殴り返すし格好良い fact3: もし仮にこのぷねぷいLv.67が生易しいならあのまゆまよLv.66は来し易い fact4: あのぽわぽねLv.76は生易しいしまた軍人らしい fact5: このぷねぷいLv.67は殴り返すし詮無い fact6: もし仮にこのぷねぷいLv.67が殴り返すとしたらこのぷねぷいLv.67は生易しい fact7: もしもとあるモンスターが刺し違えないとすればそれは生易しいししかも詮無い fact8: あのまゆまよLv.66は生易しい ; $hypothesis$ = あのまゆまよLv.66は来し易い ; $proof$ = 
fact5 -> int1: このぷねぷいLv.67は殴り返す; int1 & fact6 -> int2: 「このぷねぷいLv.67は生易しい」ということは成り立つ; int2 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__