そのぷゆぷにゅLv.13はすっごーい
fact1: 仮にそのぷゆぷにゅLv.13が抜剣しないとすればそのぷゆぷにゅLv.13は御茶するしかつ著効する fact2: もしそのぷゆぷにゅLv.13が御茶するとしたらそのぷゆぷにゅLv.13はすっごーい fact3: そのぷゆぷにゅLv.13は素早くない fact4: 仮にあのみえみゆLv.61が夥しくないなら面映ゆい fact5: そのぷゆぷにゅLv.13は抜剣するということはない
fact1 & fact5 -> int1: そのぷゆぷにゅLv.13は御茶するしそれは著効する; int1 -> int2: そのぷゆぷにゅLv.13は御茶する; int2 & fact2 -> hypothesis;
fact1 & fact5 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: 仮にそのぷゆぷにゅLv.13が抜剣しないとすればそのぷゆぷにゅLv.13は御茶するしかつ著効する fact2: もしそのぷゆぷにゅLv.13が御茶するとしたらそのぷゆぷにゅLv.13はすっごーい fact3: そのぷゆぷにゅLv.13は素早くない fact4: 仮にあのみえみゆLv.61が夥しくないなら面映ゆい fact5: そのぷゆぷにゅLv.13は抜剣するということはない ; $hypothesis$ = そのぷゆぷにゅLv.13はすっごーい ; $proof$ = 
fact1 & fact5 -> int1: そのぷゆぷにゅLv.13は御茶するしそれは著効する; int1 -> int2: そのぷゆぷにゅLv.13は御茶する; int2 & fact2 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AA}{a}; int2 & fact2 -> hypothesis; __PROVED__